Assertion: original algorithm | /r/CapableOf | run in time
Facets:
Source sentences:
text: While the original algorithm uses a min-priority queue and runs in time Θ ( | V |