博士たちの愛する素数 徳山 豪 東北大学 Prime numbers that professors love

Slides:



Advertisements
Similar presentations
1 前回の練習問題 F 29 = {1, 2,…, 28} において, g = 11 が生成元であることを確 かめ, F 29 の元とその離散対数との関係を図示せよ. x = 1,..., 28 に対し, g x mod 29 を計算すればよい
Advertisements

授業展開#12 コンピュータの扱いにくい問 題. 扱いにくい問題  処理時間がかかる。  メモリを大量に必要とする。  プログラムの優劣、アルゴリズムの優劣 を比較するためには、標準的なコン ピュータで比較する必要がある。  処理時間を計るのに、コンピュータのモ デルとして、チューリングマシンを考え、
素数判定の効率性について 東邦大学理学部情報科学科卒業研究発表会 指導教員 白柳 潔 提出者 後藤 雄大.
1 設計基礎コース もう一度学ぶ材料力学の基礎 座屈 ( Buckling ) 長軸に軸方向圧縮力を作用させると、ある荷 重で急に軸が曲がる。 この急に曲がる荷重条件を探る。 X の位置での曲げモーメントは たわみの微分方程式は.
小テスト解説 問1 次の中置記法で書かれた数式を、前置記法、後 置記法に直せ。 12 × 23 +( 34 + 45 ) × ( 56 + 67 ) × 78 + × 23 +( 34 + 45 ) × ( 56 + 67 ) × 78 + 89  前置記法 12 x 23 + (+ 34.
第1章 場合の数と確率 第1節 場合の数  2  場合の数 (第2回).
Probabilistic Method 7.7
2章 文字の式 文字を使った式(第2時) 第1時の内容はスライド4~7の板書写真を参考にしてください。1時間で行こうと思えば行けます。
香川大学工学部 富永浩之 情報数学1 第1-1章 除法定理と整除演算 香川大学工学部 富永浩之
3.2.3~3.3 D3 川原 純.
数理統計学(第四回) 分散の性質と重要な法則
豊中高校土曜講座「数学セミナー2003」 プラトン多面体の数学 なぜ正多面体は5種類しかないのか 大阪府立豊中高等学校 深川 久.
黒澤 馨 (茨城大学) 情報セキュリティ特論(4) 黒澤 馨 (茨城大学) 2017/3/4 confidential.
Problem J Tile Puzzle 原案:野田 担当:平野,吉田,泉,松本.
近似アルゴリズム 第10章 終了時刻最小化スケジューリング
Q q 情報セキュリティ 第6回:2005年5月20日(金) q q.
Extremal Combinatrics Chapter 4
6学年 算数 ~ 式 と 計 算 ~.
論理式の表現を数学的に取り扱いやすくするために代数学の助けを借りる.
香川大学工学部 富永浩之 情報数学1 第2-2章 合同式の逆元と応用 香川大学工学部 富永浩之
共通鍵と公開鍵 暗号のしくみ 情報、数学ハイブリッド版.
A path to combinatorics 第6章前半(最初-Ex6.5)
8.Intersecting Families
5.5 The Linear Arboricity of Graphs (グラフの線形樹化数)
暗号技術 ~公開鍵暗号方式の仕組み~ (3週目)
博士たちの愛する幾何 徳山 豪 東北大学 Geometry that professors love
数論システム NZMATH の 開発と応用 巨大な自然数の高速計算に すぐ使えるプログラム 理工学研究科 数理情報科学専攻
実例で学ぶプログラミング VBAを用いて簡単なゲームを作ろう 徳山 豪 東北大学情報科学研究科 システム情報科学専攻 情報システム評価学分野.
k 個のミスマッチを許した点集合マッチング・アルゴリズム
博士たちの愛する線形代数 徳山 豪 東北大学 Linear algebra that professors love
数学のかたち 暗号を作ろう Masashi Sanae.
ディジタル回路 3. 組み合わせ回路 五島 正裕 2018/11/28.
遺伝的アルゴリズムへの 統計力学的アプローチ 大阪大学 大学院理学研究科 鈴木譲 CISJ2005 於早稲田大学理工学部
情報セキュリティ  第11回 デジタル署名.
Basic Tools B4  八田 直樹.
1.標本平均の特性値 2.母分散既知の標本平均の分布 3.大数法則と中心極限定理
醜いアヒルの子の定理 平成15年6月6日(金) 発表者 藤井 丈明.
5.RSA暗号 素因数分解の困難性を利用した暗号.
Extractor D3 川原 純.
25. Randomized Algorithms
計算量理論輪講 chap5-3 M1 高井唯史.
博士たちの愛する確率 徳山 豪 東北大学 Probability that professors love
Q q 情報セキュリティ 第6回:2007年5月25日(金) q q.
母分散の信頼区間 F分布 母分散の比の信頼区間
進化ゲームと微分方程式 第15章 n種の群集の安定性
Periodic solution of van der Pol differential equation.
A path to combinatorics 第3章後半(Ex3.8-最後)
生物情報ソフトウェア特論 (2)たたみ込みとハッシュに 基づくマッチング
香川大学創造工学部 富永浩之 情報数学1 第1-3章 素数と素因数分解 香川大学創造工学部 富永浩之
B03 量子論理回路の 最適化に関する研究 西野哲朗,垂井淳,太田和夫,國廣昇 電気通信大学 情報通信工学科.
代数体上で定義された楕円曲線の 素因数分解への応用
Q q 情報セキュリティ 第5回:2006年5月19日(金) q q.
香川大学工学部 富永浩之 情報数学1 第1-2章 最大公約数とユークリッドの互除法 香川大学工学部 富永浩之
博士たちの愛する円周率 徳山 豪 東北大学 “PI” that professors love
ガウス分布における ベーテ近似の理論解析 東京工業大学総合理工学研究科 知能システム科学専攻 渡辺研究室    西山 悠, 渡辺澄夫.
Additive Combinatorics輪講 3章前半
1.基本概念 2.母集団比率の区間推定 3.小標本の区間推定 4.標本の大きさの決定
Additive Combinatorics輪講 6章
ゴールドバッハ予想って? 情報科学科4年 小野澤純一.
博士たちの愛する組合せ論 徳山 豪 東北大学 Combinatorics that professors love
Q q 情報セキュリティ 第6回:2005年5月26日(金) q q.
問2 次の問に答えよ. (ただし,握手補題,オイラーの定理,Oreの定理 は授業で紹介したものとする) (1) 握手補題を書け.
Q q 情報セキュリティ 第8回:2004年5月28日(金) の補足 q q.
香川大学創造工学部 富永浩之 情報数学1 第2-2章 合同式の逆元と応用 香川大学創造工学部 富永浩之
ハッピー数に関する擬似概念 白柳研究室  渡邉 侑.
情報生命科学特別講義III (3)たたみ込みとハッシュに 基づくマッチング
Q q 情報セキュリティ 第7回:2005年5月27日(金) q q.
@kagamiz (Jayson Sho Toma)
二次方程式と因数分解 本時の流れ ねらい「二次方程式を、 因数分解で解くことができる」 ↓ AB=0ならば、A=0,B=0の解き方の説明
グラフの帯域幅連続多重彩色 を求めるアルゴリズム (Bandwidth Consective Multicolorings of Graphs) 西関研究室 西川和秀.
Presentation transcript:

博士たちの愛する素数 徳山 豪 東北大学 Prime numbers that professors love Mathematics that the professor loved 徳山 豪 東北大学 Prime numbers that professors love 博士たちの愛する素数

素数の魅力 素数:1と自分以外の約数を持たない自然数 無数にあるか?どのくらいの頻度であるか? 素数の判定法はあるか? 因数分解の不思議  2,3,5,7,11,13,17,19,23,29,31,37. 無数にあるか?どのくらいの頻度であるか? 素数分布定理 素数の判定法はあるか? 因数分解の不思議  素数を法とする数の世界: 有限体の世界

古くて役に立つ数論 百五減算: 塵劫記(吉田光由、1627) 百五減算: 塵劫記(吉田光由、1627) 碁石がいくつかあります。7個づつに分けると2個余ります。5個づつに分けると1個余ります。3個づつに分けると1個余ります。 碁石はいくつありますか? ただし、碁石は最大で180個しかありません。

中国人剰余定理 (Chinese reminder theorem) 互いに素な数n1,n2,..nkの積nを考える。 ni未満の非負整数miを任意に与える。   ⇒    m≡mi (mod ni) i=1,2,..,k を満たすn未満の非負整数mは必ず1つだけ存在する 孫子(BC5世紀)に名前の由来があるらしい 百五計算と同等、ユークリッド(BC3世紀)の互助法を利用して計算できる。

数のべき乗の不思議 徳山が子供のころ見つけたこと 1から9までの数のべき乗の1の桁には面白いルールがある。 なぜだろう? 1から9までの数のべき乗の1の桁には面白いルールがある。 なぜだろう? 1 2 3 4 5 6 7 8 9 1 4 9 6 5 6 9 4 1 1 8 7 4 5 6 3 2 9 1 6 1 6 5 6 1 6 1 

素数判定と乱数 与えられた数が素数であるかどうかの判定 フェルマテスト フェルマテストにパスしないものは素数でない  与えられた数が素数であるかどうかの判定  フェルマテスト  p が素数なら、すべての数a < p について ap-1 –1 はpで割り切れる pが普通の数だと、確率1/2以下でしか成り立たない フェルマテストにパスしないものは素数でない パスしたら、素数か、「カーマイケル数」  素数のみを選び出すにはどうするか? ラビンテスト 少し簡単なバージョン(ここではこちらを紹介)

素数判定アルゴリズム ランダムにa<p を100個選ぶ。 a(p-1)/2 (mod p)を計算する 全部1になったら、素数でない テストにパスしたら、他の数のべき乗かどうか調べる べき乗になっているかどうかは手軽にわかる 全てパスすれば素数

フェルマの小定理 定理1: 自然数b<pに対して、bp-1のpでの剰余は1になる(1と合同という) 定理1: 自然数b<pに対して、bp-1のpでの剰余は1になる(1と合同という) 証明: (1+x)pを展開してみよう 定理2  b(p-1)/2は1または-1と合同である。また、-1になる数はp未満の自然数全体の半数である 証明: 1.方程式の解の数を考えよう    x (p-1)/2 = 1 の解は(p-1)/2個しかない

フェルマの小定理が成立するのは 素数だけか? オイラーの定理  任意の自然数nと、nと互いに素な自然数bに対して       はオイラー関数 n以下の、nと互いに素な数の個数  オイラー関数の値がn-1になるのは素数だけ。  n = pqr なら(p-1)(q-1)(r-1)となる

フェルマの小定理が成立するのは 素数だけか?  奇数素数の積 n=pqrと、nと互いに素な自然数bに対して   とすると、 n = 3 x 11 x 17 =561 だと?(カーマイケル数) 素数判定のアイデア: カーマイケル数だと、(n-1)/2乗で1になってしまう

素数判定アルゴリズムの正当性 中国人剰余定理を利用して証明しよう 定理 (素数判定定理) 奇数の合成数nが、素数のべき乗でないとき、 定理 (素数判定定理)  奇数の合成数nが、素数のべき乗でないとき、  a (n-1)/2 ≡ -1になるaが存在すれば、   a (n-1)/2 が1,-1以外になる数が存在する。  また、そのような数の個数は(n-1)/2以上 中国人剰余定理を利用して証明しよう

証明 a (n-1)/2 ≡ -1 mod n n = pe m = km 中国人剰余定理から、次のようなbが存在   b ≡ a mod k b ≡ 1 mod m b (n-1)/2 ≡ -1 mod k b (n-1)/2 ≡ 1 mod m b (n-1)/2 mod n は1でも-1でもない

素数判定アルゴリズムの正当性 フェルマの小定理と素数判定定理から、 a (n-1)/2 のnでの剰余を計算して   1または-1でなければ、nは必ず合成数   毎回1なら、高い確率で素数でない   1とー1が混ざれば、高い確率で素数

素数判定アルゴリズムの正答率 素数であり、テストをパスしない確率は? 合成数であり、テストをパスしてしまう確率は?  素数であり、テストをパスしない確率は?  100個のaで全てa (p-1)/2 = 1 確率 1/2100 合成数であり、テストをパスしてしまう確率は?  a で-1になるものがあり、100個のaで全て1かー1になる 確率1/2100