多方通信复杂性中NP和coNP的分离
摘要：多方通信复杂度模型下的NP与coNP的不同性质及coNP不是MA的子集问题的证明（针对最多k=(1-\epsilon)log(n)个参与者，其中\epsilon>0是任意常数）。具体而言，我们构造了一个具有co非确定性复杂度O(log(n))和Merlin-Arthur复杂度n^{\Omega(1)}的函数F。该问题对于k > 2一直存在争议。
作者：Dmytro Gavinsky, Alexander A. Sherstov
论文ID：1004.0817
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-03-29