2023 Fiscal Year Annual Research Report
Challenge to Sigma-2P complete problems: moving up in the polynomial hierarchy
| Project/Area Number |
22K19813
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
横尾 真 九州大学, システム情報科学研究院, 教授 (20380678)
|
|---|
| Project Period (FY) |
2022-06-30 – 2024-03-31
|
| Keywords | Σ2P完全問題 / MaxSAT / robust solution |
|---|
| Outline of Annual Research Achievements |
本年度は昨年度に引き続き，Σ2P完全と呼ばれる，多項式階層において困難さのレベルがNP完全問題よりも一段階上のクラスの問題の解法の検討を行った．具体的には重み付き部分最大Satisfiability Problem (Weighted Partial MaxSAT) と呼ばれる典型的なNP完全問題（最適化問題としてはNP困難問題）を解く際に，敵対者が存在して解の一部を改竄する可能性を考慮し，改竄の影響を最小化する解を求める問題 (Robust Weighted Partial MaxSAT) の新たな応用事例を考察し，昨年度に検討を行ったロバストクリーク分割問題に加えて新たな評価実験を行った．これらの新しい内容を加えることにより，昨年度に発表した国際会議論文を拡張して国際論文誌論文を投稿予定である．さらに，Robust Weighted Partial MaxSATと同様のアイデアを用いて，一般的な離散領域での凸性を満たす制約下で，学生と学校の望ましい組合せを求める両方向マッチングにおいて，学生が初期保有である学校に割り当てられる権利を保有する際に，各学生に少なくとも初期保有と同等の学校を割り当てることを保証する，著名なトップトレーディングサイクルズメカニズムを拡張した，耐戦略性なメカニズムを開発した．本成果は人工知能分野のトップジャーナルであるArtificial Intelligenceに採録されている．
|
