| 研究課題/領域番号 |
20H04145
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60020:数理情報学関連
|
|---|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
村松 正和 電気通信大学, 大学院情報理工学研究科, 教授 (70266071)
|
|---|
| 研究分担者 |
山下 真 東京工業大学, 情報理工学院, 教授 (20386824)
奥野 貴之 成蹊大学, 理工学部, 准教授 (70711969)
蛯原 義雄 九州大学, システム情報科学研究院, 教授 (80346080)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| キーワード | 半正定値計画 / 錐線形計画 / ２次錐計画 / 数理最適化 |
|---|
| 研究成果の概要 |
機械学習でよく用いられるRectified Linear Unitの特性を活かしたスモールゲイン定理を導出した。また、2次制約付き2次計画問題（QCQP）の半正定値計画（SDP）緩和条件を解析し、森構造や同時三重対角化可能な場合への適用を示した。さらに、悪条件下のSDPにおいて、強い最適性条件（SOSP点）への収束を保証するアルゴリズムを開発し、従来の手法と比較して局所的な収束性を強化した。そのほかに、リカレント・ニューラルネットワークの安定性解析、正定値錐上の制約付き最適化問題の改善、および2部グラフを用いたQCQPの解析等を行った。また、悪条件SDPの完全解法に関する理論も構築した。
|
| 自由記述の分野 |
連続最適化
|
| 研究成果の学術的意義や社会的意義 |
本研究は、機械学習や最適化理論において進展をもたらすものである。例えば、Rectified Linear Unitを用いたスモールゲイン定理の導出により、安定性解析がより正確かつ効率的になる。また、QCQPに関する研究は、従来より大きなQCQPを高速に安定的に解くことを可能にしたので、応用の幅が広がった。SOSPへの収束の証明や悪条件の錐線形計画問題を厳密に解く研究は、理論を深めるものとして重要なものであり、今後の進展が待たれる。全体として、錐線形計画に関連するこれらの技術は、最適化問題の理論的な深まりと実践的応用を促進するものである。
|
