Als «unique-solution» getaggte Fragen

15
Schränkt das Erfordernis der Eindeutigkeit gültiger Antworten für Merlin die Leistungsfähigkeit der Arthur-Merlin-Protokolle ein?

Präambel. Die Komplexitätsklasse AM sind die Probleme, die durch ein interaktives Zwei-Runden-Beweissystem zwischen einem Prüfer "Merlin" und einem Prüfer "Arthur" gelöst werden können. Ein Problem - das eine Eigenschaft eines Objekts X testet - liegt in AM vor, wenn: In JA- Fällen kann Arthur für...