| 研究課題/領域番号 |
23K11047
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
宋 剛秀 神戸大学, DX・情報統括本部, 准教授 (00625121)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2026年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2025年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2024年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2023年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
|
|---|
| キーワード | SATソルバー / SAT符号化 / 制約最適化問題 / 制約プログラミング |
|---|
| 研究開始時の研究の概要 |
近年，SAT問題を解くプログラムであるSATソルバーの性能が飛躍的に向上している．
本研究の目的は， SATソルバーを用いた高速なSAT型COPソルバーを実現することである．
そのために2つの方法を研究する．1つは，目的関数を表す線形比較制約の MDD を用いた表現とその符号化方法である． もう1つの方法は極小モデル生成を用いた新しい最適化方法である．
COPソルバーはスケジューリング問題，パッキング問題，時間割問題， クラウド上のソフトウェア要素最適配置問題等の組合せ最適化問題に使われるなど実用性が高く， 高速なSAT型COPソルバーを実現できれば産業分野への応用も期待できる．
|
