Assertion: maximum clique | /r/HasProperty | shown with heavy edges
Facets:
Source sentences:
text: A seven-vertex cycle and its complement, showing in each case an optimal coloring and a maximum clique (shown with heavy edges).