グラフの木分解における小さな独立集合数の計算

与えられたグラフGと整数kに対して、時間2O(k2)nO(k)で、Gの木分解の独立集合数が最大8kであるものを出力するか、Gの木分解の独立集合数がkより大きいことを判断する。