Assertion: algorithm | /r/CapableOf | continue to remove vertex
Facets:
value: from the queue
type: OTHER
Source sentences:
text: Proof: If no further relaxations are possible, the algorithm continues to remove vertices from the queue, but does not add any more into the queue, because vertices are added only upon successful relaxations.