《离散数学》课件-第2章 关系.pptxVIP

0;1;2;3;4;5;6;7;8;9;10;11;12;13;14;15;16;17;18;19;20;21;22;23;24;25;26;27;28;29;30;31;32;33;34;35;36;37;38;39;40;41;42;43;44;45;46;47;例10 试利用构造 ?2 和 ?3 的关系图的方法求例9中的 ?2 和 ?3。例中 ? = {(a, b), (b, a), (c, c), (c, d), (b, c)};49;50;51;52;53;54;55;56;57;二、集合 A 上关系性质的判断方法 1. 集合运算的方法 定理 设 ? 为 A 上的关系，则 （1） ? 在 A 上自反 当且仅当 IA ? ? （2） ? 在 A 上反自反 当且仅当 ? ∩ IA = ? （3） ? 在 A 上对称 当且仅当 ? = ? -1 （4） ? 在 A 上反对称 当且仅当 ? ∩ ? -1 ? IA （5） ? 在 A 上传递 当且仅当 ? ? ? ? ? ;（1） ? 在 A 上自反当且仅当 IA ? ?;60;61;62;63; 若 ? 是自反的，则关系矩阵的主对角线上的所有元素均为 1。 若 ? 是反自反的，则关系矩阵的主对角线上所有元素均为 0。 若 ? 是对称的，则关系矩阵关于主对角线对称。 若 ? 是反对称的，则在关系矩阵中，关于主对角线对称的元素不同时为 1，即 i ? j 时，rij 与 rji 这两个数中至多一个是 1， 但允许两个均为 0。 若 ? 是可传递的，则在 M 2 中 1 所在的位置，M 中相应的位置上都是 1（因为 ? ? ? ? ?）。;65;例3 设 A = {1, 2, 3}，下面分别是集合 A 上三个关系的关系图，试判断它们的性质。 ;67;68;69;70;71;定理 设 A 为非空有限集合，#A = n，? 是集合 A 上的关系，则存在正整数 k ? n，使得 t(?) = ? ? ? 2 ? ? 3 ? … ? ? k。 证明 ?a, b ? A，若 a t(?) b 成立，则存在正整数 p 使得 a ? p b。由关系的复合运算的定义知，存在序列 x0 = a, x1, x2, …, xp = b，使得对 0 ? i ? p - 1 有 xi ? xi + 1。 设满足上述条件的最小 p（设为 k）大于 n，则由假设 #A = n 知，在上述序列中必有 0 ? s t ? k，使得 xs = xt ，因此序列可简缩为 这表明存在正整数 q = s + k – t ，使得 a ? q b，但 q = k – (t – s) k，此与 k（最小的 p ）的假设矛盾，故 k n 不成立。 从而命题得证。;73;74;75;76;77;78;79;80;81;82;83;（3）因为 #A = 4，所以; 于是 t(?) = {(a, a), (a, b), (a, c), (a, d), (b, a), (b, b), (b, c), (b, d), (c, d)}。;2. 利用关系图求 ? 的闭包 给定关系 ?，分别记 ???, r(?), s(?), t(?) 的关系图为 G, Gr, Gs 和 Gt，则 Gr, Gs, Gt 的结点集与 G 的结点集相等。除了 G 的边以外，以下述方法添加新的边。 考察 G 的每个结点，如果没有单边环就加上一个单边环。最终得到的是 Gr。 考察 G 的每一条边，如果有一条由 xi 到 xj 的单向边，i ? j，则在 G 中加一条由 xj 到 xi 的反方向边。最终得到 Gs。;例8 对例7中的关系 ?，利用关系图求其闭包。;下面介绍求传递闭包的一种有效方法 —— Warshall 算法（Warshall 于1962 年提出的），这种算法也便于计算机实现。 用 A[i, j] 表示矩阵 A 中第 i 行第 j 列交叉处的元素。 算法 （1）置新矩阵 A = M?； （2）j = 1； （3）对所有的 i，如果 A[i, j] = 1，则对 k = 1, 2, …, n，作布尔加法 A[i, k] = A[i, k] + A[j, k]，即将第 j 行加到第 i 行上去； （4）j 加 1； （5）如果 j ? n，则转到步骤（3），否则停止。 ;例如 已知例7中关系 ? 的关系矩阵为 利用 Warshall 算法求 t(?) 的关系矩阵。 解：;j = 3 时，第 3 列有 A[1, 3] = A[2, 3] = 1。将第 3 行分别加到第 1、2行得;91;已知关系 ? 的关系矩阵为 利