量子コンピューティングとチューリングマシン：チューリングマシンはまだ正確な尺度ですか？
先週の授業で、私の教授はコメントし、チューリング機械は計算可能なものの標準的な尺度/モデルとして使用され、その主題の議論の有用な基盤であると述べました。彼女はまた、チューリング機械のすべてのバリアントが、互いに計算的に同等であることが実証されていることを確認しました。W 私はコメントし、昨日、計算能力に関して、いくつかのチューリングマシンが非常に単純なものを計算するのに非常に長い時間がかかることがあることに気づきました。必要な手順。 彼女は、クラスの談話に関して、チューリングマシンでの特定のアルゴリズムの実行時間は、計算可能性の定義、または計算可能性を測定する能力を変更しないと述べました。「私たちは、この時点で効率的に計算できるものではなく、計算可能なものを心配しています。」そのため、チューリングマシンのテープの数が増えても問題ありません。テープの数が増えれば、より少ないステップで計算できるようになります。さて、計算できる速度ではなく、計算可能なものに本当に焦点を合わせていると思います。 この点については、これまでのところ、異常に大きな漸近的な時間と空間の複雑さを持つアルゴリズムが、実際には計算可能なものの限界を実際に定義しているため、気になります。 だから、私はいくつかの質問があります： 量子チューリングマシンのモデルがあるとします。これは、「通常の」チューリングマシンと同等でなければなりません。 ですから、この質問に対する答えは、この投稿を書いた私の理由に向かっていると思います。量子コンピューティング技術は、チューリングマシンを介して計算可能なものの古典的な定義を時代遅れにしますか？ これは私の頭の上にありますか、この投稿を削除する必要がありますか？私は早熟であることを意味するものではありません。私のような質問は見ていません。