发表机构
Institute of Software, Chinese Academy of Sciences; University of Regensburg（中国科学院软件研究所; 雷根斯堡大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文为复值布尔Holant问题建立了完全复杂性二分法，以显式可判定准则刻画所有可解情况。
AI 中文摘要
我们证明了由任意有限代数复值签名集定义的布尔Holant问题的复杂性二分法。可解情况由一个显式、可判定的准则刻画。
英文摘要
We prove a complexity dichotomy for Boolean Holant problems defined by arbitrary finite sets of algebraic complex-valued signatures. The tractable cases are characterized by an explicit, decidable criterion.
