如何通过约束将k-coloring减少为k-coloring？

Question

此处约束意味着一种颜色的节点数不能超过一定数量。