Mostra el registre d'ítem simple
Some dichotomy theorems on constant-free quantified Boolean formulas
dc.contributor.author | Dalmau Lloret, Víctor |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-03-02T12:30:19Z |
dc.date.available | 2016-03-02T12:30:19Z |
dc.date.issued | 1997-10 |
dc.identifier.citation | Dalmau, V. "Some dichotomy theorems on constant-free quantified Boolean formulas". 1997. |
dc.identifier.uri | http://hdl.handle.net/2117/83699 |
dc.description.abstract | In this paper we study the satisfiability of constant-free quantified boolean formulas. We consider the following classes of quantified boolean formulas. Fix a finite set of basic boolean logical functions. Take conjunctions of these basic functions applied to variables in arbitrary way. Finally, quantify existentially or universally some of the variables. Schaefer earlier studied the satisfiability of quantified boolean formulas with constants. He showed that every such problem is either in P or PSPACE-complete and he gave a complete classification of the tractable cases. We extend the PSPACE-hardness results to constant-free quantified boolean formulas obtaining a dichotomy theorem for the satisfiability of constant-free quantified boolean formulas. We find that, in fact, constants do not make a difference when considering the satisfiability of quantified boolean formulas. We also prove a dichotomy theorem that allows us to improve a previous result on the learnability of quantified boolean formulas getting rid of the constants. |
dc.format.extent | 23 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-97-43-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.other | Satisfiability |
dc.subject.other | Quantified Boolean formulas |
dc.title | Some dichotomy theorems on constant-free quantified Boolean formulas |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1891396 |
dc.description.version | Postprint (published version) |
local.citation.author | Dalmau, V. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]