研究成果
研究室の学生が含まれる研究成果のみを載せています。
【査読付論文誌】
Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama:
Finding Top-k Longest Palindromes in Substrings
Theoretical Computer Science, Vol. 979, No. 114183, November 2023.
【査読付国際会議論文】
Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, and Ryu Suzuki:
Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover
In Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), to appear, February 2024 (Vancouver, Canada)
Yuki Kawakami, Shun Takahashi, Kazuhisa Seto, Takashi Horiyama, Yuki Kobayashi, Yuya Higashikawa, and Naoki Katoh:
Lower Bounds for the Thickness and the Total Number of Edge Crossings of Euclidean Minimum Weight Laman Graphs and (2, 2)-Tight Graphs
In Proceedings of the 35th Canadian Conference on Computational Geometry (CCCG 2023), pages 191–196, August 2023 (Montreal, Canada)
Ryu Suzuki, Yasuaki Kobayashi, Kazuhisa Seto, and Takashi Horiyama:
NP-completeness of Computing Pre-assignments to Uniquify Vertex Cover for Bipartite Graphs
In Proceedings of the 23rd Korean-Japan Joint Workshop on Algorithms and Computation (WAAC 2023), pages 234–239, June 2023 (Aichi, Japan).
Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama:
Internal Longest Palindrome Queries in Optimal Time.
In Proceedings of the 17th International Workshop on Algorithms and Computation (WALCOM 2023), LNCS 13973, pages 127-138, March 2023 (Hsinchu, Taiwan)
【学会発表】 * 印が発表者
鈴木 琉* , 脊戸 和寿, 堀山 貴史:
Hardness of Computing a Pre-assignment to Uniquify Minimum Dominating Sets on Bipartite Graphs
第195回アルゴリズム研究発表会, 2023年11月, （那覇IT創造館, 那覇）
河上 悠輝*, 脊戸 和寿, 堀山 貴史, 小林 祐貴, 東川 雄哉, 加藤 直樹:
平面上の最小重み無交差Lamanグラフと関連する幾何的グラフについて
2023年度 夏のLAシンポジウム, 2023年7月 （サン・リフレ函館, 北海道）
Ryu Suzuki* , Yasuaki Kobayashi, Kazuhisa Seto, Takashi Horiyama:
NP-completeness of Computing Pre-assignments to Uniquify Vertex Cover for Bipartite Graphs
2023年度 夏のLAシンポジウム, 2023年7月 （サン・リフレ函館, 北海道）
山根 和真*, 中島 祐人, 脊戸 和寿, 堀山 貴史:
フィボナッチ文字列中の極大ギャップ付き反復の個数
2023年度 夏のLAシンポジウム, 2023年7月 （サン・リフレ函館, 北海道）
岩崎 善泰*, 堀山 貴史, 松井 泰子, 野崎 雄太, 脊戸 和寿, 山中 克久:
ZDD を用いた最適円筒あみだくじの列挙.
第192回アルゴリズム研究発表会, 2023年3月, （東北大学, 宮城）
高橋 孔平*, 脊戸 和寿, 堀山 貴史, 三重野 琢也:
自己同型写像の断片を用いた代表元の反復抽出による同型性の除去.
電子情報通信学会 コンピュテーション研究会, 2022年12月, （愛媛大学, 愛媛）
Yudai Enomoto*, Yuki Kawakami, Kazuhisa Seto, Takashi Horiyama, and Jun Mitani:
Counting and ZDD-based Enumeration of Locally Flat-Foldable Box-Pleated Crease Patterns on the 45-Degree Grid System.
Fifth Workshop on Enumeration Problems and Applications, November 2022, (Clermont-Ferrand, France)
河上 悠輝*, 高橋 駿, 脊戸 和寿, 堀山 貴史, 小林 祐貴, 東川 雄哉, 加藤 直樹:
最小重み Laman グラフの総交点数と厚みの下界の改良.
第35回回路とシステムワークショップ, 2022年8月, （北九州国際会議場, 福岡）
奨励賞受賞
河上 悠輝*, 高橋 駿, 脊戸 和寿, 堀山 貴史, 小林 祐貴, 東川 雄哉, 加藤 直樹:
最小重み Laman グラフの総交点数と厚みの下界の改良.
2022年度 夏のLAシンポジウム, 2022年7月, （にぎわい交流館 AU, 秋田）
三谷 和暉*, 脊戸 和寿, 堀山 貴史, 三重野 琢也:
区間最長回文クエリに対する時間最適アルゴリズム.
2022年度 夏のLAシンポジウム, 2022年7月, （にぎわい交流館 AU, 秋田）
高橋 駿*, 脊戸 和寿, 堀山 貴史, 三重野 琢也:
文字列中の異なる閉文字列の数え上げと最大個数について.
2022年度 夏のLAシンポジウム, 2022年7月, （にぎわい交流館 AU, 秋田）
榎本 優大*, 河上 悠輝, 脊戸 和寿, 堀山 貴史, 三谷 純:
45度系格子パターンにおける局所平坦折り可能な展開図の数え上げとZDDによる列挙.
2021年度 冬のLAシンポジウム, 2022年2月, （京都大学, 京都）
榎本 優大*, 脊戸 和寿, 堀山 貴史, 三谷 純:
ZDDによる45度系格子パターンにおける局所平坦折り可能な展開図の列挙.
第30回折り紙の科学・数学・教育研究集会, 2021年6月 （オンライン）