互いに異なる変数ラベルを持つ順序木構造パターンに対する効率のよい並列アルゴリズム

抄録

線形順序項木パターン(LOTT-パターンと略す)とは、順序木構造を持つグラフデータに対して、そのデータに現れる構造的パターンを表現する構造的変数付き木構造パターンである。LOTT-パターンの構造的変数には、任意の順序木を代入することができる。LOTT-パターン照合問題とは、LOTT-パターンtと順序木Tが与えられたとき，tがTにマッチするか否かを決定する問題である。効率のよい並列アルゴリズムとは、入力サイズの多項式個のプロセッサを持つ並列ランダムアクセス機械(PRAM)上で、入力サイズの多項式対数時間で計算するアルゴリズムのことをいう。本発表では、LOTT-パターン照合問題に対する効率のよい並列アルゴリズムを提案する。