包除原理と高速ゼータ変換のためののアルゴリズムを使えば、"k"-彩色可能性の判定は任意の"k"についてformula_64の時間で行える。