Assertion: algorithm | /r/CapableOf | repeat inner loop
Facets:
Source sentences:
text: In each execution of the outer loop, the algorithm repeats the inner loop until only 2 nodes remain, the corresponding cut is obtained.