Assertion: algorithm's output | /r/HasProperty | random variables
Facets:
Source sentences:
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.