关于分配格的判定问题.pdf

第 29卷第 6期 大 学 数 学 Vol_29，N_o．6 2013年 12月 COLLEGE M ATHEM ATICS Dec．2013 关于分配格 的判定 问题 郭 芸， 王朝晖 (苏州大学 计算机科学与技术学院，江苏 苏州 215006) [摘 要]针对分配格判定时容易出错这一教学难题 ，提 出可以利用学生专业特点从而结合计算机这一 工具来帮助解决，并通过一个典型例子来具体说 明，该例子 同时也指 出了教材习题解答书 中的一处错误 ．认 为本文提 出的这一教学思想对于离散数学的教学有一定的启示． ’ [关键词]分配格 ；判定；离散数学 [中图分类号] [文献标识码]C [文章编号]1672—1454(2013)06—0099—04 分配格的判定是离散数学课程中的一个基本问题 ，它要求学生在对基本概念有深入理解的同时，又 具备一定的计算能力 ，这就导致学生在处理该类 问题时经常会犯错 ，甚至离散数学教材的配套习题解答 书在该问题上也出错．探索如何有效解决这一教学问题显得很有必要．在思考过程中我们想到，由于 离散数学的教学对象主要是计算机学院的学生，既然他们 已经具备一定 的计算机运用能力 ，那为何不因 地制宜结合计算机这一工具呢?事实证明我们这个想法在教学实践中取得了较好的效果．下面本文通 过一个具体的例子来对我们 的做法进行说 明，希望能给同仁有所借鉴．我们发现习题解答书中该例子 的答案有错 ，因此具有一定的典型性． 1 分配格 的定义和判定定理 关于分配格的定义 ，可以按照偏序集一格一分配格的顺序来理解 ，其定义如下 ： 定义 1l1 若集合A上的二元关系R是 自反的、反对称的和传递的，则称 R是A上的偏序关系(或 偏序)，并将它记为 “≤”，序偶 (A，≤称为偏序集． 定义 2_l1 若偏序集 (A，≤中任意两个元素 口，b都有最小上界 (LUB{a，b))和最大下界 (GLB{a，b})，则称 (A，≤)是格 ． 定义 3_l】] 设A，V，^)是由格 (A，≤所诱导的代数系统 ，若Va，b，C∈A，满足 a^ (6Vc)一 (口^6)V (口八c)， (1) aV (6^f)一 (nV6)^(口Vf)， (2) 则称 A，≤)是分配格． 在判断一个具体的格是否是分配格时，只需验证 (1)式(或 (2)式)是否成立即可．尽管如此 ，注意到 (1)式中a，b，C三个元素是任取的，即当且仅 当对 A 中任意三个元素 (1)式都成立时 ，A，≤)是分配 格 ；只要存在三个元素 a。，b。，C。，不满足 (1)式 ，就可说 明A，≤)不是分配格，所以当A 中所含元素较 多时，利用定义来判定的计算量将很大．文献[2]给出了如下一个判定定理 ： 定理 1_2 格A，≤)是分配格当且仅当A 中不含与钻石格或五角格同构 的子格．其 中钻石格和 五角格分别如图1和图 2所示． [收稿 日期]2012—12—10 [基金项 目]苏州市应用基础研究计划 (SYG2Oll16) 1OO 大 学 数 学 第 29卷 可以看 出，与定义 3相比，定理 1相对直观便捷 ，因此学生大多倾 向于用后者来判定．但在解题过 程中，只要对该定理理解不透彻 ，就容易出错．下面我们举例说明． d 图 2 图 3 2 一个典型例子 这里以文献[1]中第六章第二节习题 (2)的图(n)(如图3所示)为例 ，学生在解这道题时出现的错误 具有一定的典型性