Erdős problem 180

For every finite family $\mathcal{F}$ of graphs, is there a single $G \in \mathcal{F}$ with $\mathrm{ex}(n;G) \ll_{\mathcal{F}} \mathrm{ex}(n;\mathcal{F})$ ? A counterexample refutes the Erdős-Simonovits compactness conjecture.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/180.lean

Formal Conjectures

FormalConjectures/ErdosProblems/180.leanErdos180.erdos_1803 linesExact file

1False ↔2  ∀ (family : Finset Erdos180.FiniteGraph),3    family.Nonempty → Erdos180.IsCyclicFamily family → Erdos180.IsCompactFamily family

SolvedStatement only, no proof

Reported by these sources. Not reviewed here.