Erdős problem 61 · problems.science

The Erdős–Hajnal Conjecture states that there is a constant $c(H) > 0$ for each $H$ such that we can take $f(n) = n^{c(H)}$ in the above formulation.

Sources

Browse retained paths and inspect the exact material available for this Problem.

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

61.lean

Retained formal statement1 of 5

The Erdős–Hajnal Conjecture states that there is a constant $c(H) > 0$ for each $H$ such that we can take $f(n) = n^{c(H)}$ in the above formulation.

FormalConjectures/ErdosProblems/61.leanErdos61.erdos_613 linesExact file

1sorry ↔2  ∀ {α : Type u_1} [inst : Fintype α] [inst_1 : DecidableEq α] (H : SimpleGraph α),3    ∃ c > 0, Erdos61.IsErdosHajnalLowerBound H fun n => ↑n ^ c

OpenStatement only, no proof

Sources

Search problems.science