Assertion: triangle free graph | /r/Desires | four colors
Facets:
value: in any proper coloring
type: OTHER
Source sentences:
text: The Grötzsch graph, the smallest triangle-free graph requiring four colors in any proper coloring.