多重圧縮順序木に対する順序項木パターンマッチングアルゴリズム

抄録

変数ラベルを辺ラベルとしてもつ順序木を順序項木パターンという。変数ラベルをもつ辺を変数という。順序項木パターンtの変数を適切な順序木で置き換えることで順序木Tが得られるとき、tはTとマッチするという。順序木を構造的かつ可逆的に多重圧縮して得られる順序木を多重圧縮順序木という。本稿では、順序項木パターンtと順序木Tの多重圧縮順序木comp(T)が与えられたとき、comp(T)を陽に解凍することなくtがTとマッチするか否かを判定するマッチングアルゴリズムを提案する。さらに、人工的に作成した順序項木パターンtおよび順序木Tとその多重圧縮順序木comp(T)を用いて、tがTとマッチするか否かを判定する既存のマッチングアルゴリズムと、comp(T)に対する提案アルゴリズムとの計算時間に関する比較実験を行った結果を報告する。この実験結果により、提案アルゴリズムが高速であることを示す。