2020 Fiscal Year Research-status Report
Development of linear solvers on max-plus algebra and its applications
| Project/Area Number |
19K03624
|
|---|
| Research Institution | Shibaura Institute of Technology |
|---|
Principal Investigator |
福田 亜希子 芝浦工業大学, システム理工学部, 准教授 (70609297)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
渡邉 扇之介 福知山公立大学, 情報学部, 准教授 (80735316)
|
|---|
| Project Period (FY) |
2019-04-01 – 2023-03-31
|
| Keywords | max-plus代数 / min-plus代数 / 超離散ハングリー戸田方程式 / 超離散ハングリーロトカ・ボルテラ系 / 固有値 / 保存量 / 最短経路問題 / ダイクストラ法 |
|---|
| Outline of Annual Research Achievements |
超離散戸田方程式の時間発展におけるソリトンの挙動はある条件の下でバブルソートと一致することが知られている。本研究では，I型超離散ハングリー戸田方程式を運動方程式とする番号付き箱玉系に着目し，複数種の玉で構成されるソリトンがソーティングされるための初期条件に対する十分条件を得た。さらにI型超離散ハングリー戸田方程式の時間発展は多重のバブルソートを同時に行っていると解釈でき，ソーティングを高速化するための発展方程式も得られている。これにより，I型超離散ハングリー戸田方程式を用いた固有値計算の高速化が可能となる。
また，I型超離散ハングリーロトカ・ボルテラ系に基づくmin-plus代数上の固有値計算アルゴリズムについても部分的な成果が得られている。I型超離散ハングリーロトカ・ボルテラ系が持つ複数のパラメータを特定の値に制限した場合の漸近挙動を明らかにし，保存量の存在を示すことに成功した。これらの性質を利用すると，超離散ハングリーロトカ・ボルテラ系を利用してmin-plus代数上の帯行列の固有値を求めるアルゴリズムが定式化できる。
一方，グラフ上の最短経路問題の解は対象とするグラフに対応する隣接行列を係数行列とするmin-plus代数上の線形方程式の解と一致することが知られている。通常の代数系における線形方程式を解くヤコビ法とガウス・ザイデル法はそれぞれmin-plus代数における類似物が存在し，ベルマンフォード法とワーシャルフロイド法にそれぞれ対応する。本研究では，ダイクストラ法に着目し，古典的な線形計算アルゴリズムの超離散化と対応することを部分的に明らかにしている。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
当初の計画通り，I型超離散ハングリー戸田方程式とソーティングアルゴリズムとの対応を明らかにし，研究成果を発表することができている。
また，I型超離散ハングリーロトカ・ボルテラ系とmin-plus代数上の固有値計算アルゴリズムの関係および最短経路問題とmin-plus代数上の線形計算アルゴリズムとの対応についても理解が進んだため，おおむね順調と判断した。
|
| Strategy for Future Research Activity |
I型超離散ハングリーロトカ・ボルテラ系とmin-plus代数上の固有値計算アルゴリズムの関係について，パラメータが任意の値の場合について検討する。また，最短経路問題とmin-plus代数上の線形計算アルゴリズムとの対応に関して得られている研究成果を論文にまとめ公開する。また，II型超離散ハングリー戸田方程式および超離散二次元戸田方程式，II型超離散ハングリーロトカ・ボルテラ系に対応するアルゴリズム，およびそれらの方程式の間のベックルント変換について検討する。
|
| Causes of Carryover |
次年度使用額が生じた理由は，新型コロナウィルスの影響により，参加予定であった国際会議が中止，国内の学会がオンライン開催となり，旅費を使用しなかったため。
次年度は定式化したアルゴリズムの数値実験に使用する計算機を購入予定である。
|
Research Products
(11 results)
