g6-07561. 支配集·三状态的语义 未做

支配集：选若干点，使每个点要么自己被选、要么它的某个邻居被选。设三状态 $g_{u,0}$、$g_{u,1}$、$g_{u,2}$。下面哪组语义是正确的？

• A. $g_{u,0}$：$u$ 被选；$g_{u,1}$：$u$ 不选但被父亲罩；$g_{u,2}$：$u$ 不选但被孩子罩
• B. $g_{u,0}$：$u$ 被选；$g_{u,1}$：$u$ 不选、但孩子里至少一个被选（$u$ 被孩子罩）；$g_{u,2}$：$u$ 不选、孩子也都没选（$u$ 只能等父亲来罩）
• C. $g_{u,0}$：$u$ 被选；$g_{u,1}$：$u$ 不选；$g_{u,2}$：$u$ 和父亲都不选
• D. 支配集两个状态就够，不需要三个