06月05日(Wed) 18:00〜20:20 E会場(-国際会議場204号室)
| 演題番号 | 2E5-OS-09b-7 |
|---|---|
| 題目 | Multi-MaxSATにおけるバンドル法の効果 |
| 著者 | 花田 研太(神戸大学大学院海事科学研究科) 平山 勝敏(神戸大学大学院海事科学研究科) |
| 時間 | 06月05日(Wed) 20:00〜20:20 |
| 概要 | Weighted Max-SAT問題の解法の1つにMulti-MaxSATがある．Multi-MaxSATは，節集合を分割して部分問題にしてから，既存のWeighted Max-SATソルバーで部分問題を繰り返し解く．従来では，分割するときに生じるラグランジュ乗数μの更新には劣勾配法を用いていた．今回，劣勾配法にかわるバンドル法（安定化切除平面法）を実装して実験を行い，性能を評価した． |
| 論文 | PDFファイル |