Alice og Bob: Forskelle mellem versioner

* '''Arthur''' og '''Merlin''': I [[Interaktivt bevissystem|IPS'er]] har den bevisførende part ubegrænset beregningskraft til rådighed, og er derfor associeret med [[troldmand]]en [[Merlin (troldmand)|Merlin]]. Han påstår at en sætning er sand, og [[Kong Arthur|Arthur]], den vise konge, udspørger ham for at bekræfte hans påstand. Disse tofigurerto figurer giver også navn til to [[Kompleksitetsklasse]]r, nemlig [[MA (kompleksitet)|MA]] og [[AM (kompleksitet)|AM]].