首页/论文/1801.01901

arXiv 1801.019012018-01-05cs.CC

关于随机计数与随机决策

On randomized counting versus randomised decision

Eleni Bakali

摘要：

我们研究了哪些计数问题允许f.p.r.a.s.，从结构复杂性的角度来看。由于问题#P与NP完全决策版本不承认f.p.r.a.s.（除非NP = RP），我们研究的子类#P，决策版本在P或RP。我们探讨这些子类之间的包容性，我们提出了所有可能的世界相对于NP与。RP和RP与P.

英文摘要：

We study the question of which counting problems admit f.p.r.a.s., under a structural complexity perspective. Since problems in #P with NP-complete decision version do not admit f.p.r.a.s. (unless NP = RP), we study subclasses of #P, having decision version either in P or in RP. We explore inclusions between these subclasses and we present all possible worlds with respect to NP v.s. RP and RP v.s. P.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

关于On the Randomized Query Complexity of Composition中的一个例子的说明

A note on the tight example in On the randomised query complexity of composition

我们做了两个观察最近紧的例子组成定理随机查询复杂性：（1）它意味着一般随机查询通信提升并不总是真的，如果一个允许的关系，（2）它是在一定意义上至关重要的是，一个关系是用来构造的例子。

2019-11-08cs.CC

量子通信复杂性与随机通信复杂性，有效参与者

Quantum versus Randomized Communication Complexity, with Efficient Players

我们研究了一种新型的分离量子和经典通信的复杂性，这是使用量子协议，各方都是有效的，在这个意义上说，他们可以实现的小量子线路与Oracle访问他们的输入。更准确地说，我们给出了一个显式的部分布尔函数，可以计算的量子同时与纠缠通信模型，然而，每个交互式随机协议是指数更大的成本。此外，量子协议中的所有参与方都可以通过小尺寸的量子线路来实现，并对输入进行黑盒访问。我们的结果定性地匹配量子和经典通信复杂性之间最强的已知分离，并使用所有各方都有效的量子协议获得。

2019-11-06cs.CCquant-ph

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

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

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

2025-06-20cs.CCquant-ph

随机查询复杂度与量子查询复杂度的最优分离

An Optimal Separation of Randomized and Quantum Query Complexity

我们证明，对于每一个决策树，傅立叶系数的一个给定的顺序$\ell\geq1$总和的绝对值至多$c^{\ell}\sqrt{\binom{d}{\ell}(1+\log n)^{\ell-1}},$其中$n$是变量的数量，$d$是树的深度，$c>0$是一个绝对常数。这个界限本质上是紧的，并解决了Tal的一个猜想（arxiv 2019; FOCS 2020）。在我们的工作之前的界限迅速退化，$\ell,$在$\ell=\sqrt{d}.$上已经变得微不足道。作为应用，对于每个整数$k\geq1,$，我们获得$n$比特上的部分布尔函数，其具有至多$k$的有界错误量子查询复杂度和随机化查询复杂度$\tildeΩ(n^{1-\frac{1}{2k}}).$。Aaronson和Ambainis（STOC 2015）以及Bravyi，Gosset，Grier和Schaeffer（2021）的结果。在我们的工作之前，最著名的分离是多项式较弱的：对于任何$ε>0$，$O(1)$与$Ω(n^{2/3-ε})$（Tal，FOCS 2020）。作为另一个应用，我们得到了一个基本上最优的分离$O(\log n)$与$Ω(n^{1-ε})$的有界错误量子与随机通信复杂性，对于任何$ε>0.$最好的以前的分离是多项式较弱：$O(\log n)$与$Ω(n^{2/3-ε})$（隐含在塔尔，FOCS 2020）。

2023-01-29cs.CCquant-ph

良好支撑与近似纳什均衡：大型博弈的查询复杂性

Well-Supported versus Approximate Nash Equilibria: Query Complexity of Large Games

研究了大型博弈中近似纳什均衡的随机查询复杂性。我们证明了，对于一些常数$ε>0$，任何随机预言机算法，计算一个$ε$ -ANE在一个二进制动作，$n$ -玩家游戏必须使$2^{Ω(n/\log n)}$支付查询。对于强解概念的良好支持的纳什均衡（WSNE），Babichenko先前给出了一个指数$2^{Ω(n)}$下界的随机查询复杂度$ε$ -WSNE，对于一些恒定的$ε>0$ ;相同的下界被证明适用于$ε$ -ANE，但只有当$ε=O(1/n)$。我们的结果回答了Hart和Nisan和Babichenko提出的一个公开问题，并且非常接近于$2^n$的平凡上界。我们的证明依赖于一个通用的减少，从找到一个$ε$ -WSNE的问题，找到一个$ε/(4α)$ -ANE的问题，在大型游戏与$α$的行动，这可能是独立的利益。

2015-11-03cs.CCcs.GT

全函数量子与经典通信复杂度的改进分离

Improved Separations between Quantum and Classical Communication Complexity of Total Functions

Nagoya University（名古屋大学）

通过改进Gavinsky框架，我们实现了全函数量子与随机化通信复杂度的更大指数分离，在两条量子消息下达到多对数对比根号n，在更多消息下达到多对数对比n的1减任意正指数次方。

2026-10-06cs.CCquant-ph

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

Forrelation：一个将量子计算与经典计算最优分离的问题

Forrelation: A Problem that Optimally Separates Quantum from Classical Computing

我们基本上实现了量子和经典查询复杂性之间的最大可能的分离。我们使用一个名为Forrelation的属性测试问题来做到这一点，其中需要确定一个布尔函数是否与第二个函数的傅里叶变换高度相关。这个问题可以使用1个量子查询来解决，但是我们证明了任何随机化算法都需要~sqrt（N）/log（N）个查询（改进了Aaronson的~N^{1/4}下界）。相反，我们证明了这种1对~sqrt（N）的分离是最优的：实际上，任何t-查询量子算法都可以用O（N^{1-1/2 t}）-查询随机化算法来模拟。因此，解决Buhrman等人从2002年开始的一个公开问题，不存在量子查询复杂度为常数且随机查询复杂度为线性的部分布尔函数。我们猜想，Forrelation的自然推广实现了所有t的最佳t对~N^{1-1/2 t}分离。作为奖励，我们证明了这种推广是BQP-完全的。这产生了可以说是迄今为止已知的最简单的BQP完全问题，并给出了第二种意义，其中Forrelation“捕获了量子计算的最大功率。"

2014-11-21cs.CCquant-ph

信息复杂性与腐败及其在随机性和间隙汉明中的应用

Information Complexity versus Corruption and Applications to Orthogonality and Gap-Hamming

三十年来对通信复杂性的研究导致了许多技术的发明，以降低随机通信复杂性。这些技术中的大多数涉及定义通信问题的真值表矩阵的大型子矩阵（矩形）的属性。唯一不太适合的技术是信息复杂性，它在过去十年中一直在研究。在这里，我们将信息复杂性与最强大的“矩形”技术之一联系起来：最近引入的平滑腐败（或“平滑矩形”）界限。我们表明，前者包含后者矩形输入分布。我们推测，这种包容持有更普遍的，在任意分布，这将解决长期以来的直接和问题的随机通信。作为应用，我们得到了一个最佳的$Ω(n)$下界的信息复杂度-下的{ \em均匀分布}-所谓的正交性问题（ORT），这又是密切相关的研究间隙汉明距离（GHD）。这个界限的证明是沿着最近GHD的通信下限的路线，但我们遇到了令人惊讶的额外的技术细节。

2012-05-04cs.CCcs.ITmath.IT