Assertion: algorithm's time | /r/HasProperty | random variable
Facets:
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: Formally, the algorithm's performance will be a random variable determined by the random bits; thus either the running time, or the output (or both) are random variables.