{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article7408","name":"Descriptive complexity of approximate counting CSPs","abstract":"Motivated by Fagin's characterization of NP, Saluja et al. have introduced a logic based frame- work for expressing counting problems. In this setting, a counting problem (seen as a mapping C from structures to non-negative integers) is `defined\u2019 by a first-order sentence phi if for every instance A of the problem, the number of possible satisfying assignments of the variables of phi in A is equal to C(A). The logic RHPI_1 has been introduced by Dyer et al. in their study of the counting complexity class #BIS. The interest in the class #BIS stems from the fact that, it is quite plausible that the problems in #BIS are not #P-hard, nor they admit a fully polynomial randomized approximation scheme. In the present paper we investigate which counting constraint satisfaction problems #CSP(H) are definable in the monotone fragment of RHPI_1. We prove that #CSP(H) is definable in monotone RHPI_1 whenever H is invariant under meet and join operations of a distributive lattice. We prove that the converse also holds if H contains the equality relation. We also prove similar results for counting CSPs expressible by linear Datalog. The results in this case are very similar to those for monotone RHPI1, with the addition that H has, additionally, \\top (the greatest element of the lattice) as a polymorphism.","keywords":["Constraint Satisfaction Problems","Approximate Counting","Descriptive Complexity"],"author":[{"@type":"Person","name":"Bulatov, Andrei","givenName":"Andrei","familyName":"Bulatov"},{"@type":"Person","name":"Dalmau, Victor","givenName":"Victor","familyName":"Dalmau"},{"@type":"Person","name":"Thurley, Marc","givenName":"Marc","familyName":"Thurley"}],"position":13,"pageStart":149,"pageEnd":164,"dateCreated":"2013-09-02","datePublished":"2013-09-02","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Bulatov, Andrei","givenName":"Andrei","familyName":"Bulatov"},{"@type":"Person","name":"Dalmau, Victor","givenName":"Victor","familyName":"Dalmau"},{"@type":"Person","name":"Thurley, Marc","givenName":"Marc","familyName":"Thurley"}],"copyrightYear":"2013","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2013.149","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":{"@type":"PublicationVolume","@id":"#volume6226","volumeNumber":23,"name":"Computer Science Logic 2013 (CSL 2013)","dateCreated":"2013-09-02","datePublished":"2013-09-02","editor":{"@type":"Person","name":"Ronchi Della Rocca, Simona","givenName":"Simona","familyName":"Ronchi Della Rocca"},"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article7408","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6226"}}}