• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2019 Fiscal Year Annual Research Report

Research on Fundamental Algorithms of Discrete Structure Manipulation Systems

Research Project

Project/Area Number 15H05711
Research InstitutionKyoto University

Principal Investigator

湊 真一  京都大学, 情報学研究科, 教授 (10374612)

Co-Investigator(Kenkyū-buntansha) 有村 博紀  北海道大学, 情報科学研究院, 教授 (20222763)
瀧川 一学  国立研究開発法人理化学研究所, 革新知能統合研究センター, 研究員 (10374597)
宇野 毅明  国立情報学研究所, 情報学プリンシプル研究系, 教授 (00302977)
堀山 貴史  埼玉大学, 理工学研究科, 准教授 (60314530)
津田 宏治  東京大学, 大学院新領域創成科学研究科, 教授 (90357517)
鷲尾 隆  大阪大学, 産業科学研究所, 教授 (00192815)
Project Period (FY) 2015-05-29 – 2020-03-31
Keywords離散構造処理系 / 二分決定グラフ / 列挙アルゴリズム / ZDD / データ構造
Outline of Annual Research Achievements

本研究課題の最終年度においても中心的な研究活動は従来通り北大拠点で継続的に実施した.本年度の研究実績の概要は以下のとおりである.
(1) ZDDおよびその派生形の演算処理の基盤アルゴリズムをさらに充実させ,様々な社会インフラ問題への応用を進めた.具体的には,統計的に発生率が高い地域を見出すホットスポット解析への応用について研究代表者自らが筆頭著者として論文執筆し,米国応用数学会の国際会議SDM2019で発表を行ったこと,統計的ホットスポット解析の論文で日本計算機統計学会より論文賞を受賞したこと,電力網解析への応用に向けた企業関係者との共同研究の推進,等が挙げられる.
(2) 離散構造処理系による効果的な組合せ探索法および列挙索引化法の開発を継続して進めた.具体的には, 列挙アルゴリズムの研究で初めて超難関会議STOCに採択(国際会議STOC2019),魔方陣の列挙数え上げで7次対称方陣の数え上げに世界で初めて成功し国際会議で発表(JCDCGGG2019)等が挙げられる.また列挙アルゴリズムに関する国際会議WEPA2019を本プロジェクトメンバが中心となって開催した.
(3) ERATO研究者コミュニティの維持発展,および他の国家プロジェクトとの連携を図った.春(北大)と秋(北海道千歳市)にワークショップを開催し,それぞれ約50人の参加者を集めた.昨年度より引き続き短期滞在セミナー週間(SSSW2019.xx)を年間5回開催し,年間30件を超えるセミナ講演を北大拠点において実施した.これらの研究成果は講究録として出版を行っている.神田ラボでの研究交流も活発に行っている.国際会議の招待講演や論文誌の招待論文の執筆等も多数行った.
なお,本研究課題の後継プロジェクトの位置づけで科研費・基盤(A)を申請し,2020年4月に採択され今後5年間にわたり実施することとなった.

Research Progress Status

令和元年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

令和元年度が最終年度であるため、記入しない。

  • Research Products

    (51 results)

All 2020 2019 Other

