Skip to content

Erdős problem 1092

Is it true that f2(n)≫nf_2(n) \gg n? Disproved by Rödl, who showed fr(n)=o(n)f_r(n) = o(n) for all fixed r≥2r \geq 2. A conjecture of Erdős, Hajnal, and Szemerédi.

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1092.lean

Retained formal statement1 of 2

Is it true that f2(n)≫nf_2(n) \gg n? Disproved by Rödl, who showed fr(n)=o(n)f_r(n) = o(n) for all fixed r≥2r \geq 2. A conjecture of Erdős, Hajnal, and Szemerédi.

This seems to be closely related to, but distinct from, 744.

Tang notes in the comments that Rödl [Ro82] constructed, for any ϵ>0\epsilon>0 and kk, a graph with chromatic number ≥k\geq k such that every graph on mm vertices is bipartite after deleting at most ϵm\epsilon m edges.

FormalConjectures/ErdosProblems/1092.leanErdos1092.f_asymptotic_21 lineExact file
False ↔ (fun n => ↑n) =o[Filter.atTop] fun n => ↑(Erdos1092.f 2 n)
SolvedStatement only, no proof