Interaktives Beweissystem
Ein interaktives Beweissystem ist ein Begriff aus der Komplexitätstheorie. Dabei wird eine abstrakte Maschine, in welcher die Informationsverarbeitung durch den Austausch von Nachrichten realisiert ist, beschrieben. Ein interaktives Beweissystem muss die Completeness und Soundnessbedingung erfüllen.<ref name="Fourer">{{#if:2015-11-27|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Fourer et al.|Fourer et al.: }}{{#if:https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7C{{#if:On Completeness and Soundness in Interactive Proof Systems|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1=https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=On Completeness and Soundness in Interactive Proof Systems}}]{{#if:PDF; 155 kB| (PDF; 155 kB)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=On Completeness and Soundness in Interactive Proof Systems}}}}|[{{#invoke:URLutil|getNormalized|1=http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=On Completeness and Soundness in Interactive Proof Systems}}}}]}}{{#if:PDF; 155 kB| (PDF; 155 kB{{#if:Advances in Computing Research1989https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf}}%7C%7C}}}}{{#if:On Completeness and Soundness in Interactive Proof Systems|{{#if:{{#invoke:WLink|isValidLinktext|1=On Completeness and Soundness in Interactive Proof Systems|lines=0}}||}}}}{{#if: Advances in Computing Research| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Advances in Computing Research}}}}{{#if: | {{{hrsg}}}{{#if: 1989https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7C,%7C{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 1989| {{#if:{{#invoke:DateTime|format|1989|noerror=1}}
|{{#invoke:DateTime|format|1989|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1989|class=Zitationswartung}} }}{{#if: https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7C,%7C{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7C,%7C{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf{{#invoke:TemplUtl%7Cfaculty%7C}}%7C+{{#if:1989%7C{{#if:https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7Carchiviert%7Cehemals}}%7C{{#if:https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7CArchiviert%7CEhemals}}}}+{{#if:https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7Cvom%7Cim}}+Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: 2015-11-27| am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|2015-11-27{{#if:1354288||(?)}}}}}}{{#if: 2008-08-27|;}}}}{{#if: 2008-08-27| {{#if:1989https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf{{#invoke:TemplUtl%7Cfaculty%7C}}%7Cabgerufen%7CAbgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2008-08-27 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2008-08-27|class=Zitationswartung}} }} {{#invoke:DateTime|format|2008-08-27|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:Advances in Computing Research1989https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if:PDF; 155 kB | | (}}
}}{{#ifeq:{{#if:en|en|de}}|de||
{{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1989https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7C%7C{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf | {{#if: | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf | {{#if:{{#invoke:URLutil|isWebURL|http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf | {{#if:{{#invoke:URLutil|isWebURL|http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf | {{#if: | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf | {{#if:{{#invoke:URLutil|isWebURL|http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf | {{#if:{{#invoke:URLutil|isWebURL|http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:https://web.archive.org/web/20151127155929/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.9412&rep=rep1&type=pdf%7CVorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>
Sie wurden 1985 von Shafi Goldwasser, Charles Rackoff und Silvio Micali eingeführt (wobei Preprints bis auf 1982 zurückgingen) und unabhängig von László Babai 1985, der darüber später ausführlich mit Shlomo Moran veröffentlichte.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:László Babai, Shlomo Moran|László Babai, Shlomo Moran: }}{{#if:|{{#if:Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes}}}}|[{{#invoke:URLutil|getNormalized|1=https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes}}}}]}}{{#if:| ({{{format}}}{{#if:Journal of Computer and System Sciences, Band 36, Nr. 21988254–276{{#if: 2010-08-24 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1}}%7C%7C}}}}{{#if:Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes|{{#if:{{#invoke:WLink|isValidLinktext|1=Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes|lines=0}}||}}}}{{#if: Journal of Computer and System Sciences, Band 36, Nr. 2| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Journal of Computer and System Sciences, Band 36, Nr. 2}}}}{{#if: | {{{hrsg}}}{{#if: 1988254–276|,|{{#if: 2010-08-24 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 1988| {{#if:{{#invoke:DateTime|format|1988|noerror=1}}
|{{#invoke:DateTime|format|1988|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1988|class=Zitationswartung}} }}{{#if: 254–276|,|{{#if: 2010-08-24 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 254–276| S. 254–276{{#if: |,|{{#if: 2010-08-24 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:254–2761988|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:1354288||(?)}}}}}}{{#if: 2010-08-24|;}}}}{{#if: 2010-08-24| {{#if:254–2761988{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2010-08-24 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2010-08-24|class=Zitationswartung}} }} {{#invoke:DateTime|format|2010-08-24|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:Journal of Computer and System Sciences, Band 36, Nr. 21988254–276{{#if: 2010-08-24 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:en|en|de}}|de||
{{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1988254–276{{#if: 2010-08-24 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 | {{#if: | [3] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 | {{#if: | [4] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://dl.acm.org/doi/abs/10.1016/0022-0000%2888%2990028-1 }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref> Die Autoren erhielten dafür den ersten Gödel-Preis 1993.
Formal
Ein interaktives Beweissystem (IBS) ist ein Protokoll <math>(P, V)</math> zwischen einem Beweisführer (Prover) und einem Prüfer (Verifier). Dabei ist <math>P</math> eine PSPACE-Maschine und <math>V</math> eine probabilistische Turingmaschine mit polynomieller Zeitschranke. Beweisführer und Prüfer erhalten die gleiche Eingabe <math>x, |x| = n,</math> auf einem read-only Band. Das Protokoll umfasst polynomiell viele <math>p(n)</math> Runden, in denen nur polynomiell viele Nachrichten ausgetauscht werden dürfen.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Shafi Goldwasser, Silvio Micali, Charles Rackoff|Shafi Goldwasser, Silvio Micali, Charles Rackoff: }}{{#if:|{{#if:The knowledge complexity of interactive proof systems|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=The knowledge complexity of interactive proof systems}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://dl.acm.org/doi/10.1145/22145.22178%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=The knowledge complexity of interactive proof systems}}}}|[{{#invoke:URLutil|getNormalized|1=https://dl.acm.org/doi/10.1145/22145.22178}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=The knowledge complexity of interactive proof systems}}}}]}}{{#if:| ({{{format}}}{{#if:SIAM Journal on Computing1989291–304{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://dl.acm.org/doi/10.1145/22145.22178%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://dl.acm.org/doi/10.1145/22145.22178}}%7C%7C}}}}{{#if:The knowledge complexity of interactive proof systems|{{#if:{{#invoke:WLink|isValidLinktext|1=The knowledge complexity of interactive proof systems|lines=0}}||}}}}{{#if: SIAM Journal on Computing| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=SIAM Journal on Computing}}}}{{#if: | {{{hrsg}}}{{#if: 1989291–304|,|{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 1989| {{#if:{{#invoke:DateTime|format|1989|noerror=1}}
|{{#invoke:DateTime|format|1989|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1989|class=Zitationswartung}} }}{{#if: 291–304|,|{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 291–304| S. 291–304{{#if: |,|{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:291–3041989|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:1354288||(?)}}}}}}{{#if: 2008-08-27|;}}}}{{#if: 2008-08-27| {{#if:291–3041989{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2008-08-27 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2008-08-27|class=Zitationswartung}} }} {{#invoke:DateTime|format|2008-08-27|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:SIAM Journal on Computing1989291–304{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:en|en|de}}|de||
{{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1989291–304{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: https://dl.acm.org/doi/10.1145/22145.22178 | {{#if: | [5] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/10.1145/22145.22178 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/10.1145/22145.22178}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dl.acm.org/doi/10.1145/22145.22178 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/10.1145/22145.22178 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/10.1145/22145.22178}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://dl.acm.org/doi/10.1145/22145.22178 }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://dl.acm.org/doi/10.1145/22145.22178 | {{#if: | [6] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/10.1145/22145.22178 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/10.1145/22145.22178}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dl.acm.org/doi/10.1145/22145.22178 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/10.1145/22145.22178 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/10.1145/22145.22178}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://dl.acm.org/doi/10.1145/22145.22178 }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref> <math>(P, V) = (p_1, v_1, p_2, v_2, ..., p_{p(n)}, v_{p(n)})</math> in der letzten Runde akzeptiert oder verwirft dann der Prüfer (ja/nein bzw. 1/0).
Ein <math>\mathrm{IBS}(P, V)</math> entscheidet eine Sprache <math>L \subseteq \Sigma^*</math>, falls für alle Eingaben <math>x \in \Sigma^*</math> gilt:
- Ist <math>x \in L</math> so akzeptiert der Prüfer mit Wahrscheinlichkeit <math>P(x \in L) \leq (1 - 2^{-n})</math>
- Ist <math>x \notin L</math> so gibt es kein <math>\mathrm{IBS}(P, V)</math>, das den Prüfer mit Wahrscheinlichkeit <math>P(x \in L) > 2^{-n}</math> akzeptieren lässt.<ref name="Fourer" />
Beispiel
Eingabe: Zwei Graphen <math>G_1, G_2</math>
- Arthur beginnt: Er wählt per Zufall einen der beiden Graphen (<math>G_1</math> oder <math>G_2</math>) aus und permutiert die Benennung der Knoten zu einem neuen, isomorphen Graph <math>H</math>. Diesen Graphen übermittelt er Merlin.
- Merlin rechnet die Permutationen von <math>H</math> zurück und kann somit entscheiden, ob Arthur ursprünglich Graph <math>G_1</math> oder <math>G_2</math> ausgewählt hat. Merlin sendet daraufhin die Nummer des Graphen (1,2) an Arthur.
- Arthur akzeptiert, wenn Merlin die richtige Zahl übermittelt.
Es ist bekanntermaßen schwierig herauszufinden, ob zwei Graphen isomorph sind (siehe Isomorphie von Graphen). Wenn <math>G_1</math> und <math>G_2</math> isomorph sind, so kann Merlin nicht entscheiden, welchen Ursprung <math>H</math> hat.
Grundidee
Der Beweisführer Merlin möchte dem Prüfer König Arthur eine Aussage beweisen. Arthur ist aber hinsichtlich seiner Aufnahmefähigkeit beschränkt und kann deswegen Merlins Beweis im Ganzen nicht folgen. Deswegen versucht Merlin Arthur den Beweis in kleinen Happen zu servieren, welche Arthur für sich ausrechnen kann. Der Beweisführer (Merlin) ist eine PSPACE-Maschine, der Prüfer (Arthur) ist P-beschränkt. Das Beispiel wurde von László Babai zuerst beschrieben.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:László Babai|László Babai: }}{{#if:|{{#if:Trading group theory for randomness|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Trading group theory for randomness}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://dl.acm.org/doi/10.1145/22145.22192%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Trading group theory for randomness}}}}|[{{#invoke:URLutil|getNormalized|1=https://dl.acm.org/doi/10.1145/22145.22192}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Trading group theory for randomness}}}}]}}{{#if:| ({{{format}}}{{#if:Proceedings of the Seventeenth Annual Symposium on the Theory of ComputingACM1985421–429{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://dl.acm.org/doi/10.1145/22145.22192%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://dl.acm.org/doi/10.1145/22145.22192}}%7C%7C}}}}{{#if:Trading group theory for randomness|{{#if:{{#invoke:WLink|isValidLinktext|1=Trading group theory for randomness|lines=0}}||}}}}{{#if: Proceedings of the Seventeenth Annual Symposium on the Theory of Computing| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Proceedings of the Seventeenth Annual Symposium on the Theory of Computing}}}}{{#if: ACM| ACM{{#if: 1985421–429|,|{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 1985| {{#if:{{#invoke:DateTime|format|1985|noerror=1}}
|{{#invoke:DateTime|format|1985|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1985|class=Zitationswartung}} }}{{#if: 421–429|,|{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 421–429| S. 421–429{{#if: |,|{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:421–4291985ACM|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:1354288||(?)}}}}}}{{#if: 2008-08-27|;}}}}{{#if: 2008-08-27| {{#if:421–4291985ACM{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2008-08-27 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2008-08-27|class=Zitationswartung}} }} {{#invoke:DateTime|format|2008-08-27|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:Proceedings of the Seventeenth Annual Symposium on the Theory of ComputingACM1985421–429{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:en|en|de}}|de||
{{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1985421–429{{#if: 2008-08-27 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: https://dl.acm.org/doi/10.1145/22145.22192 | {{#if: | [7] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/10.1145/22145.22192 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/10.1145/22145.22192}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dl.acm.org/doi/10.1145/22145.22192 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/10.1145/22145.22192 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/10.1145/22145.22192}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://dl.acm.org/doi/10.1145/22145.22192 }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://dl.acm.org/doi/10.1145/22145.22192 | {{#if: | [8] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/10.1145/22145.22192 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/10.1145/22145.22192}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dl.acm.org/doi/10.1145/22145.22192 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://dl.acm.org/doi/10.1145/22145.22192 | {{#if:{{#invoke:URLutil|isWebURL|https://dl.acm.org/doi/10.1145/22145.22192}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://dl.acm.org/doi/10.1145/22145.22192 }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>
Komplexitätsklasse
Für die Komplexitätsklasse IP, die alle Entscheidungsprobleme enthält, die ein interaktives Beweissystem besitzen, gilt: IP = PSPACE
Verallgemeinerung
Eine Verallgemeinerung ist MIP, Multiprover Interactive Proof System, mit mehr als einem Beweiser.
Einzelnachweise
<references />
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Parameter:Datum
- Wikipedia:Vorlagenfehler/Vorlage:"
- Wikipedia:Weblink offline fix-attempted
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link/URL fehlt
- Komplexitätstheorie