分岐プログラムに対する充足アルゴリズム構築による下界証明の研究
Project/Area Number |
22K11910
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60010:Theory of informatics-related
|
Research Institution | University of Hyogo |
Principal Investigator |
照山 順一 兵庫県立大学, 情報科学研究科, 助教 (40709862)
|
Project Period (FY) |
2022-04-01 – 2025-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2024: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2023: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
Keywords | 充足可能性問題 / 分岐プログラム / k-CNF / k-Sub-SAT / 計算量理論 / 厳密アルゴリズム |
Outline of Research at the Start |
本研究では,論理回路と関連の深い計算モデルである分岐プログラムを入力とする充足可能性問題を扱う.自明な解法である全探索よりも十分に高速なアルゴリズムの構築を目指し,さらにはアルゴリズムの構築法を計算下界証明へ応用する研究を行う.本研究の大きな目標は,P vs. NP 問題解決に向けた一歩として未解決となっているクラスNC1 とNQP を分離することである.
|
Outline of Annual Research Achievements |
分岐プログラムの充足可能性問題とは,与えられた分岐プログラムが値1を出力するような変数入力(0/1割当)が存在するかどうかを判定する問題である.本研究では,未解決問題である計算量クラスNEXPとNC1の分離を導くため,幅限定分岐プログラムに焦点をあて自明な解法である全探索アルゴリズムよりも高速な充足可能性判定アルゴリズムの開発を目標としている. 本年度は,k-Sub-SAT問題に対する非自明なアルゴリズムを設計することにより,幅2分岐プログラムのサイズが2乗に近い場合まで非自明な計算時間を達成する多項式領域決定性アルゴリズムの設計に成功した.これまで線形サイズの幅2分岐プログラムに対する充足可能性判定アルゴリズムが得られていたが,対応可能なサイズが更新されたことになる. k-Sub-SAT問題とは,入力としてk-CNF論理式(節の大きさが高々kであるCNF論理式)と2を法とする連立線形方程式が与えられ,その両方を満たす変数割り当てが存在するかを判定する問題である.この問題はk-SATを含む問題あり,kが3以上の場合はNP完全であることは明らかであるが,k=2においてもNP完全であることが知られている.既存研究では,k-Sub-SAT問題に対して全割当よりも高速な充足可能性判定アルゴリズムとして,指数領域決定性アルゴリズムや多項式領域乱択アルゴリズムが知られている.本研究では,k-Sub-SAT問題に対する多項式領域決定性アルゴリズムの開発に成功し,既存の多項式領域乱択アルゴリズムの計算時間とほぼ同等の性能を達成した.このアルゴリズムをサブルーチンとして用いることにより,幅2分岐プログラムの充足可能性問題に対する多項式領域決定性アルゴリズムを開発している. 現在,本研究成果に関して論文投稿準備中である.
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
非自明な充足可能性判定アルゴリズムを持つ幅2分岐プログラムのサイズは,これまで線形サイズであったが,本研究によりほぼ2乗まで改善された.しかし,本研究では多項式サイズまで扱うことを目標としており,達成には依然としてほど遠い状況であり,さらなる改良が必要となっている.
|
Strategy for Future Research Activity |
本年度得られた研究成果について,共同研究者と綿密な打ち合わせを行い,国際会議投稿および学術雑誌投稿に向けて準備を進める予定である. また,多項式サイズの幅2分岐プログラムに対する充足可能性判定アルゴリズムに関する研究に加えて,線形サイズの幅3分岐プログラムに対する充足可能性判定アルゴリズムの設計にも取り組む.
|
Report
(1 results)
Research Products
(2 results)