(1.5.2)--ch3—第七讲离散数学离散数学.pdfVIP

离散数学

DiscreteMathematics

3.11相容关系

定义3.11.1集合A上的关系r,如果它是自反的,对称的,

则称r是A上的相容关系(CompatibilityRelations).

例1设集合A={216，243，357，648}.定义A上的关系r

r={x,y|x,yA,且x与y中至少有一个相同数字}

则r是A上的一个相容关系.

令a=216,b=243,c=357,d=648,则

r={a,a,a,b,a,d,b,a,b,b,b,c,b,d,c,b,

c,c,d,a,d,b,d,d}

r的关系图为:r的关系矩阵为:

1101



M1111

r0110



1101

可以看出相容关系的关系图、关系矩阵有以下特点:

(1)每个结点都有环;

(2)任意两个结点之间,若有弧线,则必为双向的,否则没有弧线.

(3)主对角线元素为1;

(4)矩阵为对称矩阵;

因此我们可以将例1中r的关系图简化为:

也可省去M中阶梯折线以上的部分,只用下边的梯形表示相

r

容关系.

b1

c01

d110

abc

定义3.11.1设r为集合A上的相容关系,CA,若对于C中任

意两个元素x,y,有xry,称C是由相容关系r产生的相容类.

如例1中的相容类有

{a},{b},{c}

{a,b},{a,d},{b,c},{b,d}

{a,b,d}

定义3.11.2设r为集合A上的相容关系,不能真包含在任何

其它相容类中的相容类,称作最大相容类.记作Cr

定义3.11.2′设r为集合A上的相容关系,CA,C≠,如果

1.对任意a,bC,均有a,br

2对任意aA-C,在C中至少存在一个元素c,使a,cr

则称C是相容关系r的最大相容类.

如例1中最大相容类是{b,c},{a,b,d}

根据最大相容类的定义,它可以从相容关系r的简化关系

图求得,具体方法是:

(1)r的简化关系图中,每一个最大完全多边形的结点集合,

是一个最大相容类.

(2)r的简化关系图中,不在完全多边形中的边的两个端点的

集合也是一个最大相容类.

(3)r的简化关系图中,每一个孤立结点的单点集合,也是一个

最大相容类.

完全多边形:其每个顶点都与其它顶点连接的多边形.

例2设给定相容关系r的简化关系图如下,求出其最大相容类.

R的最大相容类为:

{g},{d,e},{c,d,f},{a,b,d,f}.

定理3.11.1设r为集合A