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!

Schreiben Sie den ersten Kommentar!