Erdős problem 567 · problems.science

Erdős Problem 567 (H5)

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

567.lean

Retained formal statement3 of 3

Erdős Problem 567 (H5)

Is $H_5$ ( $C_5$ with two vertex-disjoint chords) Ramsey size linear?

FormalConjectures/ErdosProblems/567.leanErdos567.erdos_567.parts.iii1 lineExact file

1True ↔ Erdos567.H5.IsRamseySizeLinear

OpenStatement only, no proof