Egri, Laszlo
On Constraint Satisfaction Problems below P
Abstract
Symmetric Datalog, a fragment of the logic programming language Datalog, is conjectured to capture all constraint satisfaction problems (CSP) in L. Therefore developing tools that help us understand whether or not a CSP can be defined in symmetric Datalog is an important task. It is widely known that a CSP is definable in Datalog and linear Datalog iff that CSP has bounded treewidth and bounded pathwidth duality, respectively. In the case of symmetric Datalog, Bulatov, Krokhin and Larose ask for such a duality [2008]. We provide two such dualities, and give applications. In particular, we give a short and simple new proof of the result of Dalmau and Larose that "Maltsev + Datalog > symmetric Datalog" [2008].
In the second part of the paper, we provide some evidence for the conjecture of Dalmau [2002] that every CSP in NL is definable in linear Datalog. Our results also show that a wide class of CSPs CSPs which do not have bounded pathwidth duality (e.g. the Pcomplete Horn3Sat problem) cannot be defined by any polynomial size family of monotone readonce nondeterministic branching programs.
We consider the following restrictions of the previous models: readonce linDat(suc) (1linDat(suc)), and monotone readonce nondeterministic branching programs (mnBP1). Although restricted, these models can still define NLcomplete problems such as directed stConnectivity, and also nontrivial problems in NL which are not definable in linear Datalog. We show that any CSP definable by a 1linDat(suc) program or by a polysize family of mnBP1s can also be defined by a linear Datalog program. It also follows that a wide class of CSPs CSPs which do not have bounded pathwidth duality (e.g. the Pcomplete Horn3Sat problem) cannot be defined by any 1linDat(suc) program or by any polysize family of mnBP1s.
BibTeX  Entry
@InProceedings{egri:LIPIcs:2011:3232,
author = {Laszlo Egri},
title = {{On Constraint Satisfaction Problems below P}},
booktitle = {Computer Science Logic (CSL'11)  25th International Workshop/20th Annual Conference of the EACSL},
pages = {203217},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783939897323},
ISSN = {18688969},
year = {2011},
volume = {12},
editor = {Marc Bezem},
publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2011/3232},
URN = {urn:nbn:de:0030drops32320},
doi = {10.4230/LIPIcs.CSL.2011.203},
annote = {Keywords: constraint satisfaction problems, complexity classes, Datalog fragments}
}
2011
Keywords: 

constraint satisfaction problems, complexity classes, Datalog fragments 
Seminar: 

Computer Science Logic (CSL'11)  25th International Workshop/20th Annual Conference of the EACSL

Issue date: 

2011 
Date of publication: 

2011 