Assertion: algorithm's performance | /r/HasProperty | random variable
Facets:
value: formally
type: MANNER
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.