- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
六集合的划分与覆盖,集合的划分和覆盖,集合覆盖问题,最大集合覆盖模型,集合覆盖模型,集合的划分,集合覆盖,集合划分问题,集合划分,最小集合覆盖
3-9 集合的划分与覆盖 三.加细 * 一. 划分与覆盖的定义 定义: 若把一个集合A分成若干个叫做分块的非空子集, 使得A中每个元素至少属于一个分块,那么这些分块的全体构成的集合叫做A的一个覆盖。如果A中每个元素属于且仅属于一个分块,那么这些分块的全体构成的集合叫做A的一个划分。 等价定义: 令A为给定非空集合,S={S1,S2,…,Sm},其中Si ? A ,Si≠?,(i=1...m) 且 ,则集合S称作集合A的覆盖。如果除以上条件外,另有 Si ∩ Sj = ?(i≠j) ,则称S是A的划分。 ∪ i=1 m Si= A 划分S的块:划分的元素 Si 。 如果划分是有限集合, 划分的秩:不同块的个数。(划分的秩就是划分的大小) 如果划分是无限的,则它的秩是无限的。 例 A={a,b,c},考虑下列集合: S={{a,b},{b,c}} Q={{a},{a,b},{a,c}} P={{a},{b,c}} G={{a,b,c}} E={{a},{b},{c}} F={{a},{a,c}} ◆ 划分的说明 则 S、Q、P、G、E是A的覆盖; P、G、E是A的划分;(它们的秩分别为2,1,3) F既不是划分也不是覆盖。 若是划分则必是覆盖,其逆不成立。 集合的最小划分:就是由这个集合的全部元素组成的一个分块的 集合。(即秩为1的划分) 集合的最大划分:就是由每个元素构成一个单元素分块的集合。 (若有n个元素,就是秩为n的划分) 在上例中, G={{a,b,c}}是A的最小划分, E={{a},{b},{c}}是A的最大划分。 注意:给定一个集合,其划分并不是唯一的。 二. 交叉划分 定义: 若{A1,A2,…,Ar}与{B1,B2,…,Bs}是同一集合A的两种划 分,则其中所有Ai ∩ Bj ≠ ?组成的集合,称为是原来 两种划分的交叉划分。 例如: 所有生物的集合X,可以分割成{植物,动物},也可以 分割成{史前生物,史后生物},则它们的交叉划分为{史前植物, 史后植物,史前动物,史后动物}。 定理 设{A1,A2,…,Ar}与{B1,B2,…,Bs}是同一集合X的两种划分, 则 其交叉划分亦是原集合的一种划分。 证明: 若题设的交叉划分是: {A1∩ B1,A1∩ B2,…,A1∩ Bs, A2∩ B1,A2∩ B2,…,A2∩ Bs,…, Ar∩ B1,Ar∩ B2,…,Ar∩ Bs} (1)在其中任取两个元素Ai∩ Bh,Aj∩ Bk,考察(Ai∩Bh )∩(Aj∩Bk), i. 若i≠j且h=k, 因为Ai∩Aj= ?, 故(Ai∩ Bh )∩(Aj∩ Bk) =(Ai∩Aj)∩(Bh ∩Bk) = ?∩(Bh ∩Bk ) =? ii. 若i≠j且h≠k , iii. 若i=j且h≠k, 因为Ai∩Aj= ?, Bh∩Bk= ?, 故(Ai∩ Bh )∩(Aj∩ Bk) =(Ai∩Aj)∩(Bh ∩Bk) = ?∩? = ? 情况与 i 相同。 综上所述,在交叉划分中任取两元素,其交为(Ai∩ Bh )∩(Aj∩ Bk)=? (A1∩ B1)∪(A1∩ B2)∪…∪(A1∩ Bs)∪(A2∩ B1)∪(A2∩ B2)∪…∪ (A2∩ Bs)∪…∪(Ar∩ B1)∪(Ar∩ B2)∪… ∪(Ar∩ Bs) =(A1∩ (B1∪B2∪…∪Bs))∪(A2∩ (B1∪B2∪…∪Bs))∪… ∪(Ar∩ (B1∪B2∪…∪Bs)) =((A1∪A2∪…∪Ar) ∩(B1∪B2∪…∪Bs)) =X ∩ X =X 故,交叉划分也是原集合的一种划分。 (2)所有元素的并为 定义: 给定X的任意两个划分{A1, A2, ……Ar }和 { B1, B2, ……Bs },若对于每一个Aj均有Bk ,使得 Aj ? Bk,则{A1, A2, ……Ar }称为{ B1, B2, ……Bs } 的加细。 定理: 任何两种划分的交叉划分都是原来划分的一
原创力文档


文档评论(0)