Dichotomy for Holant∗ Problems on the Boolean Domain

Holant problems are a general framework to study counting problems. Both counting constraint satisfaction problems (#CSP) and graph homomorphisms are special cases. We prove a complexity dichotomy theorem for Holant ∗ ( F ) , where F is a set of constraint functions on Boolean variables and taking c...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory of computing systems Jg. 64; H. 8; S. 1362 - 1391
Hauptverfasser: Cai, Jin-Yi, Lu, Pinyan, Xia, Mingji
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York Springer US 01.11.2020
Springer Nature B.V
Schlagworte:
Algorithms
Boolean
Boolean algebra
Complex variables
Complexity
Computer Science
Homomorphisms
Polynomials
Theorems
Theory of Computation
P-hardness
Constraint satisfaction problems
Dichotomy theorems
Edge coloring models
Holant problems
Polynomial time algorithms
ISSN:1432-4350, 1433-0490
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Holant problems are a general framework to study counting problems. Both counting constraint satisfaction problems (#CSP) and graph homomorphisms are special cases. We prove a complexity dichotomy theorem for Holant ∗ ( F ) , where F is a set of constraint functions on Boolean variables and taking complex values. The constraint functions need not be symmetric functions. We identify four classes of problems which are polynomial time computable; all other problems are proved to be #P-hard. The main proof technique and indeed the formulation of the theorem use holographic algorithms and reductions. By considering these counting problems with the broader scope that allows complex-valued constraint functions, we discover surprising new tractable classes, which are associated with isotropic vectors, i.e., a (non-zero) vector whose dot product with itself is zero.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1432-4350
1433-0490
DOI:10.1007/s00224-020-09983-8