BQP中的问题,但推测在P之外


Answers:


22

要列出此类问题,您可以查看量子算法动物园(QAZ)的超多项式速度改进列表。下面的列表基于此(请参阅QAZ获得准确的定义和参考。这是另一种说法,我什至不假装理解此列表的许多问题!)

代数和数论问题

如果我没记错的话,那么在Abelian隐藏子组问题之前列出的所有问题都是该问题的特例。

  • 因式分解
  • 离散对数
  • 佩尔方程。分解为佩尔方程。
  • 主要理想理想问题。佩尔方程简化了这个问题,因此至少与分解一样困难。
  • 单元组问题
  • 班组问题
  • 高斯求和估计
  • 组表示的矩阵元素
  • 团体订购和会员资格
  • 阿贝尔隐藏子组问题
  • 一些(但不是全部)非阿贝尔隐藏亚组问题
  • 一些(但不是全部)问题被表述为隐藏班次问题的特殊情况
  • 一些(但不是全部)隐藏的非线性结构问题
  • 探索一些图表(焊接树)
  • 组同构,适用于阿贝尔族和一些非阿贝尔族
  • 找到有限环和理想的一些性质

逼近与模拟

  • BQP
  • BQP
  • BQP
  • 估计一些经典系统的热力学分配函数
  • 在有限域上计算Zeta函数
  • PromiseBQP
  • 指数大的稀疏矩阵的幂的近似矩阵元素。

我不太了解的算法。

P

  • 足够大(模式匹配>log(n)
  • Ppolylog
  • polylog
  • 重量枚举器问题。与代码和分区功能有关的东西,但我不了解它的含义。

PBQPP

BQPP

  • (12constantD)N(12122D3/4)N(12constantD)N
  • m×nkmnkpoly(k)polylog(mn)量子算法在2016年寻找矩阵未知元素的样本(论文)。在2018年,而试图证明这个比例是不可能的经典机到达,EWIN唐竟发现了一个经典的算法实现在同等条件下相同的性能(纸可在这里这里)。

2
这是一个很好的答案!一个评论:我刚刚注意到关于Max E3LIN2加速的QAZ条目不是最新的,因为经典算法[1 ],[2 ],[3 ] 的最新进展。恐怕我们不知道在撰写本文时是否存在针对该问题的超多项式加速。
Juan Bermejo Vega 2015年

1
@JuanBermejoVega:我编辑的答案,把你的意见考虑在内
弗雷德里克Grosshans

1
在最后一点,

1
一个更新:现在动物园在这方面也是最新的,请参见。“但是,随后发现了一种有效的经典算法,该算法实现了更好的逼近率(实际上,逼近率使通过逼近硬度设置的极限饱和)[260]。目前,量子逼近优化算法相对于经典算法的功效算法仍然不清楚,并且是一个活跃的研究领域。”
Juan Bermejo Vega 2015年

1
nω
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.