| 研究課題/領域番号 |
20H04145
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60020:数理情報学関連
|
|---|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
村松 正和 電気通信大学, 大学院情報理工学研究科, 教授 (70266071)
|
|---|
| 研究分担者 |
山下 真 東京工業大学, 情報理工学院, 教授 (20386824)
奥野 貴之 成蹊大学, 理工学部, 准教授 (70711969)
蛯原 義雄 九州大学, システム情報科学研究院, 教授 (80346080)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
17,030千円 (直接経費: 13,100千円、間接経費: 3,930千円)
2023年度: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円)
2022年度: 4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
2021年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2020年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
|
|---|
| キーワード | 錐線形計画 / 退化 / 悪条件 / 半正定値計画 / 制御 / ２次錐計画 / リーマン多様体 / ２次制約２次計画 / 面的削減法 / 共正値計画 / 悪条件問題 / 面削減法 / 双対理論 |
|---|
| 研究開始時の研究の概要 |
錐線形計画の実用化において大きな障害となっているのが「悪条件な問題」 の存在である。悪条件の極限として退化がある。悪条件あるいは退化した錐線形計画問題 は実用において頻繁に出現するにもかかわらず、従来のアルゴリズムでは解くことができない。本研究は、錐線形計画問題における悪条件性に関してその理解を深め、またそのような問 題に対応する新しいアルゴリズムを開発することにより、錐線形計画の裾野を広げ、実用に足る段階へと高める。
|
| 研究実績の概要 |
2020年度に引き続き以下の研究を実施した。
1. l2+誘導ノルムに基づくリカレント・ニューラルネットワークの安定性解析手法を，制御理論分野で非線形系の解 析において有効であることが広く知られている積分二次制約手法の枠組みに拡張した.
2. 安定なシステムは正定値錐の点として表現できるという事実に基づき, この同定問題を正定値錐上の制約付最適化問題として定式化した. この問題を, リーマン多様体上の問題としてみなすことで2020年度に開発した逐次２次最適化手法の改良版を適用し, 数値実験結果においてその優位性を実証した.
3. ２次制約２次計画(QCQP)に対する半正定値計画緩和の数理的構造の解析を行った。特にQCQPの持つ行列を森構造から２部グラフに拡張した場合に注目をした。非対角成分が非正となっているようなQCQPに対して半正定値計画緩和が厳密な最適値を与えることは既存研究によって知られていたが，これを２部グラフを用いて証明可能なことを示しており，今回の研究は，より多くの場合を含む解析方法となっている。また、二次錐計画問題について，等式条件と錐条件に一部を分離することで数値的な誤差が小さくなる場合があることを小規模な問題で確認した。
4. 半正定値計画(SDP)において、「主問題双対問題ともに内点許容解が存在するならば両者の最適解を求められる」というオラクルを仮定すれば、一般の（悪条件の）SDP を「完全に解く」ことができることを示した。「完全に解く」という概念は、元問題の許容性に従ってできる限りの情報を導き出すことに相当する。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
前年に引き続き、各自が独立して研究を実施した。論文もでてきており、順調に進んでいると考えられる。
|
| 今後の研究の推進方策 |
これも前年に引き続いてであるが、今後はできる限り対面で議論する機会を設けて、お互いの研究が交わるようにしたい。
|
