活動情報

論文・受賞

  • Decremental optimization of vertex-coloring under the reconfiguration framework

    Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura, Xiao Zhou
    International Journal of Computer Mathematics: Computer Systems Theory, Vol. 8, pp. 80-92, 2023

    • Happy set problem on subclasses of co-comparability graphs

      Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki, Yuma Tamura
      Algorithmica, Vol. 85, Article 44947, 2023

      • ZDD-based algorithmic framework for solving shortest reconfiguration problems

        Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
        Proc. of 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science, Vol. 13884, pp. 167-183, 2023

        • On robustness against evacuees' unexpected movement in automatic evacuation guiding

          Jun Kawahara, Takanori Hara, Masahiro Sasabe
          Computers and Electrical Engineering, Vol. 105, Article 108531, 2022

          • Efficient non-isomorphic graph enumeration algorithms for subclasses of perfect graphs

            Jun Kawahara, Toshiki Saitoh, Hirokazu Takeda, Ryo Yoshinaka, Yui Yoshioka
            Proc. of 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023), Lecture Notes in Computer Science, Vol. 13973, pp. 151-163, 2023

            • Special case of Rota's basis conjecture on graphic matroids

              Shun-ichi Maezawa, Akiko Yazawa
              The Electronic Journal of Combinatorics, Vol. 29, Article P3.63, 2022

              • Characterization of (m,n)-linked planar graphs

                Kengo Enami, Shun-ichi Maezawa
                Graphs and Combinatorics, Vol. 38, pp. 131, 2022

                • A satisfiability algorithm for deterministic width-2 branching programs

                  Tomu Makita, Atsuki Nagao, Tatsuki Okada, Kazuhisa Seto, Junichi Teruyama
                  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E105-A, pp. 1298-1308, 2022

                  • SAT-based method for finding attractors in asynchronous multi-valued networks

                    Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
                    Proc. of 16th International Joint Conference on Biomedical Enginnering Systems and Technologies, Vol. hal-03964870, 2023

                    • Monotone edge flips to an orientation of maximum edge-connectivity à la Nash-Williams

                      Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
                      ACM Transactions on Algorithms, Vol. 19, Article 6, 2023