離散最適化に対する固定パラメータアルゴリズムの深化:多項式時間FPTと実用化
Project/Area Number |
17K00017
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Theory of informatics
|
Research Institution | Osaka Metropolitan University (2022) Osaka Prefecture University (2017-2021) |
Principal Investigator |
宇野 裕之 大阪公立大学, 大学院情報学研究科, 教授 (60244670)
|
Project Period (FY) |
2017-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2020: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2019: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2017: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
Keywords | 固定パラメータアルゴリズム / 固定パラメータ容易性 / ネットワーク解析 / 近傍多様性 / ネットワーク中心性 / クラスター編集 / 実ネットワーク / 頂点被覆 / パラメータ化計算 / ハミルトン性 / 媒介中心性 / コミュニティ発見 / 資金循環問題 / 離散最適化 / パラメータ化計算複雑さ / 多項式時間アルゴリズム |
Outline of Annual Research Achievements |
本研究は,理論計算機科学における計算複雑さおよびアルゴリズム理論の分野で急速な進展を遂げているパラメータ化計算という枠組みのもとで,離散最適化に対する率的なアルゴリズムの設計技法として確立しつつある固定パラメータアルゴリズム理論を扱っている.その理論がもつ,何らかの特徴をもつ実データに対してアルゴリズムを高速に動作させるという理念に鑑み,理論的な成果を挙げると同時に固定パラメータアルゴリズム研究を実用化の段階へ推し進めることを目的とする.本研究は,当初設定した研究期間を経過したが,コロナ感染症による進捗の遅れから研究機関を再延長した.6年度目である令和4年度は,前年度までの方針を踏襲し,理論的な研究を継続するとともに実用的な方向への挑戦を推し進めた.具体的には,まずはじめに理論面からは,Double-Threshold Graph と命名したグラフの認識問題に対して多項式時間アルゴリズムを設計し公表していたが,これを雑誌論文とした.またあらたにグラフ描画に関する重要問題を考察し,それに対する固定パラメータアルゴリズムの開発に着手した.実用的な方向では,ネットワーク解析分野で頻出するネットワーク中心性を厳密に計算する問題を継続して扱い,なかでも最も重要である頂点媒介中心性に対するアルゴリズムの実装の高速化を試みている.また,固定パラメータアルゴリズム分野で基本的な問題の一つであるグラフ燃焼問題に対する固定パラメータアルゴリズムに関する実証実験も継続し,実ネットワークを入力としたときに有効となるカーネル化や有界探索木などの手法を検証している.
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
本研究は,理論計算機科学における計算複雑さおよびアルゴリズム理論の分野で急速な進展を遂げているパラメータ化計算を扱い,理論的な成果を挙げると同時に固定パラメータアルゴリズム研究を実用化の段階へと推し進めることを目指している.延長2年度目(通算6年度目)である令和4年度は,これまで取り扱ってきた基本的な問題に対する理論的に重要な結果を得るとともに,それらにより得られた知見をもとに新しい問題に対するパラメータ化高速計算アルゴリズムの提案や実装に着手し推し進めている.しかしながら令和4年度も,ひきつづき年間を通して新型コロナウイルスの影響を引き続き大きく受け,予定していた多くの出張予定がキャンセルとなり,予定していた研究打合せの機会を失うこととなった.また,研究発表などの活動の場が損なわれることになり,その進捗状況は当初の予定よりやや遅れることを余儀なくされている.
|
Strategy for Future Research Activity |
新型コロナウイルスの影響で進捗がやや遅れていることに鑑み,本研究は計画期間の再々延長を申請し承認された.そのうえで,おそらく本計画の最終年度となる7年度目は,これまでに得られた成果の実装を強化する.とくに,固定パラメータアルゴリズム分野では代表的かつ基本的な問題である頂点被覆問題については,実ネットワークに対してその問題を解くアルゴリズムを適用する際には,さまざまな新しい問題や挑戦すべき課題が存在することが明らかになったので,その方向に研究を推進していきたい.これらと同時に理論的な研究も継続する.それとともに,あらたにグラフ描画問題に対する固定パラメータアルゴリズムの検討に着手したため,この理論的な研究成果を得られる段階にまで推進したい.その際,個別の重要問題に対してはそれを容易にするパラメータの獲得と選択にも挑戦する.とくに,近傍多様性や treedepth と呼ばれるパラメータには引き続き注目しており,このパラメータの性質そのものや,このパラメータを利用した効率的な固定パラメータアルゴリズムの考案や設計を目指す.
|
Report
(6 results)
Research Products
(20 results)
-
-
-
-
-
-
[Journal Article] Reconfiguring Undirected Paths2019
Author(s)
Erik D. Demaine, David Eppstein, Adam Hesterberg, Kshitij Jain, Anna Lubiw, Ryuhei Uehara, Yushi Uno
-
Journal Title
Lecture Notes in Computer Science
Volume: 11646
Pages: 353-365
DOI
ISBN
9783030247652, 9783030247669
Related Report
Peer Reviewed / Int'l Joint Research
-
-
-
-
[Journal Article] Swapping colored token on graphs2018
Author(s)
K. Yamanaka, T. Horiyama, J. M. Keil, D. G. Kirkpatrick, Y. Otachi, T. Saitoh, R. Uehara and Y. Uno
-
Journal Title
Theoretical Computer Science
Volume: 729
Pages: 1-10
DOI
NAID
Related Report
Peer Reviewed / Int'l Joint Research
-
-
-
-
-
-
-
-
-
-