Die Vollständigkeit und Solidität in interaktiven Proofsystemen wird informell definiert als: Vollständigkeit: Wenn eine Aussage wahr ist, die ehrlich Prover die überzeugen kann ehrlich Verifizierer dieser Tatsache whp . Solidität: Wenn eine Aussage falsch ist, kann der Betrüger den ehrlichen...
In den meisten probabilistischen Beweissystemen (z. B. PCP-Theorem) werden die Fehlerwahrscheinlichkeiten normalerweise auf der Seite der falsch-positiven Ergebnisse definiert, dh eine typische Definition könnte folgendermaßen aussehen: Wenn ist, akzeptiert der Prüfer immer, aber in In anderen...
Gibt es eine Möglichkeit, wie ein Prüfer einen Prüfer davon überzeugen kann, dass ein HORN-SAT-Ausdruck zufriedenstellend ist? Dies mag natürlich albern erscheinen, da es für HORN-SAT lineare Zeitalgorithmen gibt. Andererseits ist HORN-SAT P-vollständig, was bedeutet, dass es keine...
Definieren Sie das Rechenmodell MPostBQP so, dass es mit PostBQP identisch ist, außer dass wir vor der Nachauswahl und der endgültigen Messung polynomiell viele Qubit-Messungen zulassen. Können wir Hinweise darauf geben, dass MPostBQP leistungsfähiger als PostBQP ist? Definieren Sie MPostBQP [k],...
IP (2pfa) und AM (2pfa) sind die Klassen von Sprachen, die von privaten und öffentlichen Münzversionen mit begrenztem Fehler erkannt werden, von interaktiven Proofsystemen mit Verifizierern, die probabilistische endliche Automaten mit einem Zweiwege-Eingabekopf sind. Sind Verschlusseigenschaften...
Ich erinnere mich, dass ich einen Blog-Beitrag gelesen habe, in dem zwei Versionen desselben Beweises angezeigt wurden, eine von einem Menschen und eine von einer Maschine, und die Leser gebeten haben, zu sagen, welche welche ist. Beim erneuten Versuch, den Beitrag zu googeln, kann ich anscheinend...
Ich habe mich immer gefragt, ob Beweise in der Informatik als ausreichende Beweise für den Satz angesehen werden, wenn sie physikalische Gesetze annehmen müssen. Ich frage mich zum Beispiel, was passieren würde, wenn jemand eines Tages P! = NP unter der Annahme des zweiten Hauptsatzes der...
Nachdem ich Effekte als Sitzungen, Sitzungen als Effekte gelesen hatte , fragte ich mich, wie ein Äquivalenznachweis zwischen beiden stattfinden würde oder sogar ein Beweis dafür, dass Sitzungstypen ein Typ- und Effektsystem sind. Wie kann man allgemeiner eine Beziehung (z. B. Äquivalenz) zwischen...