2つのグラフの二分の問題とNP上その意味についてBQPアルゴリズム

紙を読んだ

• Ahmed Younes、「2つのグラフの二分問題に対する有界誤差量子多項式時間アルゴリズム」、2015年。doi：10.1007 / s11128-015-1069-y

これは、SpringerのジャーナルQuantum Information Processingに掲載されています。この論文は、min-bisectionとmax-bisectionのNP-hard問題に対してBQPアルゴリズムを提供すると主張しているようです。

trueの場合、これはことを意味するものでなければならないそれは一般的な推測であるため、非常に驚くべきことになる、 N P ⊈ B Q Pを。結果もあるランダムオラクル、に対してその N P ⊈ B Q P確率1を有します。$NP\subseteq BQP$$NP\not\subseteq BQP$$NP\nsubseteq BQP$

• Charles H. Bennett、Ethan Bernstein、Gilles Brassard、およびUmesh Vazirani、「Quantum Computingの長所と短所」、1997年。doi：10.1137 / S0097539796300933

この論文の複雑さの分析は、時間の複雑さではなくクエリの複雑さを考慮しているように思われるので、私は困惑しています。つまり、アルゴリズムがBQPにあるかどうかは明確ではありません。一方で、論文の意味は量子コンピューティングの査読者には明らかだったはずなので、査読者は論文の詳細をすべて確認して結果を確認し、そうでなければ公開されないことを期待しています。

論文のアルゴリズムは本当にBQPですか？紙は本当にNP意味するものではない BQPを？$\subseteq$

• Ahmed Younes、Jonathan E. Rowe、「ブール充足可能性のための多項式時間有界誤差量子アルゴリズム」、2015年

Ahmed YounesとJonathan E. Roweによる同じ考えの別の論文、ブール充足可能性のための多項式時間有界誤差量子アルゴリズム。アルゴリズムは多項式時間ではありません。