Assertion: la vega algorithm | /r/CapableOf | output correct answer
Facets:
value: always
type: TEMPORAL
value: in the example
type: OTHER
Source sentences:
text: In the example above, the Las Vegas algorithm always outputs the correct answer, but its running time is a random variable.
text: Las Vegas algorithms are the subset of Monte Carlo algorithms that always produce the correct answer.