研究課題
基盤研究(C)
制約付きグラフ同型性判定問題は，グラフ同型性判定問題を拡張した問題であり，NP-完全であることが知られている．本研究では，入力グラフを部分k-木に制限した場合，この問題が多項式時間で解けることを示した．また，入力として与えられる二項関係をある種の推移的性質を持つ場合に制限することで，より高速に実装できることを示した．更に，Prefix Set of GIと呼ばれる問題に対しては，入力として与えられる部分写像の定義域のサイズが大きいほど高速であるようなアルゴリズムを設計した．
情報学基礎
