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