Skip to content

Erdős problem 1022

Is there a constant ctc_t, where ct→∞c_t\to \infty as t→∞t\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 <ct∣X∣<c_t\lvert X\rvert many A∈FA\in \mathcal{F} with A⊆XA\subseteq X, then F\mathcal{F} has chromatic number 22 (in other words, has property B)?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

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