Assertion: graph's edge | /r/HasProperty | colored
Facets:
value: properly
type: MANNER
Source sentences:
text: However, if the algorithm terminates without detecting an odd cycle of this type, then every edge must be properly colored, and the algorithm returns the coloring together with the result that the graph is bipartite.