This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
41st Annual Symposium on Foundations of Computer Science
Existential second-order logic over graphs: charting the tractability frontier
Redondo Beach, California
November 12-November 14
ISBN: 0-7695-0850-2
G. Gottlob, Tech. Univ. Wien, Austria
P.G. Kolaitis, Tech. Univ. Wien, Austria
T. Schwentick, Tech. Univ. Wien, Austria
Fagin's (1974) theorem, the first important result of descriptive complexity, asserts that a property of graphs is in NP if and only if it is definable by an existential second-order formula. We study the complexity of evaluating existential second-order formulas that belong to prefix classes of existential second-order logic, where a prefix class is the collection of all existential second-order and the first-order quantifiers obey a certain quantifier pattern. We completely characterize the computation complexity of prefix classes of existential second-order logic in three different contexts: over directed graphs; over undirected graphs with self-loops; and over undirected graphs without self-loops. Our main result is that in each of these three contexts a dichotomy holds, i.e., each prefix class of existential second-order logic either contains sentences that can express NP-complete problems or each of its sentences expresses a polynomial-time solvable problem. Although the boundary of the dichotomy coincides for the first two cases, it changes, as one move to undirected graphs without self-loops.
Index Terms:
formal logic; computational complexity; graph theory; existential second-order logic; graphs; tractability; descriptive complexity; existential second-order formula; prefix class; first-order quantifiers; computational complexity; directed graphs; undirected graphs; NP-complete problems; polynomial-time solvable problem
Citation:
G. Gottlob, P.G. Kolaitis, T. Schwentick, "Existential second-order logic over graphs: charting the tractability frontier," focs, pp.664, 41st Annual Symposium on Foundations of Computer Science, 2000
Usage of this product signifies your acceptance of the Terms of Use.