Gadgets and Anti-Gadgets Leading to a Complexity Dichotomy

DOI10.1145/3305272zbMath1485.68104MaRDI QIDQ5205792

Jin-Yi Cai, Tyson Williams, Michael Kowalczyk

Publication date: 16 December 2019

Published in: ACM Transactions on Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3305272

zbMATH Keywords

interpolation; partition function; counting complexity; holographic algorithms; dichotomy theorem; holant problem

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68R10: Graph theory (including graph drawing) in computer science

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)