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

2022 Fiscal Year Research-status Report

Developing Theory of Combinatorial Optimization Based on Matrix Representations

Research Project

Project/Area Number 22K17853
Research InstitutionThe University of Tokyo

Principal Investigator

大城 泰平  東京大学, 大学院情報理工学系研究科, 特任助教 (10908768)

Project Period (FY) 2022-04-01 – 2027-03-31
Keywords組合せ最適化 / 代数的アルゴリズム / 線形マトロイドパリティ / 非可換階数 / Edmonds問題
Outline of Annual Research Achievements

組合せ最適化とは,複数の離散的な選択肢の中から最も良いものを探す問題の枠組みであり,いくつかの組合せ最適化問題は各要素が多変数一次式である「線形記号行列」の階数を計算する問題として表現できる.Lovasz (1989)は,各記号の係数行列が階数2の歪対称行列であるような線形記号行列の階数を計算することで,「線形マトロイドパリティ問題」を解くことができるということを示した.この問題は線形マトロイド交叉やマッチングを含む一般的な問題である.
線形記号行列の階数を計算する問題はEdmonds問題とよばれ,乱数を用いずに多項式時間で解くことが可能かどうかが計算量理論における未解決問題の一つとなっている.近年,線形記号行列の各変数を積に関して互いに非可換とみなした場合に定義される「非可換階数」を計算する「非可換Edmonds問題」は決定性多項式時間可解であることが示された.
代表研究者は,本年,非可換階数を用いた組合せ最適化問題の表現に取り組んだ.線形マトロイドパリティを表現する行列の非可換階数が,問題の実数緩和版である「分数線形マトロイドパリティ」の最適値に対応するということを示した.すなわち,本行列表現において,記号を可換・非可換とみなすことは,最適化問題の許容解として整数制約をそれぞれ課す・課さないという選択と対応するということを明らかにした.さらにこの事実を基にし,分数線形マトロイドパリティを解く高速アルゴリズムを提案した.
本結果は離散アルゴリズム分野のトップ会議SODAで発表した.現在フルバージョンを雑誌に投稿中である.
また本年は,3本の論文を機械学習分野のトップ会議NeurIPSで発表した.これらは組合せ最適化問題の行列表現とは直接関係する内容ではないものの,本研究の遂行中に得られた組合せ最適化および線形代数に対する知見を応用したものである.

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

本研究課題の目的の一つは,非可換階数を用いた組合せ最適化問題の行列表現を与えることである.計画立案段階においては,分数線形マトロイドパリティ問題の特殊クラスである「分数マッチング問題」に関する行列表現を与えることを研究計画の第一段階としていた.しかし,本年発表した成果により,一般の分数線形マトロイドパリティ問題に対する行列表現を与えることに成功した.加えて,本研究課題の遂行中に得られた知見を応用し,当初想定していなかった機械学習分野において3本の論文発表を行った.以上の事実により,本研究課題は当初の計画以上に進展していると考えられる.

Strategy for Future Research Activity

今回対象とした線形マトロイドパリティ問題は,目的関数が集合のサイズとなっている「重みなし」問題である.一方,各要素に実数重みが与えられ,解に含まれる要素の重みの和を最大化する「重みつき問題」への拡張も自然かつ重要である.マッチングなど,従来の組合せ最適化問題における重み付き問題は,線形多項式行列とよばれる,各要素が多項式であるような行列の行列式の次数を計算する「重みつきEdmonds問題」として代数的に定式化される.この問題の非可換版に対応する「重み付き非可換Edmonds問題」を用いることで,分数線形マトロイドパリティの重みつき拡張である「重みつき分数線形マトロイドパリティ」問題の表現を得ることが次の課題である.
また,本研究課題の第二の目的である,行列表現を用いた数え上げ技法の深化に取り組んでいく.さらに,機械学習分野へのさらなる知識応用にも引き続き取り組んでいく.

  • Research Products

    (10 results)

All 2023 2022

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

  • [Journal Article] Algebraic algorithms for fractional linear matroid parity via non-commutative rank2023

    • Author(s)
      Oki Taihei, Soma Tasuku
    • Journal Title

      Proceedings of the 34th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '23)

      Volume: - Pages: 4188~4204

    • DOI

      10.1137/1.9781611977554.ch161

    • Peer Reviewed
  • [Journal Article] Sample complexity of learning heuristic functions for greedy-best-first and A* search2022

    • Author(s)
      Shinsaku Sakaue and Taihei Oki
    • Journal Title

      Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS '22)

      Volume: - Pages: -

    • Peer Reviewed
  • [Journal Article] Discrete-convex-analysis-based framework for warm-starting algorithms with predictions2022

    • Author(s)
      Shinsaku Sakaue and Taihei Oki
    • Journal Title

      Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS '22)

      Volume: - Pages: -

    • Peer Reviewed
  • [Journal Article] Lazy and fast greedy MAP inference for determinantal point process2022

    • Author(s)
      Shinichi Hemmi, Taihei Oki, Shinsaku Sakaue, Kaito Fujii, and Satoru Iwata
    • Journal Title

      Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS '22)

      Volume: - Pages: -

    • Peer Reviewed
  • [Presentation] Algebraic Algorithms for Fractional Linear Matroid Parity via Non-commutative Rank2023

    • Author(s)
      Taihei Oki and Tasuku Soma
    • Organizer
      The 34th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '23)
    • Int'l Joint Research
  • [Presentation] 分数線形マトロイドパリティに対する非可換階数を用いた代数的アルゴリズム2023

    • Author(s)
      大城泰平,相馬輔
    • Organizer
      日本応用数理学会 第19回研究部会連合発表会
  • [Presentation] Algebraic Algorithms for Fractional Linear Matroid Parity via Non-commutative Rank2023

    • Author(s)
      Taihei Oki and Tasuku Soma
    • Organizer
      The 12th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications (JH '23)
    • Int'l Joint Research
  • [Presentation] Discrete-Convex-Analysis-Based Framework for Warm-Starting Algorithms with Predictions2022

    • Author(s)
      大城泰平,坂上晋作
    • Organizer
      第25回情報論的学習理論ワークショップ (IBIS ’22)
  • [Presentation] Discrete-Convex-Analysis-Based Framework for Warm-Starting Algorithms with Predictions2022

    • Author(s)
      Shinsaku Sakaue and Taihei Oki
    • Organizer
      The 36th Conference on Neural Information Processing Systems (NeurIPS '22)
    • Int'l Joint Research
  • [Presentation] Lazy and Fast Greedy MAP Inference for Determinantal Point Process2022

    • Author(s)
      Shinichi Hemmi, Taihei Oki, Shinsaku Sakaue, Kaito Fujii, and Satoru Iwata
    • Organizer
      The 36th Conference on Neural Information Processing Systems (NeurIPS '22)
    • Int'l Joint Research

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi