2022 Fiscal Year Annual Research Report
Problem Solving with SAT Oracles
| Project/Area Number |
19H04175
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
越村 三幸 九州大学, システム情報科学研究院, 助教 (30274492)
|
|---|
| Project Period (FY) |
2019-04-01 – 2023-03-31
|
| Keywords | Robust MaxSAT / スケジューリング / 提携構造形成問題 |
|---|
| Outline of Annual Research Achievements |
本年度も昨年度に引き続き、(A)実時間システムの最適スケジューリング、(B)推移関係を表すSAT節の削減手法、(C)Robust MaxSATの実装、に取り組み、５件の学術発表を行った。また、当初の予定にはなかった(D) SAT技術のラムゼーグラフ列挙への適用の検討も行った。
(A) 物流センター内の仕分け機の最適化スケジューリングのプロトタイプの拡張の効果を実機シュミレータで行った。実機スケジューリングでは、スケジューリング対象の荷物の数の指数的な組合せのパターンのスケジューリングを行う必要がある。このため、A*アルゴリズムを用いた従来手法では、５個の荷物のスケジューリングが、現実的な時間で計算できる限界であったが、我々の手法では、これを７個まで伸ばせることを実験により確かめた。この結果を利用することにより、実機の搬送能力が従来手法に比べ７％向上することが分かった。
(B) 削減手法の提携構造形成問題（CSG:Coalition Structure Generation problem）への適用の検討を行い、Mc-netsと分割決定木で表現されたCSGを対象に探求を開始した。
(C) 国際会議の論文執筆を進めると共に、Robust MaxSATの新応用への展開を探求した。
(D) 二つのラムゼーグラフを結合してより大きなラムゼーグラフを作る手法をSAT技術を用いて実装した。また、冗長なラムゼーグラフの生成を抑える手法を考案し、その効果を確かめた。
|
| Research Progress Status |
令和4年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和4年度が最終年度であるため、記入しない。
|
