论分块对称匹配门签名与高域#CSP
计算复杂性
2017-07-04 v1
摘要
对于任意 和 ，我们证明了在大小 的域上， 个变量的 {\sc Equality} 函数 无法在全息变换下由匹配门实现。这是我们关于分块对称匹配门签名结构定理的一个推论。这意味着基于匹配门的标准全息算法（一种已知在布尔域上对 \#CSP 具有通用性的方法）无法为任何更高域 上的平面 \#CSP 生成 P 时间算法。
引用
@article{arxiv.1707.00373,
title = {On Blockwise Symmetric Matchgate Signatures and Higher Domain \#CSP},
author = {Zhiguo Fu},
journal= {arXiv preprint arXiv:1707.00373},
year = {2017}
}