離散最適化に対する固定パラメータアルゴリズムの深化：多項式時間FPTと実用化

深化离散优化的固定参数算法：多项式时间FPT及实际应用

• 批准号: 17K00017
• 负责人: 宇野 裕之
• 金额: $ 3万
• 依托单位: Osaka Metropolitan University (2022)Osaka Prefecture University (2017-2021)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00017/
• 关键词: 固定パラメータアルゴリズム; 固定パラメータ容易性; ネットワーク解析; 近傍多様性; ネットワーク中心性; クラスター編集; 実ネットワーク; 頂点被覆; パラメータ化計算; ハミルトン性; 媒介中心性; コミュニティ発見; 資金循環問題; 離散最適化; パラメータ化計算複雑さ; 多項式時間アルゴリズム

本研究は，理論計算機科学における計算複雑さおよびアルゴリズム理論の分野で急速な進展を遂げているパラメータ化計算という枠組みのもとで，離散最適化に対する率的なアルゴリズムの設計技法として確立しつつある固定パラメータアルゴリズム理論を扱っている．その理論がもつ，何らかの特徴をもつ実データに対してアルゴリズムを高速に動作させるという理念に鑑み，理論的な成果を挙げると同時に固定パラメータアルゴリズム研究を実用化の段階へ推し進めることを目的とする．本研究は，当初設定した研究期間を経過したが，コロナ感染症による進捗の遅れから研究機関を再延長した．６年度目である令和４年度は，前年度までの方針を踏襲し，理論的な研究を継続するとともに実用的な方向への挑戦を推し進めた．具体的には，まずはじめに理論面からは，Double-Threshold Graph と命名したグラフの認識問題に対して多項式時間アルゴリズムを設計し公表していたが，これを雑誌論文とした．またあらたにグラフ描画に関する重要問題を考察し，それに対する固定パラメータアルゴリズムの開発に着手した．実用的な方向では，ネットワーク解析分野で頻出するネットワーク中心性を厳密に計算する問題を継続して扱い，なかでも最も重要である頂点媒介中心性に対するアルゴリズムの実装の高速化を試みている．また，固定パラメータアルゴリズム分野で基本的な問題の一つであるグラフ燃焼問題に対する固定パラメータアルゴリズムに関する実証実験も継続し，実ネットワークを入力としたときに有効となるカーネル化や有界探索木などの手法を検証している．

は this study, theoretical computer science に お け る computing complex 雑 さ お よ び ア ル ゴ リ ズ ム theory の eset で な progress rapidly を hence げ て い る パ ラ メ ー タ calculation と い う 枠 group み の も と で, The rate of discrete optimization に す seaborne る な ア ル ゴ リ ズ ム の design techniques と し て establish し つ つ あ る fixed パ ラ メ ー タ ア ル ゴ リ ズ ム theory を Cha っ て い る. そ の theory が も つ, what ら か の, 徴 を も つ be デ ー タ に し seaborne て ア ル ゴ リ ズ ム を high-speed に action さ せ る と い に jian み う concept, the theory of な results を 挙 げ る と simultaneously に fixed パ ラ メ ー タ ア ル ゴ リ ズ を ム research be in turn の Duan Jie へ push し into め る こ と を purpose と す る. は, this study had set し た study period を 経 too し た が, コ ロ ナ adapting just-in-time inventory に よ る into 捗 の 遅 れ か ら study machine masato を longer し た. 6 annual orders で あ る make は and 4 year, before the annual ま で の policy を tread し, な research of the theory of を 継 続 す る と と も に be used な direction へ の pick 戦 を push し into め た. Specific に は, ま ず は じ め に theory surface か ら は, Double - Threshold Graph と named し た グ ラ フ の recognition problem に し seaborne て polynomial time ア ル ゴ リ ズ ム を design し male table し て い た が, こ れ を 雑 tzu paper と し た. ま た あ ら た に グ ラ フ painted に masato す る important problem を し, そ れ に す seaborne る fixed パ ラ メ ー タ ア ル ゴ リ ズ ム の open 発 に to し た. Be with な direction で は, ネ ッ ト ワ ー ク parsing eset で mount す る ネ ッ ト ワ ー ク centricity を 厳 dense に computing す る problem を 継 続 し て Cha い, な か で も も most important で あ る vertex medium centricity に す seaborne る ア ル ゴ リ ズ ム の be loaded high speed の を try み て い る. ま た, fixed パ ラ メ ー タ ア ル ゴ リ ズ ム eset で basic な problem の つ で あ る グ ラ フ combustion 焼 problem に す seaborne る fixed パ ラ メ ー タ ア ル ゴ リ ズ ム に masato す る be card be 験 も 継 続 し, be ネ ッ ト ワ ー ク を と into force し た と き に have sharper と な る カ ー ネ ル change や bounded explore wood な ど の gimmick を 検 card し て い る.

项目成果

How efficiently can nets of polycubes pack a rectangle?

多立方体网能多有效地包装一个矩形？

• 发表时间: 2018
• 作者: E. D. Demaine;M. L. Demaine;R. Uehara;Y. Uno and A. Winslow
• 通讯作者: Y. Uno and A. Winslow

媒介中心性のグラフ分解を用いた効率的な計算および その実ネットワークへの適用

利用介数中心性的图分解进行高效计算及其在真实网络中的应用

• 发表时间: 2017
• 作者: 伊野波竜矢;定兼邦彦;宇野裕之;米林悠真
• 通讯作者: 米林悠真

Settlement fund circulation problem

结算资金流转问题

• DOI: 10.1016/j.dam.2019.03.017
• 发表时间: 2019
• 期刊: Discrete Applied Mathematics
• 影响因子: 1.1
• 作者: Hitoshi Hayakawa;Toshimasa Ishii;Hirotaka Ono and Yushi Uno
• 通讯作者: Hirotaka Ono and Yushi Uno

Hanabi is NP-complete, even for cheaters who look at their cards

Hanabi 是 NP 完全的，即使对于那些看牌的作弊者来说也是如此

• 发表时间: 2017
• 期刊: Theoretical Computer Science
• 影响因子: 1.1
• 作者: Jean-Francois Baffier;Man-Kwun Chiu;Yago Diez;Matias Korman;Valia Mitsou;Andr´e van Renssen;Marcel Roeloffzen;Yushi Uno
• 通讯作者: Yushi Uno

Towards Development of Practically Efficient Property Testing

开发实用高效的性能测试

• 发表时间: 2017
• 作者: Munehiko Sasajima;Yutaro Honda;Yushi Uno;Hiro Ito and Naoki Katoh
• 通讯作者: Hiro Ito and Naoki Katoh