私は、量子コンピューターを使用することで既知の複雑さの利点がない既知の自然な計算問題のリストが何であるのか疑問に思っていました。
手始めに、編集距離の計算は、最速の既知の量子アルゴリズムが最速の既知の古典的アルゴリズムであると思われるものだと思います。より暫定的には、既知の量子スピードアップ(既知の最速の単位コストのワードRAMアルゴリズムと比較して)がないもう1つの問題としてソートを提案します。
私は厳しい制限を設定したくありませんが、NPの問題や既知の効率的な古典的な解決策がない問題に特に関心があります。
フアンベルメホベガの提案に続き、ここでさらに説明を加えます。量子コンピュータを使用する場合、現時点で既知の大きな時間複雑さの利点がまったくないNPの問題に興味があります。
私は利点がないことが証明できる場合に焦点を合わせておらず、指数関数的な高速化に焦点を合わせていません(つまり、多項式も問題ありません)。これまでのところ、私の質問の例は2つしかないようですが、それが本当に真実である場合、これは非常に驚くべきことです。
全体的な実行時間のスピードアップがないなどの複雑さの利点、または操作中に言語クラスが閉じられていること?
—
ライアン
@ライアン全体の実行時間を短縮しないことを意味しました。質問ありがとうございます。
—
レンビック2015年
すでに多項式時間。:-)
—
kasterma 2015年
@kastermaこれは正しいとは思いません。現在、量子スピードアップが行われているポリタイム問題はたくさんあります。
—
レンビック2015年
(a)「証明可能な量子アドバンテージがない」と「既知の量子アドバンテージがない」のどちらであるかを指定して、この質問を洗練することをお勧めします。(b)問題が(PまたはBPPにない問題に関して)指数または多項式の高速化に関するものかどうか。(c)他のタイプの高速化(たとえば、PまたはBPP内の問題に対する対数的な高速化)が許可されるかどうか。
—
フアンベルメホベガ