Erdős problem 944
Let and . Must there exist a graph with chromatic number such that every vertex is critical, yet every critical set of edges has size ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/944.leanTrue ↔ ∀ k ≥ 4, ∀ r ≥ 1, ∃ V G, Erdos944.SimpleGraph.IsErdos944 G k rOpenStatement only, no proof