Assertion: algorithm | /r/AtLocation | zpp
Facets:
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.