Publication | Closed Access

Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes

EngineeringComplexity ClassesCombinatorial GameGame TheoryComputational ComplexityComputational Game TheoryFormal VerificationArthur-merlin GamesProof ComplexityDiscrete MathematicsCombinatorial OptimizationAbstract ComplexityComputer ScienceGamesNon-deterministic GameAutomated ReasoningFormal MethodsBusinessProof System