2006
DOI: 10.3233/sat190003
|View full text |Cite
|
Sign up to set email alerts
|

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages1

Abstract: Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like inference, diagnosis and planning); among them are the ordered binary decision diagrams, prime implicates, prime implicants, "formulae" in decomposable negation normal form. On the other hand, the validity problem val(QPROP P S) for Quantified Boolean Formulae (QBF) has been acknowledged for the past few years as an important issue for AI… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
5
0

Year Published

2011
2011
2021
2021

Publication Types

Select...
2
2
1

Relationship

2
3

Authors

Journals

citations
Cited by 5 publications
(5 citation statements)
references
References 38 publications
0
5
0
Order By: Relevance
“…Hence, the above procedures on Decision-DNNF and SDD circuits cannot be used to interleave literal quantifications of different types. This should not be surprising though since the existence of a polynomial-time algorithm for applying a sequence of quantifiers of different types to a tractable circuit (even an OBDD) would imply P = NP; see (Coste-Marquis et al, 2006). Nonetheless, it is worth noting that for both types of literal quantification, the NNF circuit that results from applying the above procedures is monotone, if we quantify a literal for each variable that appears in the input circuit.…”
Section: Tractable Literal Quantificationmentioning
confidence: 99%
“…Hence, the above procedures on Decision-DNNF and SDD circuits cannot be used to interleave literal quantifications of different types. This should not be surprising though since the existence of a polynomial-time algorithm for applying a sequence of quantifiers of different types to a tractable circuit (even an OBDD) would imply P = NP; see (Coste-Marquis et al, 2006). Nonetheless, it is worth noting that for both types of literal quantification, the NNF circuit that results from applying the above procedures is monotone, if we quantify a literal for each variable that appears in the input circuit.…”
Section: Tractable Literal Quantificationmentioning
confidence: 99%
“…Hence, the above procedures on Decision-DNNF and SDD circuits cannot be used to interleave literal quantifications of different types. This should not be surprising though since the existence of a polynomial-time algorithm for applying a sequence of quantifiers of different types to a tractable circuit (even an OBDD) would imply P = NP; see (Coste-Marquis, Berre, Letombe, & Marquis, 2006). Nonetheless, it is worth noting that for both types of literal quantification, the NNF circuit that results from applying the 7.…”
Section: Tractable Literal Quantificationmentioning
confidence: 99%
“…23 Any fully-expressive representation can represent any characteristic function, but different representations may require a different amount of space to represent the same game. Work on representing functions in a concise form has provided a insightful definition regarding the succinctness of representations [18,47,25,20]: a language L is at least as expressive as a language L if there is a polynomial translator that converts any input of L into an equivalent input in L (where 'equivalence' means that the value functions coincide). 24 The running time of algorithms that analyze cooperative games depends on the input size, so a polynomial algorithm that takes the input in one language may not be useful if the input is given in another languagethe input would need to be converted to the required language, which may take an exponential amount of time and may result in an exponentially long representation.…”
Section: Expressiveness and Succinctness Of Representation Languagesmentioning
confidence: 99%
“…Our model of CSGs is somewhat similar to that of CRGs. 25 CSGs define tasks to accomplish, and CRGs define goals desired by agents. Performing a task in CSGs requires a coalition to have a certain set of skills, and achieving a goal in CRGs requires certain resources.…”
Section: Coalitional Resource Gamesmentioning
confidence: 99%