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

Graph and Matroid Decomposition

Research Project

Project/Area Number 17K12639
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Theory of informatics
Research InstitutionThe University of Tokyo

Principal Investigator

Hiraishi Hidefumi  東京大学, 大学院情報理工学系研究科, 助教 (70795335)

Project Period (FY) 2017-04-01 – 2020-03-31
Project Status Completed (Fiscal Year 2019)
Budget Amount *help
¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2019: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2018: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2017: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Keywordsgraph decomposition / quantum algorithm / Spin model / Tutte polynomial / グラフ・マトロイド分解理論 / 量子アニーリング / Ising模型 / Potts模型 / 量子計算 / アルゴリズム / 量子コンピュータ / グラフ理論 / マトロイド理論
Outline of Final Research Achievements

In this project, we develop algorithms based on the decomposition theory for meta-problem of combinatorial optimization such as Tutte polynomial and spin models toward systematic quantum/classical algorithm design.

Academic Significance and Societal Importance of the Research Achievements

近年では、量子計算機の開発が進みつつあり、商用の中・小規模量子計算機がリリースされている。本研究課題では、古典のアルゴリズム理論の成果を基にした、量子アルゴリズム開発の可能性についての研究を行った。中でも、問題を小問題群に分割した上でアルゴリズムを構築する枠組みである、分解理論に関する研究を中心に行ったが、これは近年の中・小規模量子計算機の実機を効果的に利用するための手法へと展開が可能であると考えられる。

Report

(4 results)
  • 2019 Annual Research Report   Final Research Report ( PDF )
  • 2018 Research-status Report
  • 2017 Research-status Report
  • Research Products

    (23 results)

All 2019 2018 2017

