Arthur and Merlin
Jump to navigation
Jump to search

Arthur and Merlin are a pair of players (like Alice and Bob) used by László Babai in his paper Trading group theory for randomness[1] (1985) where he introduced Arthur vs. Merlin games in order to define new Arthur-Merlin complexity classes related to interactive proof systems.