摘要：关于$operatorname{Holant}^*(f)$的复杂性二分定理在两种情况下被证明：(1) $f$是一个在域大小为3的输入上的任意3元实值函数。(2) $f$是一个在域大小为4的输入上的任意3元${0,1}$值函数。
作者：Yin Liu, Austen Z. Fan and Jin-Yi Cai
论文ID：2307.16078
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-08-01
PDF 下载： 英文版 中文版pdf翻译中