All Journal Article (6 results) (of which Peer Reviewed: 5 results) Presentation (17 results) (of which Int'l Joint Research: 13 results)

  • [Journal Article] Excluded Minors for ℚ-Representability in Algebraic Extension2019

    • Author(s)
      H. Hiraishi and S. Moriyama
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E102.A Issue: 9 Pages: 1017-1021

    • DOI

      10.1587/transfun.E102.A.1017

    • NAID

      130007699450

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2019-09-01
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Revisiting the Top-Down Computation of BDD of Spanning Trees of a Graph and Its Tutte Polynomial2019

    • Author(s)
      Farley Soares Oliveira, Hidefumi Hiraishi and Hiroshi Imai
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E102.A Issue: 9 Pages: 1022-1027

    • DOI

      10.1587/transfun.E102.A.1022

    • NAID

      130007699447

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2019-09-01
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Excluded Minors for Q-Representability in Algebraic Extension2019

    • Author(s)
      Hidefumi Hiraishi and Sonoko Moriyama
    • Journal Title

      The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E102.A

    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] Revisiting the Top-Down Computation of BDD of Spanning Trees of a Graph and Its Tutte Polynomial2019

    • Author(s)
      Farley Oliveira, Hidefumi Hiraishi and Hiroshi Imai
    • Journal Title

      The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E102.A

    • NAID

      130007699447

    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] Excluded Minors of Rank 3 for Orientability and Representability2018

    • Author(s)
      Hidefumi Hiraishi and Sonoko Moriyama
    • Journal Title

      The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E101.A

    • NAID

      130007479536

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] Parameterized Algorithms to Compute Ising Partition Function2018

    • Author(s)
      Hidefumi Hiraishi, Hiroshi Imai, Yoichi Iwata and Bingkai Lin
    • Journal Title

      The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E101.A

    • NAID

      130007479457

    • Related Report
      2017 Research-status Report
  • [Presentation] BDD of Eulerian subgraphs and computation of the Ising partition function2019

    • Author(s)
      R. Yonekura, H. Hiraishi and H. Imai
    • Organizer
      The 22nd Korea-Japan Joint Workshop on Algorithms and Computation
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] FPT algorithms to enumerate and count acyclic and totally cyclic orientations2019

    • Author(s)
      F. S. Oliveira, H. Hiraishi and H. Imai
    • Organizer
      The tenth Latin and American Algorithms, Graphs and Optimization Symposium
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A BDD-based approach to the Ising partition function via Eulerian subgraphs2019

    • Author(s)
      R. Yonekura, H. Hiraishi and H. Imai
    • Organizer
      19th Asian Quantum Information Science Conference
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Breakout Local Search for Finding Graph Minors2019

    • Author(s)
      K. Teranishi, H. Hiraishi and H. Imai
    • Organizer
      19th Asian Quantum Information Science Conference
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Smallest Counterexamples for Convexity and Log-concavity of the Tutte Polynomial2019

    • Author(s)
      H. Hiraishi, H. Imai and S. Okamura
    • Organizer
      The 11th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] FPT Algorithms to Enumerate and Count Acyclic and Totally Cyclic Orientations2019

    • Author(s)
      Farley Soares Oliveira, Hidefumi Hiraishi and Hiroshi Imai
    • Organizer
      FPT Algorithms to Enumerate and Count Acyclic and Totally Cyclic Orientations
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Simulated Quantum AnnealingとBreakout Local SearchのNP-hard問題に対する実験的な比較2019

    • Author(s)
      寺西寛人,平石秀史,今井浩
    • Organizer
      アルゴリズム研究会
    • Related Report
      2018 Research-status Report
  • [Presentation] Parameterized Algorithms for Tutte Polynomial Specializations in Graph Orientations2019

    • Author(s)
      ソアレス・オリベイラ ファルレイ, 平石 秀史, 今井 浩
    • Organizer
      アルゴリズム研究会
    • Related Report
      2018 Research-status Report
  • [Presentation] A BDD Approach to Counting Problems in Graphic Arrangements2018

    • Author(s)
      Farley Soares Oliveira, Hidefumi Hiraishi and Hiroshi Imai
    • Organizer
      The 21st Japan-Korea Joint Workshop on Algorithms and Computation
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Parameterized Algorithm to Compute the Partition Function of Potts Model with Branch Decomposition2018

    • Author(s)
      Naosuke Shindo, Hidefumi Hiraishi and Hiroshi Imai
    • Organizer
      The 21st Japan-Korea Joint Workshop on Algorithms and Computation
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Simulated Quantum Annealing versus Breakout Local Search for Benchmark Dataset on NP-hard Problems2018

    • Author(s)
      Kanto Teranishi, Hidefumi Hiraishi and Hiroshi Imai
    • Organizer
      Asian Quantum Information Science Conference
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] FPT algorithms exploiting carving decomposition for Eulerian orientations and ice-type models2018

    • Author(s)
      Shinya Shiroshita, Tomoaki Ogasawara, Hidefumi Hiraishi and Hiroshi Imai
    • Organizer
      The 12th International Conference and Workshops on Algorithms and Computation
    • Related Report
      2017 Research-status Report
    • Int'l Joint Research
  • [Presentation] Comparing Simulated Annealing with Simulated Quantum Annealing on Max-cut and Other NP-Hard Problems2017

    • Author(s)
      Hyungseok Chang, Hidefumi Hiraishi and Hiroshi Imai
    • Organizer
      Asian Quantum Information Science Conference
    • Related Report
      2017 Research-status Report
    • Int'l Joint Research
  • [Presentation] Experimental Evaluation of Annealing Metaheuristics for NP-Hard Problems2017

    • Author(s)
      Hyungseok Chang, Hidefumi Hiraishi and Hiroshi Imai
    • Organizer
      20th Korea-Japan Joint Workshop on Algorithms and Computation.
    • Related Report
      2017 Research-status Report
    • Int'l Joint Research
  • [Presentation] An FPT algorithm for counting the number of Eulerian orientations exploiting carving decomposition2017

    • Author(s)
      Shinya Shiroshita, Tomoaki Ogasawara, Hidefumi Hiraishi and Hiroshi Imai
    • Organizer
      20th Korea-Japan Joint Workshop on Algorithms and Computation.
    • Related Report
      2017 Research-status Report
    • Int'l Joint Research
  • [Presentation] マトロイド表現可能性理論の展開と応用について2017

    • Author(s)
      平石秀史
    • Organizer
      Japanese Conference on Combinatorics and its Applications
    • Related Report
      2017 Research-status Report
  • [Presentation] マトロイドに付随する単峰性に関する実験2017

    • Author(s)
      城下慎也、平石秀史
    • Organizer
      Japanese Conference on Combinatorics and its Applications
    • Related Report
      2017 Research-status Report

URL: 

Published: 2017-04-28   Modified: 2021-02-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi