离散数学及其应用-屈婉玲-第十四章.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 格作为代数系统的定义 设S,?,?是具有两个二元运算的代数系统, 若对于?和?运算 适合交换律、结合律、吸收律, 则可以适当定义S中的偏序 ?, 使得 S,? 构成格, 且?a,b∈S 有 a∧b = a?b, a∨b = a?b. 格的等价定义：设S, ?, ? 是代数系统, ?和?是二元运算, 如 果?和?满足交换律、结合律和吸收律, 则S, ?,?构成格. * 分配格、有补格与布尔代数 定义14.18 设L,∧,∨是格, 若?a,b,c∈L,有 a∧(b∨c) = (a∧b)∨(a∧c)   a∨(b∧c) = (a∨b)∧(a∨c) 则称L为分配格. 注意：可以证明以上两个条件互为充分必要条件 L1 和 L2 是分配格, L3 和 L4不是分配格. 称 L3为钻石格, L4为五角格. 实例 * 分配格的判别 分配格的判别：设 L 是格, 则 L 是分配格当且仅当 L 不含有 与钻石格或五角格同构的子格. 小于五元的格都是分配格. 任何一条链都是分配格.? 例6 说明图中的格是否为分配格,