Bounded-width QBF is PSPACE-complete
Visualitza/Obre
10.4230/LIPIcs.STACS.2013.44
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/20304
Tipus de documentText en actes de congrés
Data publicació2013
EditorSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-SenseObraDerivada 3.0 Espanya
Abstract
Tree-width is a well-studied parameter of structures that measures their similarity to a tree. Many important NP-complete problems, such as Boolean satisfiability (SAT), are tractable on bounded tree-width instances. In this paper we focus on the canonical PSPACE-complete problem QBF, the fully-quantified version of SAT. It was shown by Pan and Vardi [LICS 2006] that this problem is PSPACE-complete even for formulas whose tree-width grows extremely slowly. Vardi also posed
the question of whether the problem is tractable when restricted to instances of bounded treewidth. We answer this question by showing that QBF on instances with constant tree-width is PSPACE-complete.
CitacióAtserias, A.; Oliva, S. Bounded-width QBF is PSPACE-complete. A: Symposium on Theoretical Aspects of Computer Science. "30th International Symposium on Theoretical Aspects of Computer Science : STACS '13, February 27th to March 2nd, 2013, Kiel, Germany". Kiel: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, p. 1-11.
ISBN978-3-939897-50-7
Versió de l'editorhttp://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=13002
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Atserias.pdf | 521,0Kb | Visualitza/Obre |