Domatic 划分

Domatic 划分是将图的顶点划分为不相交的支配集。

图中 domatic 划分中不相交支配集的最大数量称为其domatic 数。

找到大小为 1 的 domatic 划分是微不足道的，找到大小为 2 的 domatic 划分（或确定不存在）也很容易，但是找到最大尺寸的 domatic 划分（即domatic 数）在计算上是困难的。