| Co-Investigator(Kenkyū-buntansha) |
藤澤 克樹 中央大学, 理工学部, 准教授 (40303854)
山本 芳嗣 筑波大学, 大学院・システム情報工学研究科, 教授 (00119033)
久野 誉人 筑波大学, 大学院・システム情報工学研究科, 准教授 (00205113)
繁野 麻衣子 筑波大学, 大学院・システム情報工学研究科, 准教授 (40272687)
村松 正和 電気通信大学, 電気通信学部, 准教授 (70266071)
|
|---|
| Research Abstract |
本研究の目的は,非線形半正定値計画問題に対する主双対内点法を開発することである.半正定値計画問題は線形計画問題のような多面体ではない閉凸錐上の最適化問題であることから,漸近的な最適値は存在しても,最適解は存在しない(最適値に収束する点列が発散する)という現象が頻繁に発生する.このため線形半正定値計画問題に対する主双対内点法において,最適性の判定は常に数値的な困難をともなう.最適解の精度は,応用先である組合せ最適化問題やロバスト最適化問題に多大な影響をもたうす.このような理由により,線形半正定値計画問題の解法に対して,数値的な安定性を保証するためのさまざまな工夫が提案されてきた.非線形半正定値計画問題に対する主双対内点法を開発する上で,こうした数値的安定性に対する配慮はさらに必要不可欠である.本研究では特殊な同次モデルを用いることで,数値的な不安定さを軽減させることを試みた.この結果,凸非線形半正定値計画問題に対して,1.許容解の存在あるいは狭義許容解の存在を仮定しなくとも,有界で自明な初期点をもつパスが存在し,2.任意のパスの集積点は同次モデルの解であり,3.元の問題が解をもつのであれば,その集積点から有界な解が算出でき,4.元の問題が強非許容である場合は,Lipschitz連続の仮定のもとで,その集積点から非許容性を保証でき,さらに特に問題が線形である場合は,5.多項式時間の反復で十分な精度の解が得られることが保証できる,同次モデルと同次アルゴリズムの提案を行った.
|
