研究課題/領域番号 |
24650007
|
研究種目 |
挑戦的萌芽研究
|
配分区分 | 基金 |
研究分野 |
情報学基礎
|
研究機関 | 岡山大学 |
研究代表者 |
神保 秀司 岡山大学, 自然科学研究科, 講師 (00226391)
|
研究期間 (年度) |
2012-04-01 – 2016-03-31
|
研究課題ステータス |
完了 (2015年度)
|
配分額 *注記 |
2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
2014年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2013年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2012年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
|
キーワード | 疑似平方数 / 素数判定 / アルゴリズム理論 / 素数判定アルゴリズム / グラフ理論 / アルゴリズム / 巡回的グラフ / 整数計画ソルバ / カーマイケル数 |
研究成果の概要 |
疑似平方数は、平方数の条件を拡張した形の条件を満たす数である。巨大な疑似平方数に基づいた高速な確定的素数判定アルゴリズムの中の特定の判定条件とカーマイケル数の間の関係についての予想を提案した。カーマイケル数は、フェルマ・テストと呼ばれる素数判定法で判定が極めて困難な数である。提案した予想の解決は、直接確定的素数判定アルゴリズムの高速化には繋がらないが、疑似平方数に関連した理論研究の進展が期待される。
|