大規模知識処理

研究成果

研究室の学生が含まれる研究成果のみを載せています。

【査読付論文誌】

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.
IEICE Transactions on Information and Systems, Vol. E107-D, No.6, pages. 732–740, 2024.

Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama:
Finding Top-k Longest Palindromes in Substrings.
Theoretical Computer Science, Vol. 979, No. 114183, 2023.

【査読付国際会議論文】

Kazuma Yamane, Yuto Nakashima, Kazuhisa Seto, and Takashi Horiyama:
Maximal α-gapped Repeats in a Fibonacci String.
In Proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science  (SOFSEM 2025), LNCS 15539, pages 172-183, January 2025 (Bratislava, Slovakia)

Takuya Mieno, Shun Takahashi, Kazuhisa Seto, and Takashi Horiyama:
Online and Offline Algorithms for Counting Distinct Closed Factors via Sliding Suffix Trees.
In Proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science  (SOFSEM 2025), LNCS 15539, pages 337-350, January 2025 (Bratislava, Slovakia)

Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama:
Shortest Cover After Edit.
In Proceedings of the 35th Annual Symposium on Combinatorial Pattern Matching (CPM 2024), LIPIcs 296, pages 24:1–24:15, June 2024 (Fukuoka, Japan).

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), Vol. 38(18), pages 20726-20734, 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).

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).

【学会発表】　* 印が発表者

坂本 郁弥*, 鈴木 琉, 脊戸 和寿, 堀山 貴史:
最大次数 3 の平面的グラフにおける事前割当による最小頂点被覆の唯一化の計算困難性.
情報処理学会 アルゴリズム研究会, 2025 年 1 月 （くまもと県民交流館パレア, 熊本）

Yuto Okura*, Junichi Teruyama, Kazuhisa Seto, and Takashi Horiyama:
Exact Algorithm for the Boolean Connectivity of k-Horn Formulas via Deterministic PPZ.
情報処理学会 アルゴリズム研究会, 2025 年 1 月 （くまもと県民交流館パレア, 熊本）

Shoon Mineyoshi*, Kazuhisa Seto, and Takashi Horiyama:
On the Diameters of Reconfiguration Graphs and ZDD-Based BFS-Algorithm for Optimal Reconfiguration Problems of Optimal Ladder Lotteries.
The 6th Workshop on Enumeration Problems and Applications, October 2024 (Nikko, Japan)

Masashi Gorobe*, Kazuhisa Seto, and Takashi Horiyama:
On the Enumeration of Common Developments of Orthogonal Boxes by Utilizing Cycles on the Surfaces.
The 6th Workshop on Enumeration Problems and Applications, October 2024 (Nikko, Japan)

Yuto Okura*, Kazuhisa Seto, and Takashi Horiyama:
A Moderately Exponential Time Algorithm for the Boolean Connectivity of k-Horn Formulas.
The 24th Korean-Japan Joint Workshop on Algorithms and Computation, August 2024 (Seoul, Korea).

Kazuma Yamane* Yuto Nakashima, Kazuhisa Seto, and Takashi Horiyama:
The Number of Maximal α-gapped Repeats in Fibonacci Strings.
The 24th Korean-Japan Joint Workshop on Algorithms and Computation, August 2024 (Seoul, Korea).

Yuto Okura*, Junichi Teruyama, Kazuhisa Seto, and Takashi Horiyama:
Moderately Exponential Time Algorithm for the Boolean Connectivity Problem for k-Horn Formulas.
2024年度 夏のLAシンポジウム, 2024年7月 (鳥羽商工会議所, 三重).

Ryu Suzuki*, Kazuhisa Seto, and Takashi Horiyama:
Exact Algorithm for Computing Pre-assignments to Uniquify Minimum Vertex Covers on Bipartite Graphs.
2024年度 夏のLAシンポジウム, 2024年7月 (鳥羽商工会議所, 三重).

五郎部 誠士*, 脊戸 和寿, 堀山 貴史:
多面体上のサイクルを利用した格子直方体における共通展開図の列挙.
2024年度 夏のLAシンポジウム, 2024年7月 (鳥羽商工会議所, 三重).

峯吉 翔音*, 脊戸 和寿, 堀山 貴史:
最適あみだくじの最適遷移問題に対する遷移グラフの直径と幅優先探索アルゴリズム.
2024年度 夏のLAシンポジウム, 2024年7月 (鳥羽商工会議所, 三重).

Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, and Ryu Suzuki*:
Hardness of Uniquifying Minimum Vertex Covers and Minimum Dominating Sets under Pre-assignments.
2024年電子情報通信学会総合大会, 2024年3月 (広島大学, 広島).

三谷 和暉*, 三重野 琢也, 脊戸 和寿, 堀山 貴史:
1 ブロック編集時の最長ボーダークエリと最小カバークエリ.
2023年度 冬のLAシンポジウム, 2024年2月 (京都大学, 京都).

山根 和真*, 中島 祐人, 脊戸 和寿, 堀山 貴史:
フィボナッチ文字列中の極大αギャップ付き反復の個数の上界.
2023年度 冬のLAシンポジウム, 2024年2月 (京都大学, 京都).

鈴木 琉* ,  脊戸 和寿, 堀山 貴史:
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月 (サン・リフレ函館, 北海道).

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), June 2023 (Aichi, Japan).

岩崎 善泰*, 堀山 貴史, 松井 泰子, 野崎 雄太, 脊戸 和寿, 山中 克久:
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月 (オンライン).