Arthur -Merlin games were introduced recently by Babai in order to capture the intuitive notion of efficient, probabilistic proof systems.
確定! 回上一頁