Assertion: algorithm's set | /r/CapableOf | partition the edges of c
Facets:
Source sentences:
text: Since these two sets of paths partition the edges of C, one of the two sets has at most half of the weight of C, and thanks to the triangle inequality its corresponding matching has weight that is also at most half the weight of C.