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

Algorithmic Foundations Based on Large-Scale Discrete Structures

Planned Research

Project AreaCreation and Organization of Innovative Algorithmic Foundations for Leading Social Innovations
Project/Area Number 20H05964
Research Category

Grant-in-Aid for Transformative Research Areas (A)

Allocation TypeSingle-year Grants
Review Section Transformative Research Areas, Section (IV)
Research InstitutionHokkaido University

Principal Investigator

堀山 貴史  北海道大学, 情報科学研究院, 教授 (60314530)

Co-Investigator(Kenkyū-buntansha) 湊 真一  京都大学, 情報学研究科, 教授 (10374612)
上原 隆平  北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (00256471)
宇野 裕之  大阪公立大学, 大学院情報学研究科, 教授 (60244670)
番原 睦則  名古屋大学, 情報学研究科, 教授 (80290774)
松井 泰子  東海大学, 理学部, 教授 (10264582)
稲永 俊介  九州大学, システム情報科学研究院, 教授 (60448404)
竹田 正幸  九州大学, システム情報科学研究院, 教授 (50216909)
Project Period (FY) 2020-11-19 – 2025-03-31
Project Status Granted (Fiscal Year 2024)
Budget Amount *help
¥129,870,000 (Direct Cost: ¥99,900,000、Indirect Cost: ¥29,970,000)
Fiscal Year 2024: ¥30,420,000 (Direct Cost: ¥23,400,000、Indirect Cost: ¥7,020,000)
Fiscal Year 2023: ¥32,240,000 (Direct Cost: ¥24,800,000、Indirect Cost: ¥7,440,000)
Fiscal Year 2022: ¥32,240,000 (Direct Cost: ¥24,800,000、Indirect Cost: ¥7,440,000)
Fiscal Year 2021: ¥30,550,000 (Direct Cost: ¥23,500,000、Indirect Cost: ¥7,050,000)
Fiscal Year 2020: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Keywords大規模離散構造 / 列挙アルゴリズム / 文字列アルゴリズム / SATアルゴリズム / グラフアルゴリズム
Outline of Research at the Start

情報化社会におけるデータの規模の拡大や組合せの複雑化などにより、理論と実用の両方の観点から、問題が内包する大規模離散構造を利用したアルゴリズムの設計技法が求められている。本研究では、これまで個別の分野において個々のアイデアに基づいて設計されてきたアルゴリズムの成功事例を理論計算機科学の観点から改めて観察することで、大規模離散構造を理解し、その構造をどのように利用しているかを整理する。このケースワークをもとに、指数関数的な壁に立ち向かうアルゴリズム設計のための方法論を新たに体系化することで、理論と実装が一体となって大規模離散構造処理のための革新的アルゴリズム基盤技術へと昇華することを目指す。

Outline of Annual Research Achievements

情報化社会におけるデータの規模の拡大や組合せの複雑化などにより、理論と実用の両方の観点から、問題が内包する大規模離散構造を利用したアルゴリズムの設計技法が求められている。本研究では、これまで個別の分野で個々のアイデアに基づいて設計されてきたアルゴリズムを理論計算機科学の観点から改めて観察することで、大規模離散構造を理解し、その構造をどのように利用しているかを整理している。このために、二分決定グラフ (BDD) やその亜種の零抑制型二分決定グラフ (ZDD) のアルゴリズム、逆探索による列挙アルゴリズム、グラフ探索アルゴリズム、文字列処理アルゴリズムなど、指数関数的に大きな解空間を持つ問題を対象に、多面的なテーマにて理論と実用の両方の観点からケースワークを行った。たとえば、建築物の剛性の観点から注目されている Laman グラフでは、辺の交差は実用上の支障となる。交差数の最大値を与える頂点集合 P の配置に関する検討を行い、下界 (10/7-ε)|P| を証明した。この成果に関する共著学生(研究協力者)の発表に対し、回路とシステムワークショップ奨励賞を受賞している。n-omino数独や最小公倍図形、量子回路などに関する検討が駆動力となって、要素技術の融合も進んでいる。また、計算量理論および実装とその応用の観点から、組合せ遷移問題にも取り組んでおり、組合せ遷移問題に関する国際プログラミング競技会 (CoReChallenge 2023) にて Solver Track 全12部門中5部門で優勝、7部門で準優勝などの成果を挙げている。また、国際連携と本研究課題の研究の波及を図るため、2023年8月に、国際会議 ICIAM にて本研究課題に関する企画講演セッションを行うと共に、その講演者を交えて8日間のワークショップを開催した。2024年3月には国際会議 WALCOM を開催した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

本学術変革領域の領域集会などを通じて本研究課題の目的や他研究課題との連携について周知し、理論面や実装面で関連する知見を持つ領域内外の研究者の参加を促している。未解決問題を持ち寄り密に議論するとともに、互いの要素技術の融合について検討する SSSS (Short-Stay Seminar Series) を定期的に開催しており、2023年7月、9月、12月に福岡、大阪、鹿児島でそれぞれ開催した。2023年8月に開催した国際会議 ICIAM での企画講演セッション、その講演者を交えたワークショップ、2024年3月に開催の国際会議 WALCOM などでの国内外の研究者との連携も進んでいる。こうした継続的かつ地道な取り組みにより、これまで個別の分野で個々のアイデアに基づいて設計されてきたアルゴリズムを理論計算機科学の観点から改めて観察し、分野の垣根を越えた技術連携へとつなげる本研究課題の狙いに沿った研究が少しずつ形になってきている。過年度からのタイリングや、今年度に新たに取り組んだn-omino数独や最小公倍図形等の問題における整数計画法や BDD/ZDD、解集合プログラミング (ASP) などのさまざまアプローチの検討がきっかけとなり、連携が進んでいる。また、文字列アルゴリズムに関する知見と列挙アルゴリズム、ASP アルゴルズムに関する知見の融合の萌芽が本研究課題と領域内公募研究とで見られるなど、多面的な連携が順調に進展しているといえる。

Strategy for Future Research Activity

現在までの進捗状況を踏まえつつ研究目的を鑑み、入力のサイズに対して指数関数的に大きな解空間を持つ組合せ問題に対し、理論や実用の個別の分野において個別のアイデアに基づいて設計されてきた成功事例をケースワークとして理論計算機科学の観点から多面的な研究テーマにて改めて観察し、その大規模離散構造の理解へと取り組む。また、個別の分野で培ってきた知見を他分野にも共有し理解を促進する。上述のように、本研究課題の推進により分野の垣根を越えた連携がさまざまな面で形になってきており、今後も連携の強化を念頭において研究を進める。こうした取り組みでは、本研究課題の研究者内のみに限定せず、本学術変革領域内外でも関心を持つ研究者に知見を共有するとともに、研究者の技術との融合のきっかけとする。このために、対面での密な議論と、オンライン会議による遠隔での議論を併用しつつ、それぞれの利点を活かした議論を進める。SSSS (Short-Stay Seminar Series) は本学術変革領域内外の研究者が継続的かつ意欲的に参加しており、本研究課題の研究スタイルとして上手く機能しているため、引き続き開催する。また、国際連携と本研究課題の研究の波及を図るため、国際会議 AAAC (Annual Meeting of Asian Association for Algorithms and Computation) や CPM (Annual Symposium on Combinatorial Pattern Matching) を、大阪および福岡で開催する。

