研究課題
若手研究
理論計算機科学分野における最大の未解決問題であるP vs. NP問題の解決に向け，分岐プログラムに対する充足可能性問題のアルゴリズム設計による計算量クラスの分離に関する研究を行った．主に，幅が限定された分岐プログラムに対して，下界証明技法を用いたアルゴリズム設計が行えないか検討した．本研究では，線形サイズで幅が２である分岐プログラムの充足可能性問題に対して，下界証明技法を基にした，全探索よりも真に高速なアルゴリズムを設計することに成功した．
本研究での成果は計算量理論およびアルゴリズム理論の両分野に関連する成果といえる．計算量理論の分野においては，計算量クラスの分離という基礎的な問題に向けた第一歩と与えた．アルゴリズム理論分野においては，分岐プログラムサイズの下界証明技法を取り入れた新しい重曹可能性判定アルゴリズムの設計技法を与えた．
すべて 2023 2022 2020 2019 2018
すべて 雑誌論文 (8件) (うち査読あり 8件、 オープンアクセス 6件) 学会発表 (1件)
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
Proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science (LNCS)
巻: 13884 ページ: 1-17
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
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
巻: E105.A 号: 9 ページ: 1298-1308
10.1587/transfun.2021EAP1120
Theory of Computing Systems
巻: 64 号: 8 ページ: 1392-1407
10.1007/s00224-020-09996-3
Journal of Computer and System Sciences
巻: 印刷中 ページ: 87-103
10.1016/j.jcss.2019.04.004
Algorithmica
巻: 80 号: 10 ページ: 2725-2741
10.1007/s00453-017-0332-2
