研究課題/領域番号 |
22K11910
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60010:情報学基礎論関連
|
研究機関 | 兵庫県立大学 |
研究代表者 |
照山 順一 兵庫県立大学, 情報科学研究科, 准教授 (40709862)
|
研究期間 (年度) |
2022-04-01 – 2025-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
キーワード | 充足可能性問題 / 分岐プログラム / k-CNF / k-Sub-SAT / 計算量理論 / 厳密アルゴリズム |
研究開始時の研究の概要 |
本研究では,論理回路と関連の深い計算モデルである分岐プログラムを入力とする充足可能性問題を扱う.自明な解法である全探索よりも十分に高速なアルゴリズムの構築を目指し,さらにはアルゴリズムの構築法を計算下界証明へ応用する研究を行う.本研究の大きな目標は,P vs. NP 問題解決に向けた一歩として未解決となっているクラスNC1 とNQP を分離することである.
|
研究実績の概要 |
分岐プログラムの充足可能性問題とは,与えられた分岐プログラムが値1を出力するような変数入力(0/1割当)が存在するかどうかを判定する問題である.与えられる分岐プログラムに制限がない場合,総当たり探索よりも高速なアルゴリズムは知られていない.本研究では,未解決問題である計算量クラスNEXPとNC1の分離を導くため,幅限定分岐プログラムに焦点をあて総当たり探索よりも高速な充足可能性判定アルゴリズムの開発を目標としている. 昨年度までにk-Sub-SAT問題に対する高速アルゴリズムが設計できれば,幅2分岐プログラムに対する充足可能性判定アルゴリズムの性能改善が達成されることが得られていた.k-Sub-SAT問題とは,入力としてk-CNF論理式(節の大きさが高々kであるCNF論理式)と2を法とする連立線形方程式が与えられ,その両方を満たす変数割り当てが存在するかを判定する問題である.この問題はk-SATを含む問題あり,kが3以上の場合はNP完全であることは明らかであるが,k=2においてもNP完全であることが知られている.既存研究では,k-Sub-SAT問題に対して全割当よりも高速な充足可能性判定アルゴリズムとして,指数領域決定性アルゴリズムや多項式領域乱択アルゴリズムが知られている. 昨年度,k-Sub-SAT問題に対する多項式領域決定性アルゴリズムを提案し,既存の多項式領域乱択アルゴリズムの計算時間とほぼ同等の性能を達成したと主張する論文の投稿を行ったが,提案したアルゴリズムの一部に重大な欠陥があることが指摘され,実際提案アルゴリズムが間違っていたことを確認した.この欠陥に関する修復を試みているが,現在解決には至っていない.
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
4: 遅れている
理由
研究実績の概要で述べた通り,提案アルゴリズムに重大な欠陥があり,その解決には至っていない.
|
今後の研究の推進方策 |
アルゴリズム修正に関して,共同研究者との綿密な打ち合わせを続け,解決を目指す予定である.
|