Assertion: algorithm | /r/HasAspect | high probability
Facets:
value: provably
type: MANNER
Source sentences:
text: However, if the algorithm selects pivot elements uniformly at random, it has a provably high probability of finishing in O(n log n) time regardless of the characteristics of the input.