[isabelle] New AFP entry: A Probabilistic Proof of the Girth-Chromatic Number Theorem



A Probabilistic Proof of the Girth-Chromatic Number Theorem
Lars Noschinski

This works presents a formalization of the Girth-Chromatic number
theorem in graph theory, stating that graphs with arbitrarily large
girth and chromatic number exist. The proof uses the theory of Random
Graphs to prove the existence with probabilistic arguments.

http://afp.sourceforge.net/entries/Girth_Chromatic.shtml

Enjoy!





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.