■ このスレッドは過去ログ倉庫に格納されています
量子コンピュータは数学の証明に使えるか?
- 1 :a4 :2018/12/14(金) 23:25:31.55 ID:66oEO/Sc.net
- 量子コンピュータで2^1億通りの証明に自動定理検証をかけて、証明できているものを
引き出してくるというものです。Groverのアルゴリズムでは、2^5千万時間くらい
かかりますが、ナマズの地震予知の特異点を用いると、O(1億)くらいの時間で
計算できるんじゃないかと。議論しましょう。
総レス数 74
26 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★