研究課題
分岐プログラムの充足可能性問題とは，与えられた分岐プログラムが値１を出力するような変数入力（0/1割当）が存在するかどうかを判定する問題である．与えられる分岐プログラムに制限がない場合，総当たり探索よりも高速なアルゴリズムは知られていない．本研究では，未解決問題である計算量クラスNEXPとNC1の分離を導くため，幅限定分岐プログラムに焦点をあて総当たり探索よりも高速な充足可能性判定アルゴリズムの開発を目標としている．昨年度までにk-Sub-SAT問題に対する高速アルゴリズムが設計できれば，幅２分岐プログラムに対する充足可能性判定アルゴリズムの性能改善が達成されることが得られていた．k-Sub-SAT問題とは，入力としてk-CNF論理式（節の大きさが高々kであるCNF論理式）と２を法とする連立線形方程式が与えられ，その両方を満たす変数割り当てが存在するかを判定する問題である．この問題はk-SATを含む問題あり，kが3以上の場合はNP完全であることは明らかであるが，k=2においてもNP完全であることが知られている．既存研究では，k-Sub-SAT問題に対して全割当よりも高速な充足可能性判定アルゴリズムとして，指数領域決定性アルゴリズムや多項式領域乱択アルゴリズムが知られている．昨年度，k-Sub-SAT問題に対する多項式領域決定性アルゴリズムを提案し，既存の多項式領域乱択アルゴリズムの計算時間とほぼ同等の性能を達成したと主張する論文の投稿を行ったが，提案したアルゴリズムの一部に重大な欠陥があることが指摘され，実際提案アルゴリズムが間違っていたことを確認した．この欠陥に関する修復を試みているが，現在解決には至っていない．
すべて 2023
すべて 雑誌論文 (4件) (うち査読あり 4件)
Proc. of the 16th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2023)
巻: LNCS14461 ページ: 29-42
10.1007/978-3-031-49611-0_3
Proc. of the 29th International Computing and Combinatorics Conference (COCOON 2023)
巻: LNCS14422 ページ: 155-167
10.1007/978-3-031-49190-0_11
Proc. of 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023)
巻: LNCS13884 ページ: 167-183
10.1007/978-3-031-33271-5_12
Proc. of 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
巻: - ページ: 294-302
10.1109/ICTAI59109.2023.00050
