離散構造をもつ判定問題への連続最適化手法の構築

2017 年度 研究成果報告書

• 研究課題/領域番号: 15H06286
• 研究種目: 研究活動スタート支援
• 配分区分: 補助金
• 研究分野: 数学基礎・応用数学
• 研究機関: 豊橋技術科学大学
• 研究代表者: 木村 慧 豊橋技術科学大学, 工学(系)研究科(研究院), 助教 (00758716)
• 研究期間 (年度): 2015-08-28 – 2017-03-31
• キーワード: 制約充足問題 / アルゴリズム / 数理計画法

研究成果の概要

本研究では，離散構造をもつ判定問題への連続最適化手法の構築として以下の成果を得ることが出来た．
(1) 制約充足問題に対する線形計画法を用いた解空間近似の解析およびアルゴリズム開発を行った．(2) (1)の結果を重要な部分問題クラスであるホーン論理積に対して適用した．そして，近似に用いられる線形計画問題を高速に解くアルゴリズムを提案した．(3) 最適マトロイド分割問題に対するアルゴリズム開発行った．(4) 離散的なパズル問題に対する計算複雑さの解析を行った．

自由記述の分野

離散最適化