頂点色付きグラフのγ-収縮問題の数学的定式化

頂点色付きグラフの効率的な収縮手法であるγ-収縮問題を数学的に定式化し、その問題に対する新しいアルゴリズムであるβ-収縮アルゴリズムを提案する。