Arthur–Merlinプロトコル
計算複雑性理論におけるArthur–Merlinプロトコル("Arthur–Merlin protocol")あるいは、Merlin–Arthurプロトコル("Merlin–Arthur protocol")は、検証者のコイン投げが公開されている(使用する乱数が証明者に知られている)タイプの対話型証明プロトコルである。そのようなプロトコルを持つ言語のクラスとして、AM及びMAがそれぞれ定義され、本項では主にこのクラスについて説明する。によって導入された。