研究課題
本年度は昨年度に引き続き本研究計画の2つの目標の内，2つ目の目標である「利便性の高いプログラムの実装と公開」を中心に従事した．以下に本研究計画の2つの目標それぞれについて最終年度の実績を述べる．【理論面：現実的な時間でより良い解を求めるアルゴリズムの開発】時間制約付き有向木，全域木，最短路，フィードバック頂点集合，グラフ制約論理を始め，様々な遷移問題に対して困難性容易性の両面から様々な結果を得ることができた．特に最短路遷移問題に関する研究は，本研究の次の目標として期待できる，新たな課題の発見にもつながっており，最終年度の成果としてふさわしい未来のある結果となった．また，今年の成果ではないが，2022年7月に発行された独立集合の最適化遷移に関する学術雑誌は今年度多くの論文から引用されるなど，この研究を通してまいた種が着実に芽吹いている．【利便性の高いプログラムの実装と公開】他の研究者や研究プロジェクトと協力もしながら，組合せ遷移ソルバを実装・公開した．また，実装・公開されたプログラム内で動作しているアルゴリズムについて，「制約プログラミング，人工知能，オペレーションズ・リサーチの統合に関する国際会議(CPAIOR 2023)」で口頭発表を行った．その際に発行されたプロシーディングは分野別TOP1%論文となるなど，大きなインパクトを与える結果となった．他にも，一次表現可能な性質を利用したソルバに関する成果について「IEEEの人工知能のツールに関する国際会議(ICTAI 2023)」で口頭発表を行うなど，組合せ遷移の利便性向上に向け様々な貢献をすることができた．
すべて 2024 2023 その他
すべて 国際共同研究 (3件) 雑誌論文 (10件) (うち国際共著 4件、 査読あり 10件、 オープンアクセス 5件) 学会発表 (12件) (うち国際学会 5件)
Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science (LNCS)
巻: 14549 ページ: 227～241
10.1007/978-981-97-0566-5_17
巻: 14549 ページ: 421～435
10.1007/978-981-97-0566-5_30
International Journal of Computer Mathematics: Computer Systems Theory
巻: 8 ページ: 80～92
10.1080/23799927.2023.2185543
Algorithmica
巻: 85 ページ: 3348～3375
10.1007/s00453-023-01106-2
巻: 85 ページ: 2779～2816
10.1007/s00453-023-01117-z
Theoretical Computer Science
巻: 959 ページ: 113863～113863
10.1016/j.tcs.2023.113863
巻: 978 ページ: 114158～114158
10.1016/j.tcs.2023.114158
巻: 979 ページ: 114188～114188
10.1016/j.tcs.2023.114188
Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
巻: － ページ: 294～302
10.1109/ICTAI59109.2023.00050
Proceedings of the 29th International Computing and Combinatorics Conference (COCOON 2023), Lecture Notes in Computer Science (LNCS)
巻: 14422 ページ: 359～370
10.1007/978-3-031-49190-0_26
