Opakovanie, aký je vzťah NP a PSPACE?
NP⊆PSPACE
Definuj PSPACE-úplnosť
Jazyk L0 je PSPACE-úplný, ak L0 je v PSPACE a každý jazyk L z PSPACE je polynomiálne transformovateľný na L0
Definuj úplne kvantifikované formuly, aj s príkladom
Definícia 8.2 na 79
Definuj TQBF
str. 79
Dokáž, že TQBF je PSPACE-úplný
str. 80
Aké sú príklady PSPACE-úplných problémov?
Hra BF, hra GG
Definuj hru BF, a že je PSPACE-úplná
str. 83
Definuj hru GG a že je PSPACE-úplná
str. 84