超大規模な半正定値計画の数値計算に関する研究

点击翻译按钮获取中文摘要

半正定値計画問題に対する主双対内点法の変数行列に対し、行列補完理論を導入することにより、この密となる変数行列にある種の疎構造が存在することを証明した。そして、この疎構造を主双対内点法に応用する方法として、conversion版とcompletion版の2通りの方法を提案した。この方法により、変数の個数が多くなる半正定値計画問題を非常に効率よく解くことが可能となった。その結果、変数の数が1千万程度の大規模半正定値計画問題を解くことに成功した。主双対内点法の各反復で解く係数行列が大規模で密となる線形方程式系に対し、クリロフ部分空間法などに代表される様々な反復解法を適用する枠組みを提案した。また、係数行列の構造を活かすため、対称逐次過剰緩和法などの定常反復法を前処理として用いた。そして、その効率性を理論的・実験的に検証した。この方法により、線形制約の個数が多くなる半正定値計画問題を非常に効率よく解くことが可能となった。その結果、制約の数が20万以上の大規模半正定値計画問題を解くことに成功した。さらに、それらの結果を拡張することにより、係数行列が大規模で密となる一般の線形方程式系に対し、クリロフ部分空間法や前処理としての定常反復法を適用する枠組みを構築した。以上の成果を日本応用数理学会やSWoPPで発表することにより、専門分野の研究者に紹介した。さらに、半正定値計画問題に対する主双対内点法を量子化学分野に応用することにより、従来のアルゴリズムでは解くことが困難であった最適化問題を解くことに成功し、それらも論文としてまとめた。