域3与域4上的受限Holant二分性
计算复杂性
2023-08-01 v1
摘要
表示由约束函数 指定的一类计数问题。我们证明了 在两种设定下的复杂度二分定理：（1） 是定义域大小为3的输入上任意三元实值函数。（2） 是定义域大小为4的输入上任意三元 -值函数。
引用
@article{arxiv.2307.16078,
title = {Restricted Holant Dichotomy on Domains 3 and 4},
author = {Yin Liu and Austen Z. Fan and Jin-Yi Cai},
journal= {arXiv preprint arXiv:2307.16078},
year = {2023}
}