离散数学及其应用第6章-特殊关系模型.ppt

* 例 题 * 例 题 * 计算机应用技术研究所 * 偏序关系 * 特殊元素 * 例 题 【例题】确定下图的每个哈斯图表示的偏序集是否有最大元素和最小元素。 * 相容类的概念 * 例 题 * 最大相容类 * 最大相容类 * 例 题 * 最大相容类性质 * 例 题 * 例 题 * 例 题 * 计算机应用技术研究所 * 相容关系与元素聚类 相容关系与相容类 集合的覆盖 * 集合的覆盖 * 例 题 * 完全覆盖 * 完全覆盖 * 集合的覆盖 * 集合的覆盖 * 例题 * 本节内容到此结束 * 本章学习内容 等价关系与元素分类 1 相容关系与元素聚类 2 特殊关系的应用 4 偏序关系与元素比较 3 * 计算机应用技术研究所 * 偏序关系与元素比较 * 实 例 * 计算机应用技术研究所 * 偏序关系与元素比较 偏序关系与哈斯图 偏序集的特殊元素 全序与良序 * 偏序关系的概念 * 例 题 * 例 题 * 拟序关系 * 例 题 * 哈斯图的画法 * 例 题 * 例题 * 例题 * 例 题 集合的划分 例 题 例 题 例 题 * 商集的概念 * 例 题 * 例 题 * 特殊等价关系 * 等价关系性质 * 等价关系性质 * 等价关系性质 * 例 题 * 例 题 * 例 题 * 例 题 * 例 题 * 例 题 * 例 题 * 例 题 * 例 题 * 本节内容到此结束 * 等价关系与元素分类 1 偏序关系与元素比较 3 相容关系与元素聚类 2 特殊关系的应用 4 本章学习内容 * 计算机应用技术研究所 * 相容关系与元素聚类 * 计算机应用技术研究所 * 相容关系与元素聚类 相容关系与相容类 集合的覆盖 * 相容关系的概念 * 例 题 【例题】判断下列关系是否为相容关系： （1）人群中的朋友关系；（2）某校学生中的同班关系；（3）集合上的包含关系. 【分析】关系满足自反性和对称性即为相容关系. 【解】（1）朋友关系满足自反性和对称性，但不满足传递性，故是相容关系；(2)同班关系满足自反性、对称性和传递性，因此是相容关系，也是等价关系；（3）集合上的包含关系满足自反性，不满足对称性和传递性，因此不是相容关系. * 例 题 * 例 题 * 例 题 * 例 题 * 简化图与简化矩阵 * 简化图与简化矩阵 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 计算机应用技术研究所 * 计算机应用技术研究所 * * 离散数学 Discrete Mathematics 汪荣贵 教授 合肥工业大学计算机与信息学院 * 计算机应用技术研究所 * 第6章 特殊关系模型 * 相容关系与元素聚类 2 偏序关系与元素比较 3 等价关系与元素分类 1 特殊关系的应用 4 本章学习内容 * 计算机应用技术研究所 * 等价关系与元素分类 * 计算机应用技术研究所 * 等价关系与元素分类 等价关系与等价类 集合的划分与商集 * 实 例 * 等价关系的定义 【定义】假设A是任一给定的非空集合，R是A上的一个二元关系，如果R满足自反性、对称性和传递性，则称R是一个等价关系. 此时，对于A中任意两个元素x和y，如果?x,y?∈R，则称x与y等价，记为x~y. 从定义可知：关系R是等价关系当且仅当R同时具备自反性、对称性和传递性；关系R不是等价关系当且仅当R不具备自反性或对称性或传递性。因此，等价关系的定义是判断关等价关系的一个很好判据。 * 例 题 【例题】根据定义判断下述关系哪些是等价关系、哪些不是，并说出理由. （1）集合上的恒等关系和完全关系； （2）某人群上的朋友关系； （3）合肥工业大学2016级新生集合上的同姓关系. 【分析】根据等价关系的定义可知，满足自反性、对称性和传递性即为等价关系。 【解】（1）集合上的恒等关系是自反的、对称的和传递的，因此是等价关系，完全关系也是自反的、对称的和传递的，因此也是等价关系； （2）朋友关系是自反和对称的但不是传递的，所以朋友关系不是等价关系； （3）全体新生的同姓关系是自反的、对称的和传递的，因此是等价关系. * 例 题 * 例 题 【例题】设集合A={1,2,3}，关系R={?1,2?,?1,3?}，现对R依次求自反、对称和传递三种闭包，共有如下6种不同顺序： rst(R),rts(R),str(R)