带二元不等关系的复杂布尔Holant问题的二分性
A Dichotomy for Complex Boolean Holant with Binary Disequality
- 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 when binary disequality is available. The tractable cases are characterized by an explicit, decidable criterion.