All Int'l Joint Research (1 results) Journal Article (12 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 12 results,  Open Access: 5 results) Presentation (36 results) (of which Int'l Joint Research: 20 results,  Invited: 1 results) Remarks (1 results) Funded Workshop (1 results)

  • [Int'l Joint Research] Pisa 大学(イタリア)

    • Country Name
      ITALY
    • Counterpart Institution
      Pisa 大学
  • [Journal Article] Dual graph convolutional neural network for predicting chemical networks2020

    • Author(s)
      Harada Shonosuke、Akita Hirotaka、Tsubaki Masashi、Baba Yukino、Takigawa Ichigaku、Yamanishi Yoshihiro、Kashima Hisashi
    • Journal Title

      BMC Bioinformatics

      Volume: 21 Pages: 1-13

    • DOI

      https://doi.org/10.1186/s12859-020-3378-0

    • Peer Reviewed / Open Access
  • [Journal Article] The Complexity of Induced Tree Reconfiguration Problems2019

    • Author(s)
      WASA Kunihiro、YAMANAKA Katsuhisa、ARIMURA Hiroki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E102.D Pages: 464~469

    • DOI

      https://doi.org/10.1587/transinf.2018FCP0010

    • Peer Reviewed / Open Access
  • [Journal Article] Sequentially Swapping Colored Tokens on Graphs2019

    • Author(s)
      Yamanaka Katsuhisa、Demaine Erik D.、Horiyama Takashi、Kawamura Akitoshi、Nakano Shin-ichi、Okamoto Yoshio、Saitoh Toshiki、Suzuki Akira、Uehara Ryuhei、Uno Takeaki
    • Journal Title

      Journal of Graph Algorithms and Applications

      Volume: 23 Pages: 3~27

    • DOI

      DOI: 10.7155/jgaa.00482

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Discovery of Regularized Areas with Maximal Confidence from Location Data2019

    • Author(s)
      Inakoshi Hiroya、Asai Tatsuya、Kida Takuya、Arimura Hiroki
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence

      Volume: 34 Pages: D~I56_1-10

    • DOI

      doi:10.1527/tjsai.D-I56

    • Peer Reviewed / Open Access
  • [Journal Article] Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting2019

    • Author(s)
      Ishioka Fumio、Kawahara Jun、Mizuta Masahiro、Minato Shin-ichi、Kurihara Koji
    • Journal Title

      Japanese Journal of Statistics and Data Science

      Volume: 2 Pages: 241~262

    • DOI

      10.1007/s42081-018-0030-6

    • Peer Reviewed
  • [Journal Article] Efficient Approximate 3-Dimensional Point Set Matching Using Root-Mean-Square Deviation Score2019

    • Author(s)
      SASAKI Yoichi、SHIBUYA Tetsuo、ITO Kimihito、ARIMURA Hiroki
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E102.A Pages: 1159~1170

    • DOI

      10.1587/transfun.E102.A.1159

    • Peer Reviewed
  • [Journal Article] Machine Learning for Catalysis Informatics: Recent Applications and Prospects2019

    • Author(s)
      Toyao Takashi、Maeno Zen、Takakusagi Satoru、Kamachi Takashi、Takigawa Ichigaku、Shimizu Ken-ichi
    • Journal Title

      ACS Catalysis

      Volume: 10 Pages: 2260~2297

    • DOI

      https://doi.org/10.1021/acscatal.9b04186

    • Peer Reviewed
  • [Journal Article] Fully-Online Suffix Tree and Directed Acyclic Word Graph Construction for Multiple Texts2019

    • Author(s)
      Takagi Takuya、Inenaga Shunsuke、Arimura Hiroki、Breslauer Dany、Hendrian Diptarama
    • Journal Title

      Algorithmica

      Volume: 82 Pages: 1346~1377

    • DOI

      10.1007/s00453-019-00646-w

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Statistical Analysis and Discovery of Heterogeneous Catalysts Based on Machine Learning from Diverse Published Data2019

    • Author(s)
      Suzuki Keisuke、Toyao Takashi、Maeno Zen、Takakusagi Satoru、Shimizu Ken‐ichi、Takigawa Ichigaku
    • Journal Title

      ChemCatChem

      Volume: 11 Pages: 4537~4547

    • DOI

      https://doi.org/10.1002/cctc.201900971

    • Peer Reviewed
  • [Journal Article] Legendre decomposition for tensors2019

    • Author(s)
      Sugiyama Mahito、Nakahara Hiroyuki、Tsuda Koji
    • Journal Title

      Journal of Statistical Mechanics: Theory and Experiment

      Volume: 2019 Pages: 124017~124017

    • DOI

      https://doi.org/10.1088/1742-5468/ab3196

    • Peer Reviewed / Open Access
  • [Journal Article] Efficient query autocompletion with edit distance-based error tolerance2019

    • Author(s)
      Qin Jianbin、Xiao Chuan、Hu Sheng、Zhang Jie、Wang Wei、Ishikawa Yoshiharu、Tsuda Koji、Sadakane Kunihiko
    • Journal Title

      The VLDB Journal

      Volume: 29 Pages: 919~943

    • DOI

      https://doi.org/10.1007/s00778-019-00595-4

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] An Efficient Algorithm for Enumerating Chordal Bipartite Induced Subgraphs in Sparse Graphs2019

    • Author(s)
      Kurita Kazuhiro、Wasa Kunihiro、Uno Takeaki、Arimura Hiroki
    • Journal Title

      Lecture Notes in Computer Science book series

      Volume: 11638 Pages: 339~351

    • DOI

      https://doi.org/10.1007/978-3-030-25005-8_28

    • Peer Reviewed
  • [Presentation] Efficiently enumerating substrings with statistically significant frequencies of locally optimal occurrences in gigantic string2020

    • Author(s)
      Nakamura A, Takigawa I, Mamitsuka H
    • Organizer
      34th AAAI Conference on Artificial Intelligence (AAAI-20)
    • Int'l Joint Research
  • [Presentation] Designing Survivable Networks with Zero-suppressed Binary Decision Diagrams2020

    • Author(s)
      Hirofumi Suzuki, Masakazu Ishihata and Shin-ichi Minato
    • Organizer
      the 14th International Workshop of Algorithms and Computation (WALCOM2020)
    • Int'l Joint Research
  • [Presentation] Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration2020

    • Author(s)
      Yu Nakahata, Jun Kawahara, Takashi Horiyama and Shin-ichi Minato
    • Organizer
      the 14th International Workshop of Algorithms and Computation (WALCOM2020)
    • Int'l Joint Research
  • [Presentation] A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic2019

    • Author(s)
      Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara
    • Organizer
      SIAM International Conference on Data Mining (SDM2019)
    • Int'l Joint Research
  • [Presentation] New polynomial delay bounds for maximal subgraph enumeration by proximity search2019

    • Author(s)
      Alessio Conte,Takeaki Uno
    • Organizer
      the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019
    • Int'l Joint Research
  • [Presentation] Enumeration of Distinct Support Vectors for Interactive Decision Making2019

    • Author(s)
      Kentaro Kanamori, Satoshi Hara, Masakazu Ishihata, Hiroki Arimura
    • Organizer
      2019 ICML Workshop on Human In the Loop Learning (HILL 2019)
    • Int'l Joint Research
  • [Presentation] An Efficient Algorithm for Enumerating Chordal Bipartite Induced, Subgraphs in Sparse Graphs2019

    • Author(s)
      Kunihiro Wasa, Takeaki Uno, Hiroki Arimura
    • Organizer
      Combinatorial Algorithms - 30th International Workshop, IWOCA 2019
    • Int'l Joint Research
  • [Presentation] Maximal Irredundant Set Enumeration in Bounded-Degeneracy and Bounded-Degree Hypergraphs2019

    • Author(s)
      Alessio Conte, Mamadou Moustapha Kante, Andrea Marino, Takeaki Uno
    • Organizer
      Combinatorial Algorithms - 30th International Workshop, IWOCA 2019
    • Int'l Joint Research
  • [Presentation] Max-Min 3-Dispersion Problems2019

    • Author(s)
      Takashi Horiyama, Shin-Ichi Nakano, Toshiki Saitoh, Koki Suetsugu, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Kunihiro Wasa
    • Organizer
      25th International Conference, COCOON 2019
    • Int'l Joint Research
  • [Presentation] An Efficient Algorithm for Enumerating Chordal Bipartite Induced Subgraphs in Sparse Graphs2019

    • Author(s)
      Kazuhiro Kurita, Kunihiro Wasa, Takeaki Uno, Hiroki Arimura
    • Organizer
      30th International Workshop (IWOCA 2019)
    • Int'l Joint Research
  • [Presentation] Listing Induced Steiner Subgraphs as a Compact Way to Discover Steiner Trees in Graphs2019

    • Author(s)
      Alessio Conte, Roberto Grossi, Mamadou Moustapha Kante, Andrea Marino, Takeaki Uno, Kunihiro Wasa
    • Organizer
      44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019
    • Int'l Joint Research
  • [Presentation] Polynomial-Delay Enumeration of Maximal Common Subsequences2019

    • Author(s)
      Alessio Conte, Roberto Grossi, Giulia Punzi,T akeaki Uno
    • Organizer
      String Processing and Information Retrieval - 26th International Symposium, SPIRE 2019
    • Int'l Joint Research
  • [Presentation] Fast Identification of Heavy Hitters by Cached and Packed Group Testing2019

    • Author(s)
      Yusaku Kaneta, Takeaki Uno and Hiroki Arimura
    • Organizer
      the 26th International Symposium on String Processing and Information Retrieva, SPIRE2019l
    • Int'l Joint Research
  • [Presentation] Learning relevant molecular representations via self-attentive graph neural networks2019

    • Author(s)
      Kikuchi S, Takigawa I, Oyama S, Kurihara M
    • Organizer
      Workshop on Deep Graph Learning: Methodologies and Applications (DGLMA'19), IEEE BigData'19 Workshop
    • Int'l Joint Research
  • [Presentation] Dual graph convolutional neural network for predicting chemical networks2019

    • Author(s)
      Harada S, Akita H, Tsubaki M, Baba Y, Takigawa I, Yamanishi Y, Kashima H
    • Organizer
      Joint 30th International Conference on Genome Informatics (GIW) and Australian Bioinformatics and Computational Biology Society (ABACBS) Annual Conference (GIW/ABACBS 2019)
    • Int'l Joint Research
  • [Presentation] Enumeration Algorithm Basics2019

    • Author(s)
      宇野 毅明
    • Organizer
      Dagstuhl Seminar Enumeration in Database
    • Int'l Joint Research
  • [Presentation] 深層学習に基づくペプチド由来イオンピークの新規検出手法2019

    • Author(s)
      守屋勇樹, 田畑剛, 岩崎未央, 河野信, 五斗進, 石濱 泰, 瀧川一学, 吉沢明康
    • Organizer
      第67回質量分析総合討論会
  • [Presentation] ZDDを用いたグラフ細分構造の列挙2019

    • Author(s)
      中畑裕, 川原純, 堀山貴史, 湊真一
    • Organizer
      電子情報通信学会コンピュテーション研究会
  • [Presentation] Fairness-aware Edit of Thresholds in a Learned Decision Tree Using a Mixed Integer Programming Formulation2019

    • Author(s)
      金森 憲太朗, 有村 博紀
    • Organizer
      2019年度人工知能学会全国大会 (JSAI2019), 人工知能学会, インタラクティブセッション
  • [Presentation] Amortized Time Complexity in Enumeration2019

    • Author(s)
      宇野 毅明
    • Organizer
      2019理論計算機科学国際研討会
    • Int'l Joint Research
  • [Presentation] 混合整数計画法に基づく公平性を考慮した決定木編集法2019

    • Author(s)
      金森憲太朗, 有村博紀
    • Organizer
      RIMS研究集会「数理計画問題に対する理論とアルゴリズムの研究」, 京都大学 数理解析研究所
  • [Presentation] New Polynomial Delay Bounds for Maximal Subgraph Enumerationby Proximity Search2019

    • Author(s)
      宇野 毅明
    • Organizer
      電子情報通信学会コンピューテーション研究会
  • [Presentation] 人工知能の基本問題:これまでとこれから2019

    • Author(s)
      瀧川一学
    • Organizer
      人工知能学会 人工知能基本問題研究会(SIG-FPAI)
    • Invited
  • [Presentation] 隣接互換による最短長ユニバーサル列2019

    • Author(s)
      伊藤健洋, 川原純, 湊真一, 大舘陽太, 斎藤寿樹, 鈴木顕, 上原隆平, 宇野毅明, 山中克久, 吉仲亮
    • Organizer
      電子情報通信学会コンピュテーション研究会
  • [Presentation] Enumerating associative magic squares of order 72019

    • Author(s)
      Go Kato, Shin-ichi Minato
    • Organizer
      Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019)
    • Int'l Joint Research
  • [Presentation] グラフ同型に関する代表元のグラフを列挙するZDDの構築について2019

    • Author(s)
      大澤賢悟, 中畑裕, 湊真一
    • Organizer
      人工知能学会第110回人工知能基本問題研究会
  • [Presentation] 機械学習によるメタン酸化カップリング反応に有効な触媒探索2019

    • Author(s)
      高尾基史, 鳥屋尾 隆, 前野禅, 高草木 達, 瀧川一学, 清水研一
    • Organizer
      第42回ケモインフォマティクス討論会
  • [Presentation] 大きな正規表現に対する系列二分決定グラフを用いた効率よい照合手法2019

    • Author(s)
      瀧澤涼介, 喜田拓也, 有村博紀, 瀧川一学
    • Organizer
      電子情報通信学会 コンピュテーション研究会(COMP)
  • [Presentation] 化学情報の適応的選択によるグラフ畳み込み学習の解釈性の向上2019

    • Author(s)
      菊地翔馬, 栗原正仁, 小山聡, 瀧川一学
    • Organizer
      情報処理学会北海道シンポジウム2019
  • [Presentation] A Constant Amortized Time Enumeration Algorithm for Independent Sets in Graphs with Bounded Clique Number2019

    • Author(s)
      Kazuhiro Kurita, Kunihiro Wasa, Takeaki Uno, Hiroki Arimura
    • Organizer
      3rd International Workshop on Enumeration Problems and Applications (WEPA 2019)
    • Int'l Joint Research
  • [Presentation] 説明可能な機械学習に向けて:整数計画法と列挙に基づく最適決定木の厳密学習アルゴリズムの実験的比較2019

    • Author(s)
      王 叶, 有村 博紀
    • Organizer
      第22回情報論的学習理論ワークショップ (IBIS 2019)
  • [Presentation] Distribution-Aware Counterfactual Explanation by Mixed-Integer Linear Optimization2019

    • Author(s)
      金森憲太朗, 高木拓也, 小林健
    • Organizer
      第22回情報論的学習理論ワークショップ (IBIS 2019)
  • [Presentation] 最大クリークサイズが定数であるグラフに対する独立点集合のならし定数時間列挙2019

    • Author(s)
      栗田 和宏, 和佐 州洋, 宇野 毅明, 有村博紀
    • Organizer
      コンピュテーション(COMP)研究会, 電子情報通信学会
  • [Presentation] Machine Learning and Model-based Optimization for Heterogeneous Catalyst Design and Discovery2019

    • Author(s)
      Takigawa I
    • Organizer
      The 2nd ICReDD International Symposium - Toward Interdisciplinary Research Guided by Theory and Calculation
    • Int'l Joint Research
  • [Presentation] ランダム分割木に基づく勾配ブースティングの検証2019

    • Author(s)
      松田 祐汰, 瀧川一学, 有村博紀
    • Organizer
      第22回情報論的学習理論ワークショップ (IBIS 2019)
  • [Presentation] 決定木アンサンブル予測器の効率的ハードウェア実装のための簡約化に関する研究2019

    • Author(s)
      26.松田 祐汰, 瀧川 一学, 有村 博紀
    • Organizer
      第22回情報論的学習理論ワークショップ (IBIS 2019)
  • [Remarks] 北海道大学大学院情報科学研究科 基盤(S)離散構造処理系プロジェクト

    • URL

      http://www-erato.ist.hokudai.ac.jp/

  • [Funded Workshop] 3rd International Workshop on Enumeration Problems & Applications (WEPA2019)2019

URL: 

Published: 2021-01-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi