Arthur and Merlin: Difference between revisions
Jump to navigation
Jump to search
imported>Peter Schmitt (new) |
(No difference)
|
Latest revision as of 18:06, 24 April 2012
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.