Publication
Journal (refereed)
Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, and Kunihiro Wasa, "Reconfiguring (non-spanning) arborescences," Theoretical Computer Science, Vol.943, pp.131-141, January 2023. (Web)
Yu Nakahata, Jun Kawahara, Takashi Horiyama, and Shoji Kasahara, "Enumerating All Spanning Shortest Path Forests with Distance and Capacity Constraints," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E101-A, No.9, pp.1363-1374, September 2018. (Web)
International Conference (refereed)
Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Masahiro Takahashi, and Kunihiro Wasa, "Independent Set Reconfiguration on Directed Graphs," 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), August 2022. (Web)
Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Kunihiro Wasa, ''Reconfiguring Directed Trees in a Digraph," 27th International Computing and Combinatorics Conference (COCOON 2021), October 2021. (Web)
Yu Nakahata, Masaaki Nishino, Jun Kawahara, and Shin-ichi Minato, "Enumerating All Subgraphs under Given Constraints Using Zero-suppressed Sentential Decision Diagrams," 18th Symposium on Experimental Algorithms (SEA 2020), June 2020. (Web)
Yu Nakahata, Jun Kawahara, Takashi Horiyama, and Shin-ichi Minato, "Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration," 14th International Conference and Workshops on Algorithms and Computation (WALCOM 2020), April 2020. (Web)
Yu Nakahata, Jun Kawahara, and Shoji Kasahara, "Enumerating Graph Partitions Without Too Small Connected Components Using Zero-suppressed Binary and Ternary Decision Diagrams," 17th International Symposium on Experimental Algorithms (SEA 2018), June 2018. (Web)
International Workshop (not refereed)
Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Kunihiro Wasa, "Reconfiguring Directed Trees in a Digraph," Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2021, July 2021. (Web)
Yu Nakahata, Jun Kawahara and Shin-ichi Minato, "Decision-Diagram-Based Enumeration of d-Cutsets," 3rd International Workshop on Enumeration Problems & Applications (WEPA 2019), October 2019. (Web)
Yu Nakahata, Jun Kawahara, Takashi Horiyama, and Shoji Kasahara, "Enumerating All Rooted Shortest Path Forests Using Zero-suppressed Binary Decision Diagrams," 20th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2017), August 2017. (Web)
Preprints
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, and Takahisa Toda, "ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems," arXiv preprint, arXiv:2207.13959, July 2022.
Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Masahiro Takahashi, and Kunihiro Wasa, "Independent set reconfiguration on directed graphs," arXiv preprint, arXiv:2203.13435, March 2022.
Yasuaki Kobayashi, Yu Nakahata, "A Note on Exponential-Time Algorithms for Linearwidth," arXiv preprint, arxiv:2010.02388, October 2020.
Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, and Katsuhisa Yamanaka, "Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization," arXiv preprint, arxiv:2001.08899, January 2020.
Yu Nakahata, "On the Clique-Width of Unigraphs," arXiv preprint, arXiv:1905.12461, May 2019.
Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, and Yu Nakahata, "Decomposing a Graph into Unigraphs," arXiv preprint, arXiv:1904.09438, April 2019.
Theses
Doctoral Thesis
"Studies on Implicit Graph Enumeration Using Decision Diagrams"
Kyoto University, September 2021.
Master Thesis
"Enumerating and Indexing Constrained Graph Partitions Using Decision Diagrams"
Nara Institute of Science and Technology, September 2018.
Domestic Conference (not refereed, in Japanese)
(◯:発表者)
○有薗舜,中畑裕,笠原正治,"時間変化するネットワークに対する⼆分決定グラフを⽤いた信頼性評価法",2022年度オペレーションズ・リサーチ学会関⻄⽀部若⼿研究発表会,10月,2022年.(Web)
○中畑裕,"解集合プログラミングを用いた制約を満たすラベル付きグラフの列挙",コンピュテーション研究会,3月,2022年.(Web)
○中畑裕,"解集合プログラミングを用いた非同型な木の列挙",第119回人工知能基本問題研究会,1月,2022年.(Web)
Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, ○Masahiro Takahashi, Yota Otachi, and Kunihiro Wasa, "Token Sliding on Directed Graphs," コンピュテーション研究会,12月,2021年.(Web)
○中畑裕,"Reconfiguring Directed Trees in a Digraph",離散数学とその応用研究集会2021(JCCA 2021),8月,2021年.(Web)
○中畑裕,堀山貴史,湊真一,山中克久,"動的計画法に基づくSimple Polygonization列挙アルゴリズムの実験的評価",第182回アルゴリズム研究会,3月,2021年.(Web)
○中畑裕,堀山貴史,湊真一,山中克久,"連結かつ非交差な幾何グラフの列挙,ランダム生成,最適化",2019年度冬のLAシンポジウム,2月,2020年.(Web)
○小林靖明,中畑裕,"線形枝幅を計算する厳密アルゴリズムとフロンティア法への応用",第110回人工知能基本問題研究会,9月,2019年.(Web)
○大澤賢悟,中畑裕,湊真一,"グラフ同型に関する代表元のグラフを列挙するZDDの構築について",第110回人工知能基本問題研究会,9月,2019年.(Web)
Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, ○Yu Nakahata, "Generalization of Graphs Uniquely Determined by Degree Sequences," 2019年度夏のLAシンポジウム,7月,2019年.(Web)
◯中畑裕,川原純,堀山貴史,湊真一,"ZDDを用いたグラフ細分構造の列挙索引化",電子情報通信学会コンピュテーション研究会,5月,2019年.(Web)
◯中畑裕,◯川原純,"[依頼講演]SEA2018発表報告および最近の研究について",電子情報通信学会コンピュテーション研究会,10月,2018年.(Web)
SEA2018発表報告を中畑が担当し,最近の研究について川原純先生にお話いただいた.
伝住周平,堀山貴史,栗田和宏,中畑裕,鈴木浩史,◯和佐州洋,山崎一明,"非同型な2端子直並列グラフの列挙とランダムサンプリング",電子情報通信学会コンピュテーション研究会,9月,2018年.(Web)
◯中畑裕,鈴木浩史,石畠正和,堀山貴史,"フロンティア法によるDAGの非巡回縮約の列挙",2018年度人工知能学会全国大会(第32回),6月,2018年.(Web)
◯中畑裕,川原純,笠原正治,"グラフ分割集合を表すZDDに対する連結成分重み下限制約",情報処理学会第166回アルゴリズム研究会,1月,2018年.(Web)
◯中畑裕,川原純,笠原正治,"グラフの連結成分の大きさを考慮した連結成分分割の高速な列挙",情報処理学会第162回アルゴリズム研究会,3月,2017年.(Web)
Domestic Workshop (not refereed, in Japanese)
○中畑裕,"MDDを用いた multi-state network の信頼性厳密計算",基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」,11月,2019年.(Web)
○中畑裕,"DD による Multi-state Two-terminal Reliability の厳密計算",基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2019.09」,9月,2019年.(Web)
○中畑裕,"グラフと色付き次数列",基盤(S) 離散構造処理系プロジェクト 「2019年度 初夏のワークショップ」,6月,2019年.(Web)
◯中畑裕,川原純 ,堀山貴史,湊真一 ,"グラフのユニグラフ分解",第29回列挙アルゴリズムセミナー,12月,2018年.(Web)
◯中畑裕,川原純 ,堀山貴史,湊真一 ,"禁止細分で特徴づけられる部分グラフの列挙索引化",基盤(S)離散構造処理系プロジェクト 「2018年度 秋のワークショップ」,11月,2018年.(Web)
◯中畑裕,"決定グラフを用いた制約付きグラフ分割の列挙索引化",基盤(S)離散構造処理系プロジェクト「北大・京大 研究交流会」,10月,2018年.(Web)
◯中畑裕,川原純,堀山貴史,笠原正治,"決定グラフによる禁止マイナー演算",基盤(S)離散構造処理系プロジェクト「2018年度初夏のワークショップ」,7月,2018年.(ポスター発表)(Web)
◯中畑裕,"フロンティア法によるDAGのDAGへの縮約の列挙",基盤(S)離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2018.05」,5月,2018年.(Web)
◯中畑裕,石畠正和,鈴木浩史,堀山貴史,"フロンティア法によるDAGのDAGへの分解",基盤(S)離散構造処理系プロジェクト「2017年度秋のワークショップ」,11月,2017年.(ポスター発表)(Web)
◯中畑裕,川原純,笠原正治,"部分最短経路木分割の列挙",基盤(S)離散構造処理系プロジェクト「2017年度初夏のワークショップ」,6月,2017年.(ポスター発表)(Web)
競争的獲得資金(代表者)
科学研究費 若手研究 22K17851
2022-2025年度
「汎用的かつ実用的な多様な解の発見アルゴリズム」
研究代表者電気通信普及財団
2022年度
「時間変化を考慮したネットワーク信頼性評価」
研究代表者科学研究費 特別研究員奨励費 19J21000
2018-2020年度
「グラフマイナー構造に対する超高速列挙アルゴリズム」
研究代表者
競争的獲得資金(分担者)
科学研究費 基盤研究(A) 19H01103
2022年度
「超スケーラブル汎用ブロック・チェーン技術に向けた情報学的研究」
研究分担者(研究代表者 笠原 正治先生)科学研究費 学術変革領域研究(B) 20H05794
2022年度
「工学アプローチによる組合せ遷移の展開:配電切替を足がかりとして汎用ソルバーへ」
研究分担者(B01班 研究代表者 川原 純先生)「組合せ遷移の展開に向けた 計算機科学・工学・数学による アプローチの融合」(研究代表者 伊藤 健洋先生)の一部
科学研究費 基盤研究(B) 22H03549
2022年度
「列挙や数え上げなどを統一的に扱うための基盤技術」
研究分担者(研究代表者 堀山 貴史先生)
教育活動
指導中の学生:M2 1名、M1 1名
スプリングセミナー,サマーセミナー(奈良先端科学技術大学院大学,2021年度-,2-3日間の演習)
プログラミング入門(同志社大学,2022年度,90分x15回)
学会活動
情報処理学会アルゴリズム研究会 運営委員(2022年度-)
電子情報処理学会コンピュテーション研究会 専門委員(2022年度-)