量子コンピュータは数学の証明に使えるか？at MATH量子コンピュータは数学の証明に使えるか？ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:a4 18/12/14 23:25:31.55 66oEO/Sc.net 量子コンピュータで2^1億通りの証明に自動定理検証をかけて、証明できているものを 引き出してくるというものです。Groverのアルゴリズムでは、2^5千万時間くらい かかりますが、ナマズの地震予知の特異点を用いると、O(1億)くらいの時間で 計算できるんじゃないかと。議論しましょう。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch