Skip to content

Erdős problem 1022

Is there a constant ctc_t, where ctc_t\to \infty as tt\to \infty, such that if F\mathcal{F} is a finite family of finite sets, all of size at least tt, and for every set XX there are <ctX<c_t\lvert X\rvert many AFA\in \mathcal{F} with AXA\subseteq X, then F\mathcal{F} has chromatic number 22 (in other words, has property B)?

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1022.lean

Retained formal statement2 of 3

Erdős originally conjectured, in this language, that c2=1c_2=1, which he reports in [Er71] was proved by Lovász.

FormalConjectures/ErdosProblems/1022.leanErdos1022.erdos_1022.variants.lovasz1 lineExact file
IsGreatest {c | Erdos1022.SparseImpliesPropertyB 2 c} 1
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page