Domatic 劃分

Domatic 劃分是將圖的頂點劃分為不相交的支配集。

圖中 domatic 劃分中不相交支配集的最大數量稱為其domatic 數。

找到大小為 1 的 domatic 劃分是微不足道的，找到大小為 2 的 domatic 劃分（或確定不存在）也很容易，但是找到最大尺寸的 domatic 劃分（即domatic 數）在計算上是困難的。