連結木距離幅が定数のグラフに対する同型性判定問題の固定パラメータ容易性を示した.該当論文では,問題そのものを直接解くのではなく,ある種のメタアルゴリズムを作るという方針をとった.グラフ同型性判定の古典的アルゴリズムとして,Weisfeiler-Lehmanアルゴリズムという手法がある.この論文では,このWeisfeiler-Lehmanを一般化・高速化し,ある種のグラフ幅パラメータが定数の場合に対する固定パラメータ容易性を示した. 関連して,入力グラフがある種の禁止構造を持つ場合を研究した.あるグラフを誘導マイナーとして含まないクラスに対する同型性判定問題に対して計算量二分法を与えた.
|