量子コンピューター、並列計算、指数時間


7

私は、量子コンピューターが「特定の問題」を古典的なコンピューターよりも指数関数的に解決できることを読みました。私が理解していると思いますが、量子コンピュータがEXPTIME完全、2-EXPTIMEなどの問題を取り、それらを線形時間または一定時間に変換すると言っても同じではありません。

この問題についてもっと知りたいのですが。

  • 量子コンピュータが指数以下の時間で指数問題を解決できる/できないのはなぜですか?
  • EXPTIMEで完全な問題を一定の時間で解決できるコンピューター(量子またはその他)を想像することは、少なくとも理論的には可能ですか?それとも矛盾につながりますか?

3番目の関連アイテムを編集します。

  • 量子コンピューターは並列計算を行うことができますか?

話題がコメントから出てきたので、並列計算についてのアイデア、それは量子計算機についての通常の/ポップなビジョンです、まるで量子計算機が与えられた問題の「すべての可能性」を計算できたかのようです(それが場合、因数分解アルゴリズムを発明するために偉大なピーターショアを呼び出す必要はありません!)次に、量子コンピュータに関する「なぜ」の質問は、並列計算を行うことができるか、できないかは、コンピュータ科学と物理学の質問の半分です。

ここで混乱の源:http : //physics.about.com/od/physicsqtot/g/quantumparallel.htm


私の非常に大まかな理解は、量子コンピュータは本質的に並列処理を使用して計算を高速化していたということでした。ただし、特定の問題をどれだけ並列化できるかには限界があり、指数関数的になります。一定の時間で解くことについては、想像するのは難しいと思います。長さの問題を与えることができ、同じ範囲内で解くことができるからです。しかし、私は専門家ではありません。
jmite 2013年

9
@jmite不正解です。量子コンピューターは栄光の並列マシンではありません-それらはまったく並列ではありません。内部状態は重ね合わされている可能性がありますが、並列化とは大きく異なります。
Yuval Filmus 2013年

1
知っておきたい!その時私が答えなかったことを嬉しく思います。
jmite 2013年

2
従来の理論的な知恵は、QMと並列処理は本質的に関連しておらず、これは不幸なマスメディアの単純化であり、専門家が固執し、解明に取り組んでいることですが、これは、一部の&既知の状況的接続を考えると、独断論に近づいているようです。さらなる調査に値する未解決の問題と考えてください。QMコンピューティングと並列処理の間の接続、およびさまざまな参照/リンクなどを含むその後の議論も参照してください
vzn

@vzn:削除と再コメントについての謝罪ですが、それは適切だと思います。クリングスペシャリストの1人として、QM間の「接続」(CSTheoryのリンクされた回答)の理由を明確に説明するために時間を割きましたコンピューティングと並列処理は、実際にはつながりではありません。そのような接続を作成することは論理的に不可能ではありません。ただし、#1は実際にはまだ信頼できる接続が存在しておらず、#2は並列処理の観点からQCを理解しようとする試みが、明らかにする以上のものを覆い隠しています。これはうまくいけば、人々がそのような「つながり」について熱狂するときになぜ私たちがうんざりするのかを示しています。
Niel de Beaudrap 14年

回答:


7

量子コンピュータは、指数以下の時間で指数問題を解決できないのはなぜですか?因数分解は(一部の人は)古典的な時間を要すると考えられています2ε いくつかのための ε>0、Shorのアルゴリズムは時間がかかります O。それは重要ですか?

少なくとも理論的には、EXPTIMEの完全な問題を一定の時間で解決できるコンピュータを想像することは可能ですか?もちろん、すべてのEXPTIME問題にオラクルがアクセスできるチューリングマシンを検討してください(つまり、オラクルはEXPTIMEマシンのコードと入力を受け入れ、出力を返します)。これは矛盾を引き起こしません。これは実際に実現可能ですか?おそらく違います。

量子コンピューターは並列計算を実行できますか?BQPはPPEXPTIME、そしてほとんどの人はこれらの包含が適切であることを期待しています。この推測の下では、古典的な指数時間では解決できるが量子多項式時間では解決できない問題があります。特に、EXPTIMEの完全な問題はBQPにあるべきではありません。


最初の答えは特定の例ですが指数関数的な問題について考えていました。並列計算に関する質問に焦点を当てる3つ目の項目を追加しました。とにかく明確な答えです。
Hernan_eche 2013年

新しい質問に対処しました。
Yuval Filmus 2013年

3

特定の問題(EXPTIME完了など)を一定の時間で解決できるコンピュータを想像することは確かに可能です。このようなコンピュータは「オラクルマシン」と呼ばれ、複雑性理論の研究において重要なツールです。ただし、これらのマシン構築できるとは限りません。

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.