arXiv 1004.08172010-04-06cs.CC

多方通信复杂性中NP和coNP的分离

A Separation of NP and coNP in Multiparty Communication Complexity

Dmytro Gavinsky, Alexander A. Sherstov

摘要：

本文证明了在至多k =（1-ε）log（n）个局中的多方通信复杂性额上数模型中，NP不同于coNP，coNP不是MA的子集，其中ε> 0是任意常数.具体地说，我们构造了一个函数F，它的非确定性复杂度为O（log（n）），Merlin-Arthur复杂度为n ^{Ω（1）}。这个问题对于k> 2是开放的。

英文摘要：

We prove that NP differs from coNP and coNP is not a subset of MA in the number-on-forehead model of multiparty communication complexity for up to k = (1-ε)log(n) players, where ε>0 is any constant. Specifically, we construct a function F with co-nondeterministic complexity O(log(n)) and Merlin-Arthur complexity n^{Ω(1)}. The problem was open for k > 2.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

计算复杂性中的随机置换

Random Permutations in Computational Complexity

University of Wyoming（怀俄明大学）；Roanoke College（罗阿诺克学院）；University of Huddersfield（哈德斯菲尔德大学）

针对随机置换与随机预言机的复杂性分离问题，提出资源受限测度框架定义个体随机置换，证明其首个分离结果并加强量子分离，还揭示两者归约关系及相关未解决问题。

2025-11-11cs.CC

多方非确定性通信复杂性中的指数量子经典能隙

Exponential Quantum-Classical Gaps in Multiparty Nondeterministic Communication Complexity

在量子通信中存在三种不同类型的非确定性：i）$\nqp$-通信，ii）$\qma$-通信，以及iii）$\qcma$-通信。在这个\redout{paper}，我们表明，多方$\nqp$-通信可以指数强于$\qcma$-通信。这也意味着相对于经典多方非确定性通信复杂性的指数分离。我们认为，存在一个总的功能，这是很难的$\qcma$-通信和容易的$\nqp$-通信。它的证明涉及到模式张量方法的应用和多项式阈值度的一个新的下界。这个结果的另一个重要结果是，非确定性秩可以指数低于差异界限。

2013-08-18cs.CCquant-ph

量子多方同时通信的极限

On the Limits of Quantum Multiparty Simultaneous Communication

Universidad Adolfo Ibañez（阿道夫·伊巴涅斯大学）；Universidad de Chile（智利大学）

本研究通过k方推广的Index Coordination问题，证明量子多方同时通信中公共随机性优势的指数分离，并给出紧的量子下界。

2026-10-12cs.CCquant-ph

利用对偶多项式的通信下界

Communication Lower Bounds Using Dual Polynomials

布尔函数的实多项式表示在复杂性理论中起着重要的作用。通常，人们对多项式p（x_1，.，x_n），其近似或符号表示给定的布尔函数f（x_1，...，x_n）。本文综述了通信复杂性中一个新的和不断增长的工作主体，它围绕着双重对象，即，证明逼近或符号表示给定函数的难度的多项式。我们为以下结果提供了统一的指导，并完成了所有关键的证明：（1）Sherstov的度/离散定理，它将布尔函数的阈值度的下界转换为相关函数的差异的上界;（2）基于近似度证明有界错误通信下界的两种不同方法：（3）将Lee和Shraibman以及Chattopadhyay和Ada提出的模式矩阵方法推广到多方模型，并改进了离散性的下界;（4）David和Pitassi在多方通信复杂性中对k=（1-eps）log n局中人NP和BPP的分离。

2008-05-14cs.CC

不相交性在多方数额模型中的应用

Disjointness is hard in the multi-party number on the forehead model

我们证明了在一般的k方前额数复杂性模型中，不相交性需要随机通信Omega（n^{1/（k+1）}/2^{2^k}）。对于k >= 3，先前的最佳下限是log（n）/（k-1）。我们的研究结果给出了一个分离的不确定性和随机的多方数的额头上的通信复杂性高达k=log log n - O（log log log n）许多球员。此外，通过减少比姆，Pitassi，和Segerlind，这些结果意味着subexponential下界的大小证明需要反驳某些不可满足的CNFs在一个广泛的证明系统，包括树状的Lovasz-Schrijver证明。

2009-06-09cs.CC

网格范数的更高效筛选及其在多路通信复杂度中的应用

More efficient sifting for grid norms, and applications to multiparty communication complexity

Institute for Advanced Study（高等研究院）；UC Berkeley（加州大学伯克利分校）

通过改进二分图网格范数的筛选论证，将Kelley-Lovett-Meka构造的3方NOF通信复杂度下界从Ω(log^{1/3} N)提升至Ω(log^{1/2} N)，并放宽了所需伪随机条件。

2026-06-11cs.CCcs.DMmath.CO

更多相关论文收起更多论文

关于逆混合整数线性优化的复杂性

On the Complexity of Inverse Mixed Integer Linear Optimization

本文研究逆 MILP 的计算复杂性，证明其原始界验证为 coNP 完全、最优值验证为 D^P 完全，并通过割平面算法揭示逆问题、正向问题与分离问题的等价性。

2021-11-18cs.CCmath.OC

单调秩在复杂性理论中的应用

Applications of Monotone Rank to Complexity Theory

Raz最近的结果\cite{Raz2010}重新点燃了人们对\emph{tensor rank}研究的兴趣，\emph{tensor rank}是矩阵秩到高维的推广，它显示了它与算术公式的联系。在本文中，我们遵循Raz的工作，并显示\emph{monotone rank}，张量秩和矩阵秩的单调变体，在代数复杂性，量子计算和通信复杂性的应用。本文不同于Raz的论文，它利用现有的结果来显示无条件的界限，而Raz的结果依赖于一些假设。我们在非交换模型中证明了单调和非单调计算之间的超指数分离，从而在代数复杂度上提供了Nisan问题\cite{Nis1991}的强解。更具体地说，我们展示了存在一个齐次代数函数$f$的程度$d$（$d$甚至）$n$变量与单调代数分支程序（ABP）的复杂性$Ω(d^2\log n)$和非单调ABP复杂性$O(d^2)$。在贝尔定理\cite{Bel1964, CHSH1969}中，一个基本的假设是玩家有自由意志，而在这样的假设下，局域隐变量理论仍然无法预言量子力学产生的关联。使用单调秩的工具，我们表明，即使我们不允许球员有自由意志，局部隐变量理论仍然不能预测量子力学产生的相关性。将通信复杂度中的对数秩猜想\cite{LS1988}推广到多方情形，证明了对于超多项式的多方，确定性通信复杂度与通信张量秩的对数之间存在超多项式分离.这意味着对数秩猜想在高维中不成立。

2011-11-19cs.CCquant-ph