グラフ上の小さな部分構造の高速な検出アルゴリズム

与えられたグラフGとパターングラフHについて、HがマイナーとしてGに含まれるかを、ほぼ線形時間で判定することができる。