首页/论文/0802.3860

arXiv 0802.38602008-02-26cs.CC

分离NOF通信复杂性度类RP和NP

Separating NOF communication complexity classes RP and NP

Matei David, Toniann Pitassi

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们提供了一个非显式分离的前额上的数字通信复杂性类RP和NP时，玩家的数量是δlog（n），任何δ<1。最近的集合不相交性下限[LS 08，CA 08]提供了一个明确的分离这些类时，玩家的数量只有o（loglog（n））。

英文摘要：

We provide a non-explicit separation of the number-on-forehead communication complexity classes RP and NP when the number of players is up to δlog(n) for any δ<1. Recent lower bounds on Set-Disjointness [LS08,CA08] provide an explicit separation between these classes when the number of players is only up to o(loglog(n)).

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

同时性额前号码通信中的量子与经典分离

Quantum versus Classical Separation in Simultaneous Number-on-Forehead Communication

本文在三人同时性额前号码模型中首次实现量子与经典通信复杂度的指数级分离，引入带小工具的隐藏匹配问题，并给出新的随机下界证明方法。

2025-06-20cs.CCquant-ph

分离复杂性类NL和NP

Separating the complexity classes NL and NP

因为-秩序-被忽视了。没有次序的一阶约化太弱而不能分离。

2000-05-12cs.CC

组合函数的同时多方通信复杂性

Simultaneous Multiparty Communication Complexity of Composed Functions

在额上数字（NOF）多方通信模型中，$k$参与者希望通过根据预定协议广播比特来评估某个输入$(x_1,\dots,x_k)$上的函数$F : X_1 \times\cdots\times X_k\rightarrow Y$。输入以这样一种方式分布，即每个参与者$i$都能看到除$x_i$之外的所有输入。在同步设置中，玩家不能互相说话，而是向裁判发送信息。裁判不知道球员的输入，也不能给出任何信息。最后，裁判必须能够从她获得的东西中恢复$F(x_1,\dots,x_k)$。一个被称为$\log n$障碍的中心开放问题是在同时NOF模型中找到一个对于$polylog(n)$或多个参与者（其中$x_i$的大小为$poly(n)$）难以计算的函数。这在电路复杂性方面有重要的应用，因为它可以帮助将$ACC^0$与其他复杂性类别分开。其中一个候选函数属于组合函数族。这些函数的输入由$k\times (t\cdot n)$布尔矩阵$M$表示，其行$i$是输入$x_i$，$t$是块宽度参数。作用于$M$的对称组合函数由两个对称的$n$变量函数$f$和$kt$变量函数$g$指定，它们输出$f\circ g(M)=f(g(B_1),\dots,g(B_n))$，其中$B_j$是$M$的宽度为$t$的第$j$个块。由于大多数函数$MAJ$被证明在$ACC^0$之外，Babai et.建议研究$MAJ\cir…

2018-01-24cs.CC

分离复杂性类的神谕集的复杂性和Ramsey大数

Complexity and Ramsey Largeness of Sets of Oracles Separating Complexity Classes

我们证明了两组结果有关计算复杂性类。第一个问题是关于Bennett和Gill提出的随机预言假说的一个变体，他们证明了相对于随机选择的预言，P不等于概率为1的NP。这个假设很快就被几种方式推翻了，最著名的是在1992年，结果是IP等于PSPACE，尽管类被证明是不相等的概率为1。在这里，我们提出了一个变体，它意味着什么是“大”使用埃伦塔克拓扑。在这个新的背景下，我们证明了分离NP和co-NP的预言集并不小，并且对于PSPACE与PH的分离以及NP与BQP的分离获得了类似的结果。我们证明，这个版本的假设变成了一个充分条件的非相对化的关系，至少在这里考虑的三种情况下。其次，我们举例说明的描述复杂性的类的预言机提供这些不同的类的分离，并确定其确切的位置在博雷尔层次结构。

2022-10-21cs.CCmath.LO

网格上LCL问题的复杂度类分离

Separating complexity classes of LCL problems on grids

本文从描述集合论、可计算性理论和独立同分布因子视角研究 $\mathbb{Z}^n$ 上LCL问题的复杂度，分离了多个此前未知不同的复杂度类，并为若干自然猜想提供反例。

2025-05-06cs.CCmath.COmath.LO

多项式时间随机预言机与复杂性分类

Polynomial-Time Random Oracles and Separating Complexity Classes

