グレブナー基底計算の理論計算量解析とその効率的な実装
| Project/Area Number |
21K03377
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 12040:Applied mathematics and statistics-related
|
|---|
| Research Institution | Rikkyo University |
|---|
Principal Investigator |
横山 和弘 立教大学, 理学部, 名誉教授 (30333454)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
野呂 正行 立教大学, 理学部, 教授 (50332755)
篠原 直行 国立研究開発法人情報通信研究機構, サイバーセキュリティ研究所, 室長 (70565986)
|
|---|
| Project Period (FY) |
2021-04-01 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2023: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2022: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2021: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Keywords | 計算機代数 / グレブナー基底 / 多項式イデアル / 計算量解析 |
|---|
| Outline of Research at the Start |
多項式イデアルの良い性質を持つ基底であり純粋数学から工学応用等幅広い応用を持つグレブナー基底の効率的計算法として注目を浴びているSBAについて、その優位性を理論的に解明する。さらに、優位性を発揮する高速計算の実現のための実装法の研究を行う。また、実装法の有効性を検証するために応用研究を設定し、そこでは公開鍵暗号の安全性評価に使われている代数方程式の求解を扱う。研究は、理論解析と実装法、そして応用計算での検証という３つのテーマを並行して行う。
|
| Outline of Annual Research Achievements |
理論解析では、イデアルの生成系がアフィン半正則になる場合に既存の計算量解析の検証を行い、その改良およびグレブナー基底の計算過程の正確な記述に成功した。これらの成果として、1件が欧文雑誌に投稿し採択され、もう1件が計算代数幾何の権威ある国際会議MEGAに採択された。また、暗号におけるグレブナー基底計算に関する計算量について国際会議ICIAMで口頭発表を行った。係数にパラメータを持つ多項式因数分解にグレブナー基底計算が適用できることも示した。
アルゴリズムの実装とその有効性検証では、Risa/Asirのマルチスレッド化を行った。F4 アルゴリズムの実装においてreuducer setを固定したベクトル形式での多項式除算とmodular計算による行列簡約の部分を並列化した。実験の結果、8スレッド程度までの並列化では十分な台数効果が得られることが分かった。また、2021年度に考案したnon-compatibleな順序の下でのSBAについて、改めて詳細な実験を行った。実験では、さまざまな例に対し全次数逆辞書式順序グレブナー基底を入力として辞書式順序グレブナー基底の計算を行い、計算時間・中間基底の係数の大きさなどを調べた。結果として、多くの場合に先頭項のみの簡約が計算時間の短縮において有利だが、少数の例で係数の大きさが影響して多項式全体を簡約する場合ほうが有利な場合があることが分かった。応用として、実験計画法におけるある条件を満たす一部実施計画の決定を、あるイデアルの零点計算に帰着させ、それを実際に解くことにより解決した。
応用研究では、多変数公開鍵暗号の安全性の基礎となるMQ問題と呼ばれる「連立2次多変数代数方程式の解を求める問題」をグレブナー基底計算を使って効率的に解くことを引き続き検討し, MQ問題を効率良く解くためのS多項式選択方法を提案し、その効率性を数値実験的で確認した。
|
Report
(3 results)
Research Products
(31 results)
