Holant clones and the approximability of conservative holant problems

Research output: Contribution to journalArticlepeer-review


Colleges, School and Institutes

External organisations

  • University of Oxford


We construct a theory of holant clones to capture the notion of expressibility in the holant framework. Their role is analogous to the role played by functional clones in the study of weighted counting Constraint Satisfaction Problems. We explore the landscape of conservative holant clones and determine the situations in which a set F of functions is "universal in the conservative case", which means that all functions are contained in the holant clone generated by F together with all unary functions. When F is not universal in the conservative case, we give concise generating sets for the clone. We demonstrate the usefulness of the holant clone theory by using it to give a complete complexity-theory classication for the problem of approximating the solution to conservative holant problems. We show that approximation is intractable exactly when F is universal in the conservative case.


Original languageEnglish
Article number23
Number of pages55
JournalACM Transactions on Algorithms
Issue number2
Publication statusPublished - 31 Mar 2020


  • Computational counting problem, Holant problem, approximate counting, functional clone