Skip to content

Erdős problem 23

The blow-up of C5C_5 shows that the bound n2n^2 in Erdős Problem 23 is tight: any bipartite subgraph must omit at least n2n^2 edges.

Sources

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

23.lean

Retained formal statement6 of 6

There exists a triangle-free graph on 2525 vertices such that at least 2525 edges must be removed to make it bipartite. The balanced blow-up of C5C_5 with five parts of size 55 witnesses this.

FormalConjectures/ErdosProblems/23.leanErdos23.erdos_23.variants.n5_tight1 lineExact file
∃ G, G.CliqueFree 3 ∧ ∀ H ≤ G, H.IsBipartite → 25 ≤ (G.edgeFinset \ H.edgeFinset).card
SolvedStatement only, no proof