| 研究課題/領域番号 |
25730003
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
大舘 陽太 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (80610196)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| キーワード | グラフ同型性判定問題 / 固定パラメータ容易性 / 木幅 |
|---|
| 研究実績の概要 |
引き続き，木幅に関連するグラフパラメータとグラフ同型性判定問題の関係についての研究を行った．主な成果として，Weisfeiler-Lehman アルゴリズムと呼ばれる，グラフ同型性判定問題に対する一般的なアルゴリズムを改良し，ある種の幅パラメータが制限された場合に固定パラメータ容易アルゴリズムとなることを示した．Weisfeiler-Lehman アルゴリズム自体が木幅定数グラフに対して多項式時間で動作することは知られていたが，その証明をさらに洗練させたことによりこの結果を得ることができた．我々の結果と独立に，Lokshtanov, Pilipczuk, Pilipczuk, Saurabh によって，同型性不変の木分解を求める固定パラメータ容易アルゴリズムが発表された．彼らの結果によって，木幅定数グラフに対するグラフ同型性判定問題は固定パラメータ容易であることが分かった．我々の制限付き Weisfeiler-Lehman アルゴリズムは，Lokshtanov らの結果の一部に対して，別の見方を与えている事にもなる．
また，部分グラフ同型性判定問題も研究し，理想グラフと呼ばれるグラフのいくつかのクラスに対して，多項式時間アルゴリズムや計算理論的困難性を示した．この研究も継続して行っており，より洗練させて出版予定である．部分グラフ同型性判定問題は本研究の主題であるグラフ同型性判定問題とも関連が深く，同時に研究することで問題の本質をより明確に認識できることが期待される．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
計画したとおり，木幅の制限されたグラフの一部のクラスに対する固定パラメータ容易アルゴリズムの提案を行うことができた．グラフ同型性判定の研究のなかではよく知られていた Weisfeiler-Lehman アルゴリズムを改良できたことも，それ自体で興味深い結果である．我々とは独立に発表された Lokshtanov らの結果により，木幅固定の場合のグラフ同型性判定問題は固定パラメータ容易であることが判明した．我々の結果も独立ではあったものの，その解明に大きな役割を担ったと考えられる．
部分グラフ同型性判定問題については，固定パラメータ容易性の文脈では多くのことが研究されている．本研究の結果では，理想グラフの一部のグラフクラスを扱っており，既存の結果を補完するものとなっている．
|
| 今後の研究の推進方策 |
木幅定数グラフに対して固定パラメータ容易性が解決した今，次の二つの方向がある:
・木幅定数グラフを一般化する，固定マイナー禁止グラフに対する同型性判定
・パラメータ木幅を一般化する，クリーク幅定数グラフに対する同型性判定
固定マイナー禁止グラフに関しては，同型性判定問題が多項式時間で解けることは知られているが，禁止マイナーサイズでパラメータ化した場合の固定パラメータ容易性は知られておらず，大きな未解決問題である．一方，クリーク幅定数グラフに関しては，多項式時間で解けるかどうかも分かっていない．本研究では，これらの問題に対してアプローチすべく，クリーク幅と禁止グラフの関係を解析し，グラフ同型性判定問題に対する糸口の発見を目指す．
|
| 次年度使用額が生じた理由 |
禁止誘導マイナーグラフに関する研究結果の論文執筆などが遅れ，学会での成果発表を次年度に行うこととしたため，未使用額が生じた．
|
| 次年度使用額の使用計画 |
上記論文はすでに投稿済みのため，学会での成果発表旅費に充てる．
|
