Arthur-Merlin Games: A Randomized Proof System, and a Hierarchy of Complexity Classes.

László Babai Shlomo Moran

Published in: J. Comput. Syst. Sci. (1988)

Keyphrases

class hierarchy
tractable cases
complexity measures
data sets
worst case
neural network
computational complexity
game design
higher level
modal logic