Towards a constructive formalization of Perfect Graph Theorems

28 Dec 2018 Singh Abhishek Kr Natarajan Raja

Interaction between clique number $\omega(G) $ and chromatic number $\chi(G) $ of a graph is a well studied topic in graph theory. Perfect Graph Theorems are probably the most important results in this direction... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE
  • DISCRETE MATHEMATICS