《离散数学第七章.pptVIP

令 S1={{b},{a,b}{b,c},{a,b,c}} S2={?,{a},{ c},{a, c}} S3={?,{a},{c},{a,b},{a,c},{b,c},{a,b,c}} S1;?,?是2U;?,?的子格。 S2;?,?也是2U;?,?的子格。 S3不能与这两个运算构成2U;?,?的子格。 ? {a,b,c} {a,c} {b,c} {a,b} {a} {c} {b} * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2 6 1 12 练习 12 6 4 3 2 1 1． 设 L = {1，2，3，4，6，12}，在L上定义 整除关系，构成偏序集L; ?。 （1） glb(6,4)= ; lub(2,3)= ； （2） 该偏序集的最小元素是 ， 最大元素是 。 * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3 4 1 10 （1） glb(6,9) = ; glb(8,12) = .； （2） glb(9,7) = ; lub(5,10) = .。 2．设L={1，2，3，…，11，12}，在L上定义整除关 系，构成偏序集. 12 8 4 2 1 10 5 6 3 9 7 11 * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 下面给出的三个次序图，其中哪些是格？在图 下方相应的括号内键入“Y”或“N”表示肯定或否定。 ( ) ( ) ( ) N Y Y * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Y Y N N 4．对下图所给出的格判断以下子集是否能构成它的 子格。在相应的括号内键入“Y”或“N”来回答 （1）S1={e,c,b} ( ) （2）S2={d,b,a} ( ) （3）S3={c,d,b} ( ) （4）S4={e,c,d,a} ( ) e d c b a * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义7-9 设L;?,?是一个格, 若对于任意的l1, l2, l3 ? L,有 则称 L;?,? 是分配格。 7．2 分配格和有补格 d c b a e c d b a d b c a 一、分配格 1．分配格的定义 * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例1 对任意的集合A，2A ;?,?是一个分配格， = a?a =a 因此 b?(c?d)≠(b?c)?(b?d) 而(b?c)?(b?d) 例2???? b?(c?d) = b?e = b e b c d a * * Ev