グラフ構造パラメータと述語論理を用いた高速メタアルゴリズム
| Project/Area Number |
23KJ1066
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 国内 |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
儀間 達也 名古屋大学, 情報学研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2023-04-25 – 2025-03-31
|
| Project Status |
Discontinued (Fiscal Year 2023)
|
| Budget Amount *help |
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 2024: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2023: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | グラフアルゴリズム / グラフパラメータ |
|---|
| Outline of Research at the Start |
グラフ上の問題に対して知られている高速アルゴリズムを一般化し，様々な問題を同時に扱うメタアルゴリズムの構築をすることで，どのような性質が問題の易しさや難しさに影響するかを明確にすることをめざす．特に，頂点被覆数やその一般化などのグラフ構造パラメータを利用した高速アルゴリズムについて研究し，述語論理などを用いた高速メタアルゴリズムの構築を目指す.
|
| Outline of Annual Research Achievements |
本研究では，グラフ構造パラメータと述語論理を通して，グラフの構造と問題計算容易性おおよび困難性との関係性を明らかにすることを目標としている．
本年度は述語論理によるメタアルゴリズムを得るための前調査として，(a)グラフ構造パラメータを利用したアルゴリズム高速化手法，と (b)グラフ構造パラメータ自体の計算手法，の二つの方針を中心として研究を進めた．得られた研究成果の一部をまとめた成果として，国際会議IPEC2023に1件，WALCOM2024に4件の論文が掲載された．(a)の成果としては，クラスタ頂点消去数をパラメータとしたバンド幅最適化問題に関する研究成果や，パス幅などのパラメータと木のマイナー埋め込みに関する研究成果，最大次数とグラフパッキング問題に関する研究成果を得ることができた．この成果を通して，様々な構造パラメータを利用したアルゴリズム設計技法や計算困難性の証明技法について，数多くの新たな知見を得ることができた．また，(b)の成果として，グラフ構造パラメータの一つである頂点インテグリティ自体の時間計算量に関する研究や，グラフの燃焼数というパラメータをできる限り大きくする向き付けを与える問題の研究などを行い．後者の研究成果の一部は，よく知られている単項二階述語論理と木幅に関するメタアルゴリズムの結果を応用して得たものであり，単項二階述語論理の表現能力や応用性に関する新たな知見を得ることができた．
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
様々なグラフ問題に対しての研究成果をまとめた論文が国際会議に計5本採択されるなど，想定よりも多くの成果を得ることができている．
|
| Strategy for Future Research Activity |
得られたグラフ構造パラメータとアルゴリズムに関する研究成果などをもとに，今後は主に述語論理を用いたメタアルゴリズムについて研究発展を目指す．
|
Report
(1 results)
Research Products
(18 results)
-
-
-
-
-
-
-
[Journal Article] Orientable Burning Number of Graphs2024
Author(s)
Courtiel Julien、Dorbec Paul、Gima Tatsuya、Lecoq Romain、Otachi Yota
-
Journal Title
The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science
Volume: 14549
Pages: 377-391
DOI
ISBN
9789819705658, 9789819705665
Related Report
Peer Reviewed / Int'l Joint Research
-
-
-
-
-
-
-
-
-
[Presentation] Minimum Consistent Subset for Trees Revisited2023
Author(s)
Hiroki Arimura, Tatsuya Gima, Yasuaki Kobayashi, Hiroomi Nochide, Yota Otachi. Minimum Consistent Subset for Trees Revisited.
Organizer
The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023)
Related Report
Int'l Joint Research
-
-