Report

(4 results)
  • 2023 Annual Research Report
  • 2022 Annual Research Report
  • 2021 Annual Research Report
  • 2020 Annual Research Report
  • Research Products

    (186 results)

All 2024 2023 2022 2021 2020 Other

All Int'l Joint Research (3 results) Journal Article (39 results) (of which Int'l Joint Research: 7 results,  Peer Reviewed: 39 results,  Open Access: 17 results) Presentation (131 results) (of which Int'l Joint Research: 69 results,  Invited: 4 results) Book (10 results) Funded Workshop (3 results)

  • [Int'l Joint Research] MIT/UC Irvine(米国)

    • Related Report
      2023 Annual Research Report
  • [Int'l Joint Research] Universite libre de Bruxelles(ベルギー)

    • Related Report
      2023 Annual Research Report
  • [Int'l Joint Research] Maastricht University(オランダ)

    • Related Report
      2023 Annual Research Report
  • [Journal Article] Efficient enumeration of non-isomorphic distance-hereditary graphs and related graphs2024

    • Author(s)
      K. Yamazaki, M. Qian, R. Uehara
    • Journal Title

      Discrete Applied Mathematics

      Volume: 342 Pages: 190-199

    • DOI

      10.1016/j.dam.2023.09.002

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] QNetDiff: a quantitative measurement of network rewiring2024

    • Author(s)
      Shota Nose, Hirotsugu Shiroma, Takuji Yamada, Yushi Uno
    • Journal Title

      BMC Bioinformatics

      Volume: 25 Issue: 1 Pages: 118-118

    • DOI

      10.1186/s12859-024-05702-z

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Enumerating Empty and Surrounding Polygons2023

    • Author(s)
      TERUI Shunta、YAMANAKA Katsuhisa、HIRAYAMA Takashi、HORIYAMA Takashi、KURITA Kazuhiro、UNO Takeaki
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E106.A Issue: 9 Pages: 1082-1091

    • DOI

      10.1587/transfun.2022DMP0007

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2023-09-01
    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Solving Power Distribution Network Problems with Answer Set Programming2023

    • Author(s)
      山田 健太郎、湊 真一、田村 直之、番原 睦則
    • Journal Title

      Computer Software

      Volume: 40 Issue: 2 Pages: 2_3-2_18

    • DOI

      10.11309/jssst.40.2_3

    • ISSN
      0289-6540
    • Year and Date
      2023-04-21
    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks2023

    • Author(s)
      Shoji Kasahara, Jun Kawahara, Shin-ichi Minato, Jumpei Mori
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E106.D Issue: 3 Pages: 272-283

    • DOI

      10.1587/transinf.2022FCP0007

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2023-03-01
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Finding top-k longest palindromes in substrings2023

    • Author(s)
      Mitani Kazuki、Mieno Takuya、Seto Kazuhisa、Horiyama Takashi
    • Journal Title

      Theoretical Computer Science

      Volume: 979 Pages: 114183-114183

    • DOI

      10.1016/j.tcs.2023.114183

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Efficient folding algorithms for convex polyhedra2023

    • Author(s)
      Tonan Kamata, Akira Kadoguchi, Takashi Horiyama, Ryuhei Uehara
    • Journal Title

      Discrete & Computational Geometry

      Volume: 70 Issue: 4 Pages: 1499-1522

    • DOI

      10.1007/s00454-022-00415-7

    • Related Report
      2023 Annual Research Report 2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Multifold Tiles of Polyominoes and Convex Lattice Polygons2023

    • Author(s)
      K. Chida, E. D. Demaine, M. L. Demaine, D. Eppstein, A. Hesterberg, T. Horiyama, J. Iacono, H. Ito, S. Langerman, R. Uehara, Y. Uno
    • Journal Title

      Thai Journal of Mathematics 957

      Volume: 21 Pages: 957-978

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Clarifying the Difference between Origami Fold Models by a Matrix Representation2023

    • Author(s)
      Y. Jia, J. Mitani, R. Uehara
    • Journal Title

      Thai Journal of Mathematics

      Volume: 21/4 Pages: 1061-1079

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Computational Complexity of Puzzles and Related Topics2023

    • Author(s)
      R. Uehara
    • Journal Title

      Interdisciplinary Information Sciences

      Volume: 29 Issue: 2 Pages: 119-140

    • DOI

      10.4036/iis.2022.R.06

    • ISSN
      1340-9050, 1347-6157
    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Sorting balls and water: Equivalence and computational complexity2023

    • Author(s)
      Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
    • Journal Title

      Theoretical Computer Science

      Volume: 927 Pages: 114158-114158

    • DOI

      10.1016/j.tcs.2023.114158

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Any platonic solid can transform to another by O(1) refoldings2023

    • Author(s)
      Demaine Erik D.、Demaine Martin L.、Diomidov Yevhenii、Kamata Tonan、Uehara Ryuhei、Zhang Hanyu Alice
    • Journal Title

      Computational Geometry

      Volume: 113 Pages: 101995-101995

    • DOI

      10.1016/j.comgeo.2023.101995

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Monotone diameter of bisubmodular polyhedra2023

    • Author(s)
      Yasuko Matsui, Noriyoshi Sukegawa, Ping Zhan
    • Journal Title

      Oper Res Forum

      Volume: 4(76) Issue: 4 Pages: 1-16

    • DOI

      10.1007/s43069-023-00260-1

    • NAID

      110000532689

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Mathematical Characterizations and Computational Complexity of Anti-Slide Puzzles2023

    • Author(s)
      Ko Minamisawa, Ryuhei Uehara, Masao Hara
    • Journal Title

      Theoretical Computer Science

      Volume: 939 Pages: 216-226

    • DOI

      10.1016/j.tcs.2022.10.026

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Logical Matrix Representations in Map Folding2022

    • Author(s)
      JIA Yiyang、MITANI Jun、UEHARA Ryuhei
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E105.A Issue: 10 Pages: 1401-1412

    • DOI

      10.1587/transfun.2021EAP1165

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2022-10-01
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Efficient Computation of Betweenness Centrality by Graph Decompositions and Their Applications to Real-World Networks2022

    • Author(s)
      Tatsuya INOHA, Kunihiko SADAKANE, Yushi UNO, Yuma YONEBAYASHI
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E105.D Issue: 3 Pages: 451-458

    • DOI

      10.1587/transinf.2021FCP0003

    • NAID

      130008165588

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2022-03-01
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Research on Dissections of a Net of a Cube into Nets of Cubes2022

    • Author(s)
      OKADA Tamami、UEHARA Ryuhei
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E105.D Issue: 3 Pages: 459-465

    • DOI

      10.1587/transinf.2021FCP0004

    • NAID

      130008165586

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2022-03-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Cyclic Shift Problems on Graphs2022

    • Author(s)
      Kwon Kham Sai, Ryuhei Uehara, Giovanni Viglietta
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E105.D Issue: 3 Pages: 532-540

    • DOI

      10.1587/transinf.2021FCP0010

    • NAID

      130008165593

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2022-03-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Bicolored Path Embedding Problems Inspired by Protein Folding Models2022

    • Author(s)
      Feng Tianfeng, Giovanni Vigliette, Ryuhei Uehara
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E105.D Issue: 3 Pages: 623-633

    • DOI

      10.1587/transinf.2021EDP7206

    • NAID

      130008165624

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2022-03-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Factorizing Strings into Repetitions2022

    • Author(s)
      Hiroe Inoue, Yoshiaki Matsuoka, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Journal Title

      Theory of Computing Systems

      Volume: 66 Issue: 2 Pages: 484-501

    • DOI

      10.1007/s00224-022-10070-3

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Efficient segment folding is hard2022

    • Author(s)
      Horiyama Takashi、Klute Fabian、Korman Matias、Parada Irene、Uehara Ryuhei、Yamanaka Katsuhisa
    • Journal Title

      Computational Geometry

      Volume: 104 Pages: 101860-101860

    • DOI

      10.1016/j.comgeo.2022.101860

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Geodesic Folding of Regular Tetrahedron2022

    • Author(s)
      Seri Nishimoto, Takashi Horiyama, Tomohiro Tachi
    • Journal Title

      Journal for Geometry and Graphics

      Volume: 26 Pages: 81-100

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Developing a tetramonohedron with minimum cut length2022

    • Author(s)
      Erik D. Demaine, Martin L. Demaine, Ryuhei Uehara
    • Journal Title

      Computational Geometry: Theory and Applications

      Volume: 108 Pages: 101903-101903

    • DOI

      10.1016/j.comgeo.2022.101903

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Combinatorics of minimal absent words for a sliding window2022

    • Author(s)
      Tooru Akagi, Yuki Kuhara, Takuya Mieno, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Journal Title

      Theoretical Computer Science

      Volume: 927 Pages: 109-119

    • DOI

      10.1016/j.tcs.2022.06.002

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Token Shifting on Graphs2022

    • Author(s)
      Win Hlaing Hlaing Myint, Ryuhei Uehara, Giovanni Viglietta
    • Journal Title

      International Journal of Computer Mathematics: Computer Systems Theory

      Volume: 7 Issue: 4 Pages: 223-234

    • DOI

      10.1080/23799927.2022.2118622

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Unsupervised Discovery of Tonality in Bach's Chorales2022

    • Author(s)
      Yui Uehara, Satoshi Tojo, Ryuhei Uehara
    • Journal Title

      Journal of Intelligence Informatics and Smart Technology

      Volume: 8

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Parameterized DAWGs: Efficient constructions and bidirectional pattern searches2022

    • Author(s)
      Katsuhito Nakashima, Noriki Fujisato, Diptarama Hendrian, Yuto Nakashima, Ryo Yoshinaka, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, Masayuki Takeda
    • Journal Title

      Theoretical Computer Science

      Volume: 933 Pages: 21-42

    • DOI

      10.1016/j.tcs.2022.09.008

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Linear-Time Recognition of Double-Threshold Graphs2022

    • Author(s)
      Yusuke Kobayashi, Yoshio Okamoto, Yota Otachi, Yushi Uno
    • Journal Title

      Algorithmica 84(4): 1163-1181 (2022)

      Volume: 84 Issue: 4 Pages: 1163-1181

    • DOI

      10.1007/s00453-021-00921-9

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Palindromic trees for a sliding window and its applications2022

    • Author(s)
      Takuya Mieno, Kiichi Watanabe, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Journal Title

      Information Processing Letters

      Volume: 173 Pages: 106174-106174

    • DOI

      10.1016/j.ipl.2021.106174

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Ununfoldable Polyhedra with 6 Vertices or 6 Faces2022

    • Author(s)
      Hugo A. Akitaya, Erik D. Demaine, David Eppstein, Tomohiro Tachi, Ryuhei Uehara
    • Journal Title

      Computational Geometry: Theory and Applications

      Volume: 103 Pages: 101857-101857

    • DOI

      10.1016/j.comgeo.2021.101857

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Max-Min 3-Dispersion Problems2021

    • Author(s)
      Takashi Horiyama, Shin-ichi Nakano, Toshiki Saitoh, Koki Suetsugu, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, and Kunihiro Wasa
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E104.A Issue: 9 Pages: 1101-1107

    • DOI

      10.1587/transfun.2020DMP0003

    • NAID

      130008081864

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2021-09-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Research on Map Folding with Boundary Order on Simple Fold2021

    • Author(s)
      Yiyang Jia, Jun Mitani, and Ryuhei Uehara
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E104.A Issue: 9 Pages: 1116-1126

    • DOI

      10.1587/transfun.2020DMP0017

    • NAID

      130008081787

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2021-09-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Note on Enumeration of 3-Edge-Connected Spanning Subgraphs in Plane Graphs2021

    • Author(s)
      MATSUI Yasuko、OZEKI Kenta
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E104.D Issue: 3 Pages: 389-391

    • DOI

      10.1587/transinf.2020FCL0002

    • NAID

      130007993194

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2021-03-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Shortest Reconfiguration of Sliding Tokens on Subclasses of Interval Graphs2021

    • Author(s)
      Takeshi Yamada, Ryuhei Uehara
    • Journal Title

      Theoretical Computer Science

      Volume: 863 Pages: 53-68

    • DOI

      10.1016/j.tcs.2021.02.019

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Compressed Communication Complexity of Hamming Distance2021

    • Author(s)
      Shiori Mitsuya, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Journal Title

      Algorithms

      Volume: 14 Issue: 4 Pages: 116-116

    • DOI

      10.3390/a14040116

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Computing Minimal Unique Substrings for a Sliding Window2021

    • Author(s)
      Takuya Mieno, Yuta Fujishige, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Journal Title

      Algorithmica

      Volume: 84 Issue: 3 Pages: 670-693

    • DOI

      10.1007/s00453-021-00864-1

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Efficiently computing runs on a trie2021

    • Author(s)
      Ryo Sugahara, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Journal Title

      Theoretical Computer Science

      Volume: 887 Pages: 143-151

    • DOI

      10.1016/j.tcs.2021.07.011

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Finding well-optimized special quasirandom structures with decision diagram2021

    • Author(s)
      Shinohara Kohei、Seko Atsuto、Horiyama Takashi、Tanaka Isao
    • Journal Title

      Physical Review Materials

      Volume: 5 Issue: 11 Pages: 113803-113803

    • DOI

      10.1103/physrevmaterials.5.113803

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Algorithmic Enumeration of Surrounding Polygons2020

    • Author(s)
      K. Yamanaka, D. Avis, T. Horiyama, Yoshio Okamoto, R. Uehara and T. Yamauchi
    • Journal Title

      Discrete Applied Mathematics

      Volume: online Pages: 1-19

    • DOI

      10.1016/j.dam.2020.03.034

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Presentation] Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover2024

    • Author(s)
      T. Horiyama, Y. Kobayashi, H. Ono, K. Seto, R. Suzuki
    • Organizer
      The 38th Annual AAAI Conference on Artificial Intelligence
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] The Number of Non-overlapping Edge Unfoldings in Convex Regular-faced Polyhedra2024

    • Author(s)
      T. Shiota, Y. Enomoto, T. Horiyama, T. Saitoh
    • Organizer
      The 40th European Workshop on Computational Geometry
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Optimizing Decision Diagrams for Measurements of Quantum Circuits2024

    • Author(s)
      R. Matsuo, R. Raymond, S. Yamashita, S. Minato
    • Organizer
      The 29th Asia South Pacific Design Automation Conference
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On the Computational Complexity of Generalized Common Shape Puzzles2024

    • Author(s)
      M. Banbara, S. Minato, H. Ono, R. Uehara
    • Organizer
      The 49th International Conference on Current Trends in Theory and Practice of Computer Science
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations2024

    • Author(s)
      S. Ooba, J. Kawahara, S. Minato
    • Organizer
      The 16th International Conference on Agents and Artificial Intelligence
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Recent Research Activities on Algorithmic Foundations for Social Advancement2024

    • Author(s)
      S. Minato
    • Organizer
      The 18th International Conference and Workshops on Algorithms and Computation
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis2024

    • Author(s)
      Y. Yamada, M. Banbara, K. Inoue, T. Schaub, R. Uehara
    • Organizer
      The 18th International Conference and Workshops on Algorithms and Computation
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 1ブロック編集時の最長ボーダークエリと最小カバークエリ2024

    • Author(s)
      三谷和暉, 三重野琢也, 脊戸和寿, 堀山貴史
    • Organizer
      LA シンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] フィボナッチ文字列中の極大αギャップ付き反復の個数の上界2024

    • Author(s)
      山根和真, 中島祐人, 脊戸和寿, 堀山貴史
    • Organizer
      LA シンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] 整面凸多面体の重なりを持たない辺展開図の数え上げ2024

    • Author(s)
      塩田拓海, 榎本優大, 堀山貴史, 斎藤寿樹
    • Organizer
      LA シンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] マトロイドを表すBDD/ZDDについて2024

    • Author(s)
      江本洸海, 岩政勇仁, 湊真一
    • Organizer
      電子情報通信学会2024総合大会
    • Related Report
      2023 Annual Research Report
  • [Presentation] コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用2024

    • Author(s)
      古渡健太, 川原純, 湊真一
    • Organizer
      日本オペレーションズ・リサーチ学会2024年春季研究発表会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価2024

    • Author(s)
      吉浩, 川原純, 湊真一
    • Organizer
      情報処理学会第86回全国大会
    • Related Report
      2023 Annual Research Report
  • [Presentation] ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム2024

    • Author(s)
      宮本照之, 川原純, 湊真一
    • Organizer
      人工知能学会第128回人工知能基本問題研究会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 水性ガスシフト反応の反応経路ネットワーク分析2024

    • Author(s)
      江村紅音, 杉山佳奈美, 湊真一, 東雅大, 佐藤啓文
    • Organizer
      日本化学会 第104春季年会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 解集合プログラミングを用いた支配集合遷移2024

    • Author(s)
      加藤聖人, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2023 Annual Research Report
  • [Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024

    • Author(s)
      杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2023 Annual Research Report
  • [Presentation] Answer Set Programming を用いた圧縮指標の計算2024

    • Author(s)
      クップル ドミニク, 番原睦則
    • Organizer
      LAシンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] Lower Bounds for the Thickness and the Total Number of Edge Crossings of Euclidean Minimum Weight Laman Graphs and (2,2)- Tight Graphs2023

    • Author(s)
      Y. Kawakami, S. Takahashi, K. Seto, T. Horiyama, Y. Kobayashi, Y. Higashikawa, N. Katoh
    • Organizer
      The 35th Canadian Conference on Computational Geometry
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Critical Sets of n-omino Sudoku2023

    • Author(s)
      T. Horiyama, T. Kamata, H. Kiya, H. Ono, T. Shiota, R. Uehara, Y. Uno
    • Organizer
      The 25th Indonesia-Japan Conference on Discrete and Computational Geometry, Graphs and Games
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure2023

    • Author(s)
      K. Nakamura, T. Inoue, M. Nishino, N. Yasuda, S. Minato
    • Organizer
      2023 IEEE International Conference on Computer Communications
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Exact and Efficient Network Reliability Evaluation per Outage Scale2023

    • Author(s)
      K. Nakamura, T. Inoue, M. Nishino, N. Yasuda, S. Minato
    • Organizer
      IEEE International Conference on Communication
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints2023

    • Author(s)
      K. Nakamura, M. Nishino, N. Yasuda, S. Minato
    • Organizer
      The 21st International Symposium on Experimental Algorithms
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Overlapping of Lattice Unfolding for Cuboids2023

    • Author(s)
      T. Shiota, T. Kamata, R. Uehara
    • Organizer
      The 35th Canadian Conference on Computational Geometry
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Upper Clique Transversals in Graphs2023

    • Author(s)
      M. Milanic, Y. Uno
    • Organizer
      The 49th International Workshop on Graph-Theoretic Concepts in Computer Science
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming2023

    • Author(s)
      Y. Yamada, M. Banbara, K. Inoue, T. Schaub
    • Organizer
      The 18th Edition of the European Conference on Logics in Artificial Intelligence
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023

    • Author(s)
      T. Hirate, M. Banbara, K. Inoue, X.-N. Lu, H. Nabeshima, T. Schaub, T. Soh, N. Tamura
    • Organizer
      The 18th Edition of the European Conference on Logics in Artificial Intelligence
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Enumerate All Routes on a Doughnut2023

    • Author(s)
      Y. Matsui, S. Nakano
    • Organizer
      The 10th International Congress on Industrial and Applied Mathematics
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Map Folding2023

    • Author(s)
      Y. Uno
    • Organizer
      The 10th International Congress on Industrial and Applied Mathematics
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Enumerate All Routes on a Doughnut2023

    • Author(s)
      Y. Matsui, S. Nakano
    • Organizer
      The 25th Indonesia-Japan Conference on Discrete and Computational Geometry, Graphs, and Games
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Optimally Computing Compressed Indexing Arrays Based on the Compact Directed Acyclic Word Graph2023

    • Author(s)
      H. Arimura, S. Inenaga, Y. Kobayashi, Y. Nakashima, M. Sue
    • Organizer
      The 30th edition of the annual Symposium on String Processing and Information Retrieval
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Linear-Time Computation of Generalized Minimal Absent Words of Multiple Strings2023

    • Author(s)
      K. Okabe, T. Mieno, Y. Nakashima, S. Inenaga, H. Bannai
    • Organizer
      The 30th edition of the annual Symposium on String Processing and Information Retrieval
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Largest Repetition Factorization of Fibonacci Words2023

    • Author(s)
      K. Kishi, Y. Nakashima, S. Inenaga
    • Organizer
      The 30th edition of the annual Symposium on String Processing and Information Retrieval
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Computing SEQ-IC-LCS of Labeled Graphs2023

    • Author(s)
      Y. Yonemoto, Y. Nakashima, S. Inenaga
    • Organizer
      The Prague Stringology Conference 2023
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On Sensitivity of Compact Directed Acyclic Word Graphs2023

    • Author(s)
      H. Fujimaru, Y. Nakashima, S. Inenaga
    • Organizer
      The 14th International Conference on Words
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Bit catastrophes for the Burrows-Wheeler Transform2023

    • Author(s)
      S. Giuliani, S. Inenaga, Z. Liptak, G. Romana, M. Sciortino, C. Urbina
    • Organizer
      The 27th International Conference on Developments in Language Theory
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Enumeration of Non-isomorphic Unordered Trees with Degree Sequence Constraints2023

    • Author(s)
      S. Denzumi, T. Horiyama, K. Kurita, A. Nagao, K. Seto, K. Wasa
    • Organizer
      情報処理学会, アルゴリズム研究会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 平面上の最小重み無交差 Laman グラフと関連する幾何的グラフについて2023

    • Author(s)
      河上悠輝, 脊戸和寿, 堀山貴史, 小林祐貴, 東川雄哉, 加藤直樹
    • Organizer
      LA シンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] NP-completeness of Computing Pre-assignments to Uniquify Vertex Cover for Bipartite Graphs2023

    • Author(s)
      R. Suzuki, Y. Kobayashi, K. Seto, T. Horiyama
    • Organizer
      LA シンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] フィボナッチ文字列中の極大ギャップ付き反復の個数2023

    • Author(s)
      山根和真, 中島祐人, 脊戸和寿, 堀山貴史
    • Organizer
      LA シンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] Hardness of Computing a Pre-assignment to Uniquify Minimum Dominating Sets on Bipartite Graphs2023

    • Author(s)
      R. Suzuki, K. Seto, T. Horiyama
    • Organizer
      情報処理学会, アルゴリズム研究会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 45度系格子パターンにおける局所平坦折り可能な展開図の数え上げと ZDD による列挙2023

    • Author(s)
      堀山貴史
    • Organizer
      折り紙の科学を基盤とするアート・数理および工学への応用IV
    • Related Report
      2023 Annual Research Report
    • Invited
  • [Presentation] ブール関数を実現する量子回路のトフォリゲート数による列挙の効率化2023

    • Author(s)
      山下茂, 堀山貴史, 安田宜仁
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 単項二階論理式で与えられた論理関数を表す決定グラフの構築2023

    • Author(s)
      大場翔, 川原純, 湊真一
    • Organizer
      2023年度人工知能学会全国大会
    • Related Report
      2023 Annual Research Report
  • [Presentation] CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法2023

    • Author(s)
      中村健吾, 西野正彬, 安田宜仁, 湊真一
    • Organizer
      2023年度人工知能学会全国大会
    • Related Report
      2023 Annual Research Report
  • [Presentation] A*探索に基づく組合せ最適化問題の上位解列挙とZDDの構築2023

    • Author(s)
      赤川雄紀, 川原純, 湊真一
    • Organizer
      第21回情報科学技術フォーラム
    • Related Report
      2023 Annual Research Report
  • [Presentation] SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携2023

    • Author(s)
      小菅脩司, 酒井正彦, 番原睦則
    • Organizer
      第125回人工知能基本問題研究会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023

    • Author(s)
      加藤聖人, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      2023年度人工知能学会全国大会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 解集合プログラミングを用いたトークンスライディング型・独立集合遷移問題の解法に関する考察2023

    • Author(s)
      髙田和紀, 山田悠也, 番原睦則
    • Organizer
      2023年度人工知能学会全国大会
    • Related Report
      2023 Annual Research Report
  • [Presentation] Enumerating minimal vertex covers and dominating sets with capacity and/or connectivity constraints2023

    • Author(s)
      Y. Kobayashi, K. Kurita,Y. Matsui, H. Ono
    • Organizer
      電子情報通信学会, コンピュテーション研究会
    • Related Report
      2023 Annual Research Report
  • [Presentation] SAT-based Method for Finding Attractors in Asynchronous Multi-valued Networks2023

    • Author(s)
      Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
    • Organizer
      Tthe 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Solving Vehicle Equipment Specification Problems with Answer Set Programming2023

    • Author(s)
      Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
    • Organizer
      The 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Enumerate All Routes on a Doughnut2023

    • Author(s)
      Yasuko Matsui, Shin-ichi Nakano
    • Organizer
      54th Southeastern International Conference on Combinatorics, Graph Theory and Computing
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Reconfiguration of vertex-disjoint shortest paths on graphs2023

    • Author(s)
      Rin Saito, Hiroshi Eto, Takehiro Ito, Ryuhei Uehara
    • Organizer
      The 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Internal Longest Palindrome Queries in Optimal Time2023

    • Author(s)
      Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, Takashi Horiyama
    • Organizer
      The 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] あみだくじと菱形タイリングの列挙2023

    • Author(s)
      堀山貴史
    • Organizer
      科学研究費補助金 学術変革領域 (B) 組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合, 第34回セミナー
    • Related Report
      2022 Annual Research Report
    • Invited
  • [Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023

    • Author(s)
      平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2022 Annual Research Report
  • [Presentation] 部分順列グラフの集合を表現するZDDの構築2023

    • Author(s)
      高嶋勇哉, 川原純, 湊真一
    • Organizer
      情報処理学会第85回全国大会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 辺重み付き系列二分決定グラフによる頻出部分列の多重集合表現とその評価2023

    • Author(s)
      杉野創, 川原純, 湊真一
    • Organizer
      情報処理学会第85回全国大会
    • Related Report
      2022 Annual Research Report
  • [Presentation] ZDDによるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法2023

    • Author(s)
      周文爍, 川原純, 湊真一
    • Organizer
      情報処理学会第85回全国大会
    • Related Report
      2022 Annual Research Report
  • [Presentation] ZDDを用いた最適円筒あみだくじの列挙2023

    • Author(s)
      岩崎善泰, 堀山貴史, 松井泰子, 野崎雄太, 脊戸和寿, 山中克久
    • Organizer
      情報処理学会アルゴリズム研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] Solving Rep-tile by Computers2022

    • Author(s)
      Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
    • Organizer
      14th Gathering 4 Gardner Conference
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Sorting Balls and Water: Equivalence and Computational Complexity2022

    • Author(s)
      Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
    • Organizer
      11th International Conference on Fun with Algorithms (FUN 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Rolling Polyhedra on Tessellations2022

    • Author(s)
      Akira Baes, Erik D. Demaine, Martin L. Demaine, Elizabeth Hartung, Stefan Langerman, Joseph O'Rourke, Ryuhei Uehara, Yushi Uno, Aaron Williams
    • Organizer
      11th International Conference on Fun with Algorithms (FUN 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] RePair Grammars are the Smallest Grammars for Fibonacci Words2022

    • Author(s)
      Takuya Mieno, Shunsuke Inenaga, Takashi Horiyama
    • Organizer
      Tthe 33rd Annual Symposium on Combinatorial Pattern Matching (CPM 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Compacting Squares: Input-Sensitive In-Place Reconfiguration of Sliding Squares2022

    • Author(s)
      Hugo Akitaya, Erik D. Demaine, Matias Korman, Irina Kostitsyna, Irene Parada, Willem Sonke, Bettina Speckmann, Ryuhei Uehara, Jules Wulms
    • Organizer
      The 18th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Rep-tile Font2022

    • Author(s)
      Tomoko Taniguchi, Ryuhei Uehara
    • Organizer
      Bridges Aalto 2022
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Discretization to Prove the Nonexistence of Small Common Unfoldings Between Polyhedra2022

    • Author(s)
      Elena Arseneva, Erik D. Demaine, Tonan Kamata, Ryuhei Uehara
    • Organizer
      The 34th Canadian Conference on Computational Geometry (CCCG 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Computational Complexity of Flattening Fixed-Angle Orthogonal Chains2022

    • Author(s)
      Erik D. Demaine, Hiro Ito, Jayson Lynch, Ryuhei Uehara
    • Organizer
      The 34th Canadian Conference on Computational Geometry (CCCG 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Computational Complexity of One-Dimensional Origami and Its Application to Digital Signature2022

    • Author(s)
      Junnosuke Hoshido, Tonan Kamata, Tsutomu Ansai, Ryuhei Uehara
    • Organizer
      The 34th Canadian Conference on Computational Geometry (CCCG 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Quasi-Twisting Convex Polyhedra2022

    • Author(s)
      Joseph O'Rourke, Anna Lubiw, Ryuhei Uehara, Chie Nara, Thomas Hull, Klara Mundilova, Josef Tkadlec
    • Organizer
      The 34th Canadian Conference on Computational Geometry (CCCG 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Metamorphosis of a Tiling Font2022

    • Author(s)
      Erik D. Demaine, Martin L. Demaine, Scott Kim, Yushi Uno
    • Organizer
      The 5th International Conference on Mathematics of Various Entertaining Subjects
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Geodesic paths passing through all faces on a polyherdon2022

    • Author(s)
      Erik Demaine, Martin Demaine, David Eppstein, Hiro Ito, Yuta Katayama, Wataru Maruyama, Yushi Uno
    • Organizer
      The 24th Japan Conference on Discrete and Computational Geometry, Graphs, and Games
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Find Routes on a Doughnut2022

    • Author(s)
      Yasuko Matsui, Shin-ichi Nakano
    • Organizer
      The 24th Japan Conference on Discrete and Computational Geometry, Graphs, and Games
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Counting and ZDD-based Enumeration of Locally Flat-Foldable Box-Pleated Crease Patterns on the 45-Degree Grid System2022

    • Author(s)
      Yudai Enomoto, Yuki Kawakami, Kazuhisa Seto, Takashi Horiyama, Jun Mitani
    • Organizer
      The 5th International Workshop on Enumeration Problems & Applications (WEPA 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022

    • Author(s)
      Shin-Ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
    • Organizer
      The 5th International Workshop on Enumeration Problems & Applications (WEPA 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 解集合プログラミングを用いた独立集合遷移問題の解法に関する考察2022

    • Author(s)
      山田悠也, 加藤聖人, 小菅脩司, 竹内頼人, 番原睦則
    • Organizer
      2022年度人工知能学会全国大会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 文字列中の異なる閉文字列の数え上げと最大個数について2022

    • Author(s)
      高橋駿, 脊戸和寿, 堀山貴史, 三重野琢也
    • Organizer
      2022年度夏のLA シンポジウム
    • Related Report
      2022 Annual Research Report
  • [Presentation] 区間最長回文クエリに対する時間最適アルゴリズム2022

    • Author(s)
      三谷和暉, 脊戸和寿, 堀山貴史, 三重野琢也
    • Organizer
      2022年度夏のLA シンポジウム
    • Related Report
      2022 Annual Research Report
  • [Presentation] 最小重み Laman グラフの総交点数と厚みの下界の改良2022

    • Author(s)
      河上悠輝, 高橋駿, 脊戸和寿, 堀山貴史, 小林祐貴, 東川雄哉, 加藤直樹
    • Organizer
      2022年度夏のLA シンポジウム
    • Related Report
      2022 Annual Research Report
  • [Presentation] 最小重み Laman グラフの総交点数と厚みの下界の改良2022

    • Author(s)
      河上悠輝, 高橋駿, 脊戸和寿, 堀山貴史, 小林祐貴, 東川雄哉, 加藤直樹
    • Organizer
      第35回 回路とシステムワークショップ
    • Related Report
      2022 Annual Research Report
  • [Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーとその性能評価2022

    • Author(s)
      山田悠也, 番原睦則
    • Organizer
      日本ソフトウェア科学会第39回大会
    • Related Report
      2022 Annual Research Report
  • [Presentation] マトロイド判定問題に対するZDDを用いた解法とその評価2022

    • Author(s)
      江本洸海, 岩政勇仁, 湊真一
    • Organizer
      第21回情報科学技術フォーラム(FIT2022)
    • Related Report
      2022 Annual Research Report
  • [Presentation] 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察2022

    • Author(s)
      加藤聖人, 田村直之, 番原睦則
    • Organizer
      日本ソフトウェア科学会第39回大会
    • Related Report
      2022 Annual Research Report
  • [Presentation] ネットワーク信頼性評価におけるk辺連結性を表現 するMDDの構築法2022

    • Author(s)
      阿部春樹, 川原純, 湊真一
    • Organizer
      情報処理学会アルゴリズム研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] Find Routes on a Doughnut2022

    • Author(s)
      Yasuko Matsui, Shin-ichi Nakano
    • Organizer
      第34回位相幾何学的グラフ理論研究集会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 自己同型写像の断片を用いた代表元の反復抽出による同型性の除去2022

    • Author(s)
      高橋孔平, 脊戸和寿, 堀山貴史
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] Compacting Squares: Input-Sensitive In-Place Reconfiguration of Sliding Squares2022

    • Author(s)
      Hugo Akitaya, Erik Demaine, Matias Korman, Irina Kostitsyna, Irene Parada, Willem Sonke, Bettina Speckmann, Ryuhei Uehara, Jules Wulms
    • Organizer
      The 38th European Workshop on Computational Geometry (EuroCG 2022)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] レプ・タイルの定式化を用いた各種ソルバの性能比較2022

    • Author(s)
      番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁
    • Organizer
      人工知能学会人工知能基本問題研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] あみだくじと菱形タイリングの列挙2022

    • Author(s)
      堀山貴史
    • Organizer
      人工知能学会, 第119回人工知能基本問題研究会
    • Related Report
      2021 Annual Research Report
    • Invited
  • [Presentation] 45度系格子パターンにおける局所平坦折り可能な展開図の数え上げとZDDによる列挙2022

    • Author(s)
      榎本優大, 河上悠輝, 脊戸和寿, 堀山貴史, 三谷純
    • Organizer
      2021年度冬のLA シンポジウム
    • Related Report
      2021 Annual Research Report
  • [Presentation] フィボナッチ文字列の最小文法はRePair文法2022

    • Author(s)
      三重野琢也, 稲永俊介, 堀山貴史
    • Organizer
      2021年度冬のLA シンポジウム
    • Related Report
      2021 Annual Research Report
  • [Presentation] チャネリング制約を用いたalldifferent 制約の SAT 符号化2022

    • Author(s)
      小菅脩司, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      情報処理学会第84回全国大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価2022

    • Author(s)
      桑原和也, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      情報処理学会第84回全国大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 解集合プログラミングを用いた配電網問題の解法2022

    • Author(s)
      山田健太郎, 湊真一, 田村直之, 番原睦則
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)
    • Related Report
      2021 Annual Research Report
  • [Presentation] レプ・タイルの定式化を用いた各種ソルバの性能比較2022

    • Author(s)
      番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁
    • Organizer
      第16回組合せゲーム・パズル研究集会
    • Related Report
      2021 Annual Research Report
  • [Presentation] ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙2022

    • Author(s)
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • Organizer
      情報処理学会, 第187回アルゴリズム研究発表会
    • Related Report
      2021 Annual Research Report
  • [Presentation] ZDD の反復的トップダウン構築による選挙区割問題に対する厳密解列挙高速化2022

    • Author(s)
      山崎宏紀, 川原純, 湊真一
    • Organizer
      情報処理学会第84回全国大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] Bicolored Path Embedding Problems in Protein Folding Models2021

    • Author(s)
      Tianfeng Feng, Ryuhei Uehara, Giovanni Viglietta
    • Organizer
      The 37th European Workshop on Computational Geometry (EuroCG 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] The Parameterized Suffix Tray2021

    • Author(s)
      Noriki Fujisato, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Organizer
      International Conference on Algorithms and Complexity (CIAC 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Any Regular Polyhedron Can Transform to Another by O(1) Refoldings2021

    • Author(s)
      Erik D. Demaine, Martin L. Demaine, Yevhenii Diomidov, Tonan Kamata, Ryuhei Uehara, Hanyu Alice Zhang
    • Organizer
      The 33rd Canadian Conference on Computational Geometry (CCCG 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Yin-Yang Puzzles are NP-complete2021

    • Author(s)
      Erik D. Demaine, Jayson Lynch, Mikhail Rudoy, Yushi Uno
    • Organizer
      The 33rd Canadian Conference on Computational Geometry (CCCG 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Counting Lyndon Subsequences2021

    • Author(s)
      Ryo Hirakawa, Yuto Nakashima, Shunsuke Inenaga, Masayuki Takeda
    • Organizer
      Prague Stringology Conference 2021 (PSC 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Note on Enumeration of 3-Edge-Connected Spanning Subgraphs in Plane Graphs2021

    • Author(s)
      Yasuko Matsui, Kenta Ozeki
    • Organizer
      The 22nd Conference of the International Federation of Operations Research Societies (IFORS 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Logical Matrix Representations in Map Folding2021

    • Author(s)
      Yiyang Jia, Jun Mitani, Ryuhei Uehara
    • Organizer
      The 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Multifold tiles of polyominoes and convex lattice polygons2021

    • Author(s)
      Kota Chida, Erik Demaine, Martin Demaine, David Eppstein, Adam Hesterberg, Takashi Horiyama, John Iacono, Hiro Ito, Stefan Langerman, Ryuhei Uehara
    • Organizer
      The 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Computational Complexity of Jumping Block Puzzles2021

    • Author(s)
      Masaaki Kanzaki, Yota Otachi, Ryuhei Uehara
    • Organizer
      The 27th International Computing and Combinatorics Conference
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Token Shifting on Graphs2021

    • Author(s)
      Win Hlaing Hlaing Myint, Ryuhei Uehara, Giovanni Viglietta
    • Organizer
      The 27th International Computing and Combinatorics Conference
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On the approximation ratio of LZ-End to LZ772021

    • Author(s)
      Takumi Ideue, Takuya Mieno, Mitsuru Funakoshi, Yuto Nakashima, Shunsuke Inenaga, Masayuki Takeda
    • Organizer
      The 28th International Symposium on String Processing and Information Retrieval (SPIRE 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Longest Common Rollercoasters2021

    • Author(s)
      Kosuke Fujita, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Organizer
      The 28th International Symposium on String Processing and Information Retrieval (SPIRE 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Grammar Index By Induced Suffix Sorting2021

    • Author(s)
      Tooru Akagi, Dominik Koeppl, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
    • Organizer
      The 28th International Symposium on String Processing and Information Retrieval (SPIRE 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Unsupervised Discovery of Tonality in Bach's Chorales2021

    • Author(s)
      Yui Uehara, Satoshi Tojo, Ryuhei Uehara
    • Organizer
      The 16th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] ZDDによる45度系格子パターンにおける局所平坦折り可能な展開図の列挙2021

    • Author(s)
      榎本優大, 脊戸和寿, 堀山貴史, 三谷純
    • Organizer
      第29回折り紙の科学・数学・教育研究集会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 解集合プログラミングに基づく系統的探索と確率的局所探索の統合的手法に関する一考察2021

    • Author(s)
      桑原和也, 田村直之, 番原睦則
    • Organizer
      2021年度人工知能学会全国大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 解集合プログラミングを用いた多目的車両装備仕様問題の解法2021

    • Author(s)
      竹内頼人, 田村直之, 番原睦則
    • Organizer
      2021年度人工知能学会全国大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] Towards CEGAR-based Parallel SAT Solving2021

    • Author(s)
      Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
    • Organizer
      Pragmatics of SAT (PoS 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察2021

    • Author(s)
      山田悠也, 湊真一, 番原睦則
    • Organizer
      日本ソフトウェア科学会第38回大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 解集合プログラミングを用いたハミルトン閉路問題の解法に関する考察2021

    • Author(s)
      平手貴大, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      日本ソフトウェア科学会第38回大会
    • Related Report
      2021 Annual Research Report
  • [Presentation] ポリオミノと格子凸多角形による多層タイル張り2021

    • Author(s)
      千田皐汰, Erik Demaine, Martin Demaine, David Eppstein, Adam Hesterberg, 堀山貴史, John Iacono, 伊藤大雄, Stefan Langerman, 上原隆平, 宇野裕之
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 平面グラフ上の辺連結全域部分グラフの列挙2021

    • Author(s)
      松井泰子, 小関健太
    • Organizer
      第33回位相幾何学的グラフ理論研究集会
    • Related Report
      2021 Annual Research Report
  • [Presentation] Mathematical Characterizations and Computational Complexity of Anti-Slide Puzzles2021

    • Author(s)
      K. Minamisawa, R. Uehara, M. Hara
    • Organizer
      The 15th International Conference and Workshops on Algorithms and Computation
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Cyclic Shift Problems on Graphs2021

    • Author(s)
      G. Viglietta, R. Uehara, K. K. Sai
    • Organizer
      The 15th International Conference and Workshops on Algorithms and Computation
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Efficient Enumeration of Non-isomorphic Distance-Hereditary Graphs and Ptolemaic Graphs2021

    • Author(s)
      K. Yamazaki, M. Qian, R. Uehara
    • Organizer
      The 15th International Conference and Workshops on Algorithms and Computation
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Bicolored Path Embedding Problems in Protein Folding Models2021

    • Author(s)
      T. Feng, R. Uehara, G. Viglietta
    • Organizer
      The 37th European Workshop on Computational Geometry
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 動的計画法に基づく Simple Polygonization 列挙アルゴリズムの実験的評価2021

    • Author(s)
      中畑 裕,堀山 貴史,湊 真一,山中 克久
    • Organizer
      情報処理学会アルゴリズム研究会
    • Related Report
      2020 Annual Research Report
  • [Presentation] Gourds: A Sliding-Block Puzzle with Turning2020

    • Author(s)
      J. Hamersma, M. J. van Kreveld, Y. Uno, T. C. van der Zanden
    • Organizer
      The 31st International Symposium on Algorithms and Computation
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Enumeration of Three-Edge-Connected Spanning Subgraphs in Plane Graphs2020

    • Author(s)
      Y. Matsui, K. Ozeki
    • Organizer
      The 4th International Workshop on Enumeration Problems & Applications
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Efficient Enumeration of Non-isomorphic Distance-Hereditary Graphs and Ptolemaic Graphs2020

    • Author(s)
      K. Yamazaki, M. Qian, R. Uehara.
    • Organizer
      The 4th International Workshop on Enumeration Problems & Applications
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Enumerating Empty Polygons2020

    • Author(s)
      S. Terui, T. Hirayama, T. Horiyama, K. Yamanaka, T. Uno,
    • Organizer
      The 4th International Workshop on Enumeration Problems & Applications
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法2020

    • Author(s)
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2020 Annual Research Report
  • [Presentation] 覆面算を列挙するオートマトンの効率的な構築手法2020

    • Author(s)
      渡部航也, ヘンリアン ディプタラマ, 吉仲亮, 堀山貴史, 篠原歩,
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2020 Annual Research Report
  • [Book] Proceedings of the 18th International Conference and Workshop on Algorithms and Computation2024

    • Author(s)
      R. Uehara, K. Yamanaka, H.-C. Yen (Eds.)
    • Total Pages
      435
    • Publisher
      Springer
    • ISBN
      9789819705658
    • Related Report
      2023 Annual Research Report
  • [Book] Introduction to Computational Origami2024

    • Author(s)
      R. Uehara
    • Publisher
      Springer
    • ISBN
      9789819700110
    • Related Report
      2023 Annual Research Report
  • [Book] "Topics「組み合わせ爆発」で考えるアルゴ リズム入門," Newton別冊「まるごとわかる統計と確率」2023

    • Author(s)
      湊真一(監修), 福田伊佐央(執筆)
    • Total Pages
      176
    • Publisher
      ニュートンプレス
    • ISBN
      9784315527698
    • Related Report
      2023 Annual Research Report
  • [Book] 計算折り紙へのいざない, "科学" 2023年7月号2023

    • Author(s)
      上原隆平
    • Total Pages
      96
    • Publisher
      岩波書店
    • Related Report
      2023 Annual Research Report
  • [Book] ポール・エルデス: 離散数学の魅力: 伝説の講義2023

    • Author(s)
      V. Chvatal (原著), 秋山仁 (監修, 翻訳), 小舘崇子, 酒井利訓, 徳永伸一, 松井泰子 (共訳)
    • Total Pages
      288
    • Publisher
      近代科学社
    • ISBN
      9784764906624
    • Related Report
      2023 Annual Research Report
  • [Book] 理論計算機科学事典 「3.9 パラメータ化計算複雑度とパラメータ化アルゴリズム」2022

    • Author(s)
      宇野裕之(分担執筆)
    • Total Pages
      816
    • Publisher
      朝倉書店
    • ISBN
      9784254122633
    • Related Report
      2022 Annual Research Report
  • [Book] 理論計算機科学事典 「4.7 数理パズルにおける計算理論」2022

    • Author(s)
      上原隆平(分担執筆)
    • Total Pages
      816
    • Publisher
      朝倉書店
    • ISBN
      9784254122633
    • Related Report
      2022 Annual Research Report
  • [Book] Proc. of the 11th International Conference on Fun with Algorithms, FUN 20222022

    • Author(s)
      Pierre Fraigniaud, Yushi Uno (Eds.)
    • Total Pages
      450
    • Publisher
      Schloss Dagstuhl
    • ISBN
      9783959772327
    • Related Report
      2022 Annual Research Report
  • [Book] Discrete and Computational Geometry, Graphs, and Games - 21st Japanese Conference, JCDCGGG 20182021

    • Author(s)
      Jin Akiyama, Reginaldo M. Marcelo, Mari-Jo P. Ruiz, Yushi Uno (Eds.)
    • Total Pages
      200
    • Publisher
      Springer
    • ISBN
      9783030900472
    • Related Report
      2021 Annual Research Report
  • [Book] 数学セミナー「パズルの算法」(2021年4月号-2022年3月号 連載)2021

    • Author(s)
      上原隆平
    • Total Pages
      24
    • Publisher
      日本評論社
    • Related Report
      2021 Annual Research Report
  • [Funded Workshop] The 18th International Conference and Workshops on Algorithms and Computation2024

    • Related Report
      2023 Annual Research Report
  • [Funded Workshop] The 10th International Congress on Industrial and Applied Mathematics, Organized session: Mathematical Puzzles and Games in Theoretical Computer Science2023

    • Related Report
      2023 Annual Research Report
  • [Funded Workshop] Workshop on Combinatorial Games and Puzzles2023

    • Related Report
      2023 Annual Research Report

URL: 

Published: 2020-11-24   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi