### 3.7.47. Cluster

A constraint that partitions the vertices of an initial graph into several clusters.