離散凸最適化ソルバとデモンストレーションソフトウェア

抄録

マトロイド・劣モジュラ関数理論の発展形である離散凸解析の枠組みの中で,離散最適化問題を効率的に解く各種アルゴリズムがこの十年程度の間に提案されてきた.その成果を応用分野の研究者・実務家が利用できる環境を構築することを目指して,関連するアルゴリズムを紹介するデモンストレーションソフトウェアと,アプリケーションソフトウェアを開発してWeb上に公開した.その概要を報告する.