An Effective Dichotomy for the Counting Constraint Satisfaction Problem

From MaRDI portal
Publication:2848220

DOI10.1137/100811258zbMath1275.68077arXiv1003.3879OpenAlexW1991486497WikidataQ56323805 ScholiaQ56323805MaRDI QIDQ2848220

David Richerby, Martin Dyer

Publication date: 25 September 2013

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1003.3879




Related Items (32)

\(\#\)BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness regionTractability in constraint satisfaction problems: a surveyPerfect matchings, rank of connection tensors and graph homomorphismsZero-freeness and approximation of real Boolean Holant problemsNonnegative Weighted #CSP: An Effective Complexity DichotomyHolographic Algorithm with Matchgates Is Universal for Planar \#CSP over Boolean DomainThe Complexity of Boolean Holant Problems with Nonnegative WeightsCounting List Matrix Partitions of GraphsThe complexity of approximating bounded-degree Boolean \(\#\)CSPUnnamed ItemApproximability of the complementarily symmetric Holant problems on cubic graphsComplexity classification of the eight-vertex modelPolynomial-time solvable \(\#\)CSP problems via algebraic models and Pfaffian circuitsThe computational complexity of Holant problems on 3-regular graphsUnnamed ItemHolographic algorithms beyond matchgatesBeyond \#CSP: a dichotomy for counting weighted Eulerian orientations with ARSCounting Constraint Satisfaction Problems.A collapse theorem for holographic algorithms with matchgates on domain size at most 4Unnamed ItemTHE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRADichotomy result on 3-regular bipartite non-negative functionsBipartite 3-regular counting problems with mixed signsThe complexity of approximating conservative counting CSPsDichotomy result on 3-regular bipartite non-negative functionsBipartite 3-regular counting problems with mixed signsContraction: a unified perspective of correlation decay and zero-freeness of 2-spin systemsApproximability of the eight-vertex modelConstant-Query Testability of Assignments to Constraint Satisfaction ProblemsThe complexity of counting \(\mathrm{CSP}^d\)A decidable dichotomy theorem on directed graph homomorphisms with non-negative weightsUnnamed Item




This page was built for publication: An Effective Dichotomy for the Counting Constraint Satisfaction Problem