离散数学中关于配集的定义,

离散数学中没有配集一说,叫支配集,定义如下：
给定无向图G =〈V ,E〉,其中V 是大小为n 的点集,E 是边集,那么V 的一个子集S称为支配集当且仅当对于V - S 中任何一个点v ,都有S 中的某个定点u ,使得( u ,v) ∈E.
支配集问题的两个变形.
定义1 在图G=〈V ,E〉中,V 的一个子集S 称为C 强支配集( C 是某个固定的常正整数) 当且仅当对任何一个大小不
小于| S| - C 的S 的一个子集S′,对于V - S 中任何一个顶点v ,都有S′中的某个定点u ,使得( u ,v) ∈E.
定义2 在图G=〈V ,E〉中,V 的一个子集S 称为完全支配集当且仅当对于V 中任何一个点v ,都有S - { v} 的某个点
u ,使得( u ,v) ∈E.

你可能输入错误，离散中有陪集。
就是群一般有子群，那么子群与其他元素进行乘法运算就得到一个陪集，分左右陪集两种，如果是交换群，二者相同，如果不是交换的，可能不同，拉格朗日定理告诉我们，陪集的个数与群的个数及子群个数之间有一个很好的结果，群的阶等于子群的阶乘以陪集的个数。...