量子コンピュータは数学の証明に使えるか?
at MATH
1:a4
18/12/14 23:25:31.55 66oEO/Sc.net
量子コンピュータで2^1億通りの証明に自動定理検証をかけて、証明できているものを
引き出してくるというものです。Groverのアルゴリズムでは、2^5千万時間くらい
かかりますが、ナマズの地震予知の特異点を用いると、O(1億)くらいの時間で
計算できるんじゃないかと。議論しましょう。
レスを読む最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
1817日前に更新/20 KB
担当:undef