色付き部分グラフの列挙アルゴリズムに関する研究