Erdős problem 594 · problems.science

Erdős Problem 594 (Erdős–Hajnal [ErHa66], [Er69b]):

No current result

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

FormalConjectures/ErdosProblems/594.lean

Formal Conjectures

FormalConjectures/ErdosProblems/594.leanErdos594.erdos_5943 linesExact file

1True ↔2  ∀ (V : Type) (G : SimpleGraph V),3    IsEmpty (G.Coloring ℕ) → ∃ N, ∀ (k : ℕ), N ≤ k → ∃ v w, w.IsCycle ∧ w.length = 2 * k + 1

SolvedStatement only, no proof