Assertion: algorithm's output | /r/HasProperty | correct
Facets:
value: always
type: DEGREE
Source sentences:
text: Problem classes having (possibly nonterminating) algorithms with polynomial time average case running time whose output is always correct are said to be in ZPP.