2022 Fiscal Year Research-status 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) がΣ2P完全となることを示し，この問題を解く厳密アルゴリズムを提案した．具体的には，近年発展が著しいSATソルバーと呼ばれる効率的な重み付き部分最大SAT問題を解くプログラムをサブルーチンとして用いて，最適解の上界値と下界値を段階的に狭めていくことで最適解を得るアルゴリズムを開発した．本解法の特徴は，防御側の視点での最適化問題と，攻撃側／敵対者側の視点での最適化問題を交互に解くことである．また，クリーク分割問題 (Clique Partition Problem, CPP) と呼ばれる汎用的な問題において，敵対者が存在するRobust CPPが，Robust Weighted Partial MaxSATとして定式化可能であることを示した．この結果は人工知能分野の難関国際会議であるPacific Rim International Conference on Artificial Intelligence (PRICAI-2022)でフルペーパーとして採録されている．また，Symposium on Multi Agent Systems for Harmonization 2022 Winter Symposium (SMASH22)で発表を行い，奨励賞を受賞している．
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
COVID-19の影響により会議開催がオンラインとなり，出張旅費等の支出が無かったため本年度は経費の支出が不要となった等のアクシデントはあったものの，研究自体は当初の予定を超えて進捗し，研究開始の初年度に難関国際会議に採択される等，予想を上回る優れた成果が得られている．
|
| Strategy for Future Research Activity |
最終年度である2023年度は，これまでの成果をさらに発展させる．具体的にはRobust Weighted Partial MaxSAT問題の現実的な応用事例を探求し，これらの事例において効率的なアルゴリズムの開発を行う．得られた成果は国際論文誌への投稿論文としてまとめる予定である．
|
| Causes of Carryover |
COVID-19の影響により国際会議や研究集会等がオンライン開催となり，予定していた支出が生じなかった．残額は翌年度に繰り越し，COVID-19以降高騰している航空運賃,および投稿予定の国際論文誌でのオープンアクセス経費等に充当する予定である．
|
