(181.040 VO
SS 2,0)
Hausaufgabe 11.1
Nimm an, dass der Prover in dem in der Vorlesung vorgestelltem IP-System
- (a) unbeschränkte Rechenzeit
- (b) exponentiell beschränkte Rechenzeit
- (c) polynomiell beschränkten Speicherplatz
zur Verfügung hat. Zeige, dass dies die Komplexitätsklasse
IP nicht verändert.
Wolfgang Slany
Last modified: Tue Jun 6 18:42:44 CEST 2000