評価の改良とは? わかりやすく解説

評価の改良

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 10:07 UTC 版)

AKS素数判定法」の記事における「評価の改良」の解説

全体時間支配しているのは、第5ステップ時間であり、ひいては r {\displaystyle r} の大きさである。したがって、実は r {\displaystyle r} は ⌈ 16 log ⁡ ( n ) 5 ⌉ {\displaystyle \lceil 16\log(n)^{5}\rceil } よりも小さく定まるということ証明できれば計算量評価改善することができる。 篩理論より r = O ( log ⁡ ( n ) 3 ) {\displaystyle r=O(\log(n)^{3})} であるということ分かるので、実際にアルゴリズムは O ~ ( log ⁡ ( n ) 7.5 ) {\displaystyle {\tilde {O}}(\log(n)^{7.5})} で動作する。 更に、いくつかの証明されていない仮説認めるならば、 r {\displaystyle r} の評価をより小さくできる。 アルチン予想認めるならば r = O ( log ⁡ ( n ) 2 ) {\displaystyle r=O(\log(n)^{2})} である。 ソフィー・ジェルマン素数密度予想正しいと仮定すれば、 r = O ~ ( log ⁡ ( n ) 2 ) {\displaystyle r={\tilde {O}}(\log(n)^{2})} である。 これらの仮説はともに一般リーマン仮説認めれば証明できる多く数学者リーマン仮説正しいと信じていることを考えればr = O ( log ⁡ ( n ) 2 ) {\displaystyle r=O(\log(n)^{2})} つまり、AKSアルゴリズム時間的計算量が O ~ ( log ⁡ ( n ) 6 ) {\displaystyle {\tilde {O}}(\log(n)^{6})} である見込みは高い。

※この「評価の改良」の解説は、「AKS素数判定法」の解説の一部です。
「評価の改良」を含む「AKS素数判定法」の記事については、「AKS素数判定法」の概要を参照ください。


評価の改良

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/26 18:43 UTC 版)

スキューズ数」の記事における「評価の改良」の解説

スキューズの与えたこれらの見積もりは非常に大きいため、より小さな評価与え研究進められた。それは、コンピュータ用いてリーマンゼータ関数零点計算することによって行われるLehman (1966) が示したところによると、1.53 × 101165 から 1.65 × 101165 の間に π(x) > li(x) となるような整数 x が連続して 10500 個以上ある。H. J. J. te Riele (1987) は上からの評価を約 7 × 10370 にまで、Bays & Hudson (2000) は約 1.3983 × 10316 にまで下げ、その付近に π(x) > li(x) なる x が存在することを示した一方、Rosser & Schoenfeld (1962) は、x < 108 においては常に π(x) < li(x) であることを示した。この記録は Brent (1975) によって 8 × 1010 にまで、Kotnik (2008) によって 1014 にまで更新された。 正確にいつ初めて π(x) が li(x) が追い抜くのかは、未解決の問題である。それどころか、π(x) > li(x) となる具体的な x の値はひとつも知られていない。 Wintner (1941) は、π(x) > li(x) なる x の割合は正であることを示し、Rubinstein & Sarnak (1994) はその割合がおよそ 0.00000026 であることを示した

※この「評価の改良」の解説は、「スキューズ数」の解説の一部です。
「評価の改良」を含む「スキューズ数」の記事については、「スキューズ数」の概要を参照ください。

ウィキペディア小見出し辞書の「評価の改良」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「評価の改良」の関連用語

評価の改良のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



評価の改良のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのAKS素数判定法 (改訂履歴)、スキューズ数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS