等价关系与序关系.pptVIP

等价关系与序关系 笛卡尔积 集合A与集合B的笛卡儿积为一个集合,记为A×B A×B={(x,y) | x∈A 且 y∈B} (x,y)是有序对 关系 集合A到集合B的关系是笛卡儿积A×B的一个子集 如果R是集合A到集合B的一个关系,且(x,y)是R的一个元素,那么称x关于R与y关联(有关系),一般记作x R y 集合S到其自身的关系称为集合S上的关系 例 S={草,树,猪,牛,LYC} T={植物,动物,人} 定义R为S到T的一个关系 草 R 植物为真,草 R 动物为假 猪 R 动物为真,猪 R 人为假 LYC R 人为真,LYC R 植物假 等价关系 若集合S上的关系R具备以下三个性质： 1、自反性：对S的任意元素x,x R x为真 2、对称性：只要x R y为真，y R x就为真 3、传递性：只要x R y为真，y R z为真，x R z就为真 等于关系 一个符号集合S 定义S上的关系R：如果S中的两个符号x,y代表同一个事物的话，那么x R y就为真 容易证明，R是等价关系。 整除关系 设S是正整数的集合，定义x R y为x | y。于是，3 R 6、7 R 35为真，但8 R 4,6 R 9为假。R是S上的一个关系。 R有自反性，传递性，但没有对称性 其他例子 设S是一些集合组成的集合族，定义A R B为A∩B≠空集。 显然，R有自反性和对称性，但没传递性 定义R为：只要两个人x和y的姓相同，x R y就为真。 这是一个等价关系 等价类 如果R是S上的等价关系，x∈S,则S中与x相关联的元素的集合称为包含x的等价类，记为[x]。所以[x]={y∈S:y R x} 自反性保证了x∈[x] 等价类的性质 1、如果x和y是集合S的元素，那么x与y相关联，当且仅当[x]=[y] 2、关系R的两个等价类要么相等，要么互不相交 集合的划分 集合S的划分是一个子集族，它满足三个性质： 1、没有一个子集是空的 2、集合S的任何一个元素必然属于某个子集 3、两个不同的子集互不相交 等价类与划分 1、一个等价关系R产生了一个划分P，其中P的成员就是R的等价类 2、一个划分P导出一个等价关系R。其中，只要两个元素属于P的同一个成员，它们就关于R相关联。此外，这个关系的等价类就是P的成员 等价关系与并查集 并查集在英文中称为Disjoint Set（不相交集合） 划分就一系列不相交集合，而划分与等价类是互相对应的。 因此并查集一般都是用来处理等价类。 所以，用并查集处理一些问题的关键是洞察问题中所蕴藏的等价关系 并查集可以动态维护等价关系,但只能加强关系,不能削弱关系 并查集存储结构 查找代表 Function find(u : longint) : longint; //寻找u所在等价类代表 Begin if (f[u] = 0) then find := u else begin f[u] := find(f[u]); //路径压缩 find := f[u]; end; End; 合并两个等价类 Procedure Union(u , v : longint); Var fu , fv : longint; Begin fu := find(u); fv := find(v); if (fu fv) then f[fu] := fv; End; 例题1:等式矛盾 给定一系列等式,判断最早在第几个等式处出现矛盾. 等式形如:x=y，其中x和y可以是任意整数或一个符号. 例: x=y y=1 x=z z=0//矛盾 0=1 分析 这是一个等于关系. 两个不同的常数不能在同一个等价类中,一旦两个相同的常数在同一个等价类中就出现矛盾. 维护并查集时,如果某个等价类有常数,就让这个常数做代表,这是不难办到的 同余关系 对于给定的m,整数数集上的同余关系(mod m)是等价关系． 自反性：x≡x(mod m) 对称性：x≡y(mod m) ，那么显然y≡x(mod m) 传递性：x≡y(mod m)且y≡z(mod m)，那么x≡z(mod m) 例题2:朋友敌人 N个人分成了两大阵营，同一阵营的两人为朋友，不同阵营的两人为敌人．开始时什么都不知道，不断告诉你两个人之间的关系，判断是否有矛盾． 分析 设两大阵营分别为Ｘ和Ｙ，我们把n个人看做n个0或1 0表示该人处于阵营X,1表示该人处于阵营Y 设两个人A和B的对应数字为a和b 那么他们是朋友当且仅当a-b≡0(mod 2) 他们是敌人当且仅当a-b≡1(mod 2) 人之间的关系 我们定义人与人之间的关系Ｒ：A R B当且仅当a-b≡r(mod 2)(0≤r2)已知，即我们可以确定a-b(mod 2)的最小剩余 R是一个