erdos_944

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

theorem erdos_944 :
    answer(sorry) ↔ ∀ k ≥ 4, ∀ r ≥ 1, ∃ (V : Type u) (G : SimpleGraph V), G.IsErdos944 k r

Recent Submissions

No submissions yet. Be the first to attempt this problem.