Algebraic proof of Brooks' theorem
Jan Hladk\'y, Daniel Kr\'al', Uwe Schauz

TL;DR
This paper provides an algebraic proof of Brooks' theorem and its extension to list coloring, demonstrating the theorem's validity in a broader game coloring context using the Alon-Tarsi method.
Contribution
It introduces an algebraic proof approach for Brooks' theorem and extends its applicability to game coloring scenarios.
Findings
Brooks' theorem holds in a more general game coloring setting.
Algebraic methods can be effectively used to prove graph coloring theorems.
The proof extends the classical theorem to list coloring and game coloring contexts.
Abstract
We give a proof of Brooks' theorem and its list coloring extension using the algebraic method of Alon and Tarsi; this also shows that the Brooks' theorem remains valid in a more general game coloring setting.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
