PSPACE-kompletní

V teorie složitosti, PSPACE-kompletní je soubor problémů rozhodnutí. Problém je v PSPACE-kompletní jestliže to je v PSPACE, a každý problém v PSPACE moci být sesadil na to v polynomial čas. Problémy v PSPACE-kompletní moci být myslel na jako nejtvrdější problémy v PSPACE. Tyto problémy jsou široce podezřelé být venku P a NP, ale to není známé. To je znáno to oni leží venku NC.

První známý NP-kompletní problém byl satisfiability (Seděl). Toto je problém zda k proměnným, které dělají booleovský výraz jsou převody hodnot pravdy pravdivý. Pro příklad, jeden příklad seděl by byl otázka zda následovat je pravdivý:

Nejzákladnější PSPACE-dokončit problém je totožný, kromě každý jiný quantifier je univerzálie quantifier:

Poznamenat, že NP-dokončit problém se podobá typické hádance: je tam nějaký způsob, jak se zapojovat cení to vyřeší problém? PSPACE-dokončit problém se podobá hře: je tam někteří pohyb já mohu dělat, takový to pro všichni pohyby můj oponent by mohl dělat, tam chtít pak být někteří pohyb já mohu předstírat, že vyhraje? Otázka se střídá existenciální a univerzální quantifiers. Ne překvapivě, mnoho hádanek dopadá být NP-kompletní, a mnoho her dopadá být PSPACE-kompletní.

Hra dámy (dáma) je PSPACE-kompletní když hrál na n × n nastoupit. Tak jsou hry Hexadecimální, Othello, Dopravní špička, Shanghai, a Sokoban. Ostatní hry, takový jak Šachy a Jít být těžší (EXPTIME-kompletní) protože hra mezi dvěma dokonalými hráči může být velmi dlouho.

Poznamenat, že definice PSPACE-kompletní je umístěný na asymptotic složitost: čas to oblíbí si vyřešit problém velikosti n, v limitu jak n roste bez spojený. To znamená hru jako dámy (který je hrál na 8 × 8 tabule) mohl nikdy být PSPACE-kompletní. To je proč všechny hry byly upraveny tím, že hraje je na n × n nastoupit instead.

Jiný PSPACE-dokončit problém je problém se rozhodnout zda daný řetězec je člen jazyka definovaný daný kontextová gramatika.

Vnější spojení

• Výpočetní složitost her a hádanky