| 研究課題/領域番号 |
21K11828
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
番原 睦則 名古屋大学, 情報学研究科, 教授 (80290774)
|
|---|
| 研究分担者 |
田村 直之 神戸大学, DX・情報統括本部, 名誉教授 (60207248)
宋 剛秀 神戸大学, DX・情報統括本部, 准教授 (00625121)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2024-03-31
|
| 研究課題ステータス |
完了 (2023年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
|
|---|
| キーワード | 解集合プログラミング / 巨大近傍探索 / 組合せ最適化問題 / 時間割問題 / 車両装備仕様問題 |
|---|
| 研究開始時の研究の概要 |
命題論理の充足可能性判定(SAT) 技術を用いて系統的探索と確率的局所探索を統合的かつ効率的に扱うアルゴリズム技法，およびソルバーの研究開発を進める．また，電力網問題・時間割問題等，社会的に重要な応用研究を通じて，SAT 技術の特長を活かした技法の利点・有効性・実用性を明らかにする．
|
| 研究実績の概要 |
3年計画の最終年度となる2023年度は，優先度付き巨大近傍探索 (LNPS) に基づく最適化ソルバー heulingo の開発を完了し，各種ベンチマークを用いた総合的な性能評価を行った．その結果，提案ソルバー heulingo は既存の高速ソルバー clingo を大きく上回る性能を示した．またさらに，従来の巨大近傍探索 (LNS) に基づく高速ソルバー ALASPO と比較して，多くの問題に対してより良い解を求めることに成功した．今年度の研究業績は，国際学会での受賞1件，国際ソルバー競技会での優勝1件と準優勝1件，国内論文誌1件，査読付き国際会議論文5件，査読付き国内ワークショップ論文1件，学会発表5件，図書1件である．
本研究の目的は，SAT技術を用いて系統的探索と確率的局所探索を統合的かつ効率的に扱うアルゴリズム技法およびソルバーの実現である．研究期間全体を通じて，組合せ最適化問題を解く優先度付き巨大近傍探索(LNPS; Large Neighborhood Prioritized Search) の提案，解集合ソルバー clingo 上でLNPS の実装，各種ベンチマークを用いた性能評価を行った．
LNPS はメタ戦略の一種であり，初期解から開始し，現在の解に対して破壊と優先度付き系統的探索を用いた再構築を交互に繰り返すことによってより良い解を探索する手法である．LNPS の特長は，近傍の可変性により破壊演算子に過度に依存しない柔軟な探索を実現できる点である．巡回セールスマン問題や最小数独生成問題などの各種ベンチマークを用いた実験の結果，開発したheulingo ソルバーは，既存の高速ソルバー clingo や ALASPO と比較して，多くの問題に対してより良い性能を示し，提案手法の有効性を確認できた．これらの成果の一部は，知識表現および推論分野のトップカンファレンス KR 2024 (CORE2023 Rank: A*) に論文を投稿中である．
|
