このグラフ彩色問題はnp困難な問題である。