Bennett和Gill（1981）证明了P^A！= NP^A！=对于随机预言A，概率为1。我们调查这一结果是否扩展到个人多项式时间随机预言。我们考虑随机预言机的两个概念：鞅意义下的p-随机预言机和资源有界测度（Lutz，1992; Ambos-Spies等人，1997），以及使用资源有界测度的博彩游戏推广的p-博彩游戏随机预言机（Buhrman等人，2000年）。每一个p-博弈的随机预言也是p-随机的;这两个概念是否等价是一个开放的问题。(1)我们首先证明P^A！= NP^A对于每个预言A是p-博弈随机数。理想情况下，我们将（1）扩展到p-随机预言机。我们表明，无论哪种方式回答这个问题都意味着非相对化的复杂性类分离：（2）如果P^A！= NP^A相对于每个p-随机预言A，则BPP！= EXP. (3)如果P^A = NP^A相对于某个p-随机预言A，则P！= PSPACE。Rossman，Servedio，and Tan（2015）证明了多项式时间层次相对于随机预言是无限的，解决了一个长期存在的开放问题。我们考虑我们是否可以扩展（1）以表明PHA相对于p-博弈随机的预言机A是无限的。表明PHA甚至在其第一级分离也意味着非相对化的复杂性类分离：（4）如果NP^A！coNP^A对于p-博弈测量1类预言A，则NP！= EXP. (5)如果PH^A相对于每个p-随机预言A是无限的，则PH…

2018-01-22cs.CC

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

分离电路：切换引理与随机限制

Separating Circuits: Switching Lemmas and Random Restrictions

Department of Computer Science, Stanford University（斯坦福大学计算机科学系）

本文针对电路复杂度领域，系统处理切换引理与随机限制两种范式，推导相关下界、上界及推论，为分离P与NP等问题提供理论支撑。

2026-10-21cs.CC

关于几何复杂性理论：多重性障碍比发生性障碍更强

On geometric complexity theory: Multiplicity obstructions are stronger than occurrence obstructions

Mulmuley和Sohoni在两篇论文（SIAM J Comput 2001，2008）中提出的几何复杂性理论旨在通过特定群簇的坐标环中的表示论多重性来分离代数复杂性类。这些论文还推测，这些多重性的消失行为将足以分离复杂性类别（所谓的发生障碍）。最近，在2016年连续发表的两篇论文中，Ikenmeyer-Panova（Adv. Math.）和Bürgisser-Ikenmeyer-Panova（J. AMS）。这就提出了一个问题，即通过表示论的多重性来分离群簇是否比通过出现来分离群簇更强。本文第一次提供了一个可以实现多重性分离的设置，而发生分离是证明不可能的。我们的设置是令人惊讶的简单和自然的：我们研究各种产品的齐次线性形式（所谓的周品种）和各种多项式的有界边界华林秩（即更高的割线品种的Veronese品种）。作为一个附带的结果，我们证明了一个轻微的推广厄米的互易定理，这证明了福克斯猜想的一个新的无限家庭的情况。

2019-01-14cs.CCmath.AGmath.CO

求最高权向量的复杂性

On the complexity of evaluating highest weight vectors

几何复杂性理论（Geometric Complexity Theory，GCT）是一种通过代数几何和表示理论来分离代数复杂性类的方法。最初Mulmuley和Sohoni提出（SIAM J COMPUT 2001，2008）使用出现障碍来证明Valiant的行列式与永久猜想，但最近Bürgisser，Ikenmeyer和Panova（AMS杂志2019）证明了这是不可能的。然而，代数几何和表示论的基本定理允许GCT中的每一个下界都可以通过使用所谓的最高权向量（HWVs）来证明。在设置感兴趣的GCT（即在设置多项式），我们证明了NP-硬度的评价HWVs一般，我们给出了有效的算法，如果树的宽度相应的杨图是小的，其中的评价点被简洁地编码为一个非交换代数分支程序！特别是，这给出了一个大的新类的分离功能，可以有效地评估在点与低（边界）华林秩。

2021-02-15cs.CCmath.COmath.RT

图同构与表示论

Geometric Complexity Theory and Graph Isomorphism

引入基于置换不变多项式向量空间的图同构区分方法，刻画了不同复杂度下该方法的区分能力，并证明了多重性障碍与循环指标的关系。

2026-09-23cs.CCcs.DSmath.CO

量子预言机分离类型之间的区分

A Separation Between Types of Quantum Oracle Separations

University of Texas Austin（德克萨斯大学奥斯汀分校）；Stanford University（斯坦福大学）；Columbia University（哥伦比亚大学）

本文引入量子相对化的元复杂度概念，对预言机万神殿家族进行分类，证明PostBQP与PreciseBQP在特定预言机下分离，在另一些下相等，凸显量子复杂度类相对化的微妙性。

2026-10-01cs.CCquant-ph