Skip to content

Erdős problem 944

Let k4k \ge 4 and r1r\ge 1. Must there exist a graph GG with chromatic number kk such that every vertex is critical, yet every critical set of edges has size >r>r?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/944.lean

Formal Conjectures

FormalConjectures/ErdosProblems/944.leanErdos944.erdos_9441 lineExact file
True ↔ ∀ k ≥ 4, ∀ r ≥ 1, ∃ V G, Erdos944.SimpleGraph.IsErdos944 G k r
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page