2018 Fiscal Year Research-status Report
Algorithms for Constraint Satisfaction Problems: Deepening and New Directions
| Project/Area Number |
18K11164
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
玉置 卓 京都大学, 情報学研究科, 助教 (40432413)
|
|---|
| Project Period (FY) |
2018-04-01 – 2022-03-31
|
| Keywords | 厳密アルゴリズム / 近似アルゴリズム / 計算困難 / 制約充足問題 / 充足可能性問題 |
|---|
| Outline of Annual Research Achievements |
制約充足問題は様々な分野に現れる普遍的な組合せ問題である. 制約充足問題は, その表現能力によって様々な問題のクラスに分類することができる. 線形計画法や和積形論理式の充足可能性問題 (SAT)はそのようなクラスの例である. 本課題では「どのクラスに対して効率の良いアルゴリズムが存在するか」という, アルゴリズム理論・計算理論における基本的な疑問の解決を目指す. 具体的には, 制約充足問題の種々のクラスに対する (1) 効率の良いアルゴリズムの設計と解析, および (2) 計算困難性の証明, に取り組み, それらの帰結として疑問の解決に接近する. 以下に本年度の主要な成果を述べる.
回路の充足可能性問題とは入力として(組合せ)論理回路が与えられた時に回路が真を出力するような変数への真偽値割当が存在するかどうかを判定する問題である. この問題は代表的なNP 困難問題であり入力サイズの多項式の時間で解くことができないと信じられている. さらに入力として与えられる回路に制限がない場合は総当たり探索より高速なアルゴリズムが知られていない. 本研究では二段回路で出力に近い素子が重み付対称関数(排他的論理和や多数決の一般化)を計算し入力に近い素子が論理積を計算するようなものを扱い総当たり探索より高速なアルゴリズムを開発した. 上記のような回路の充足可能性問題は最大充足可能性問題を含む一般性のある問題であることに注意されたい. さらに, アルゴリズムを拡張して, 定数段数の回路で重み付対称関数を計算する素子の数が限定されているものに対して同様の結果を得た.
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
研究実績の概要で述べた成果は Journal of Computer and System Sciences誌に採録が決定している. それ以外にも制約充足問題に対する厳密アルゴリズムおよび近似アルゴリズムに関する成果がそれぞれ Theor. Comput. Sci.誌および ACM Trans. Algorithms誌から出版されている. また1件の成果について論文が投稿済みである.
|
| Strategy for Future Research Activity |
引き続き制約充足問題の種々のクラスに対する効率の良いアルゴリズムの設計と解析および計算困難性の証明に取り組む. 研究実績の概要および現在までの進捗状況で述べた以外にも制約充足問題に対する厳密アルゴリズムに関する成果を2件得ている. これらを速やかに論文にまとめて投稿する.
|
| Causes of Carryover |
当初考えていた国際会議とは別のところに論文を投稿することになったため旅費の使用時期が変わった.
|
