このグラフが"k"色で彩色可能なら、"k"個のレジスタに割り付け可能である。