离散数学 2_3(关系的运算)[2014_10_8]教程文件.pptVIP

* * * * * * * * * 主讲教师：常亮 E-mail: changl@guet.edu.cn QQ：737059669 办公室电话: 2291071 手机: 辅导教师：周小川 答疑时间：星期四 上午 10:20-11:50 答疑地点：5教5楼 软件工程教研室 离散数学 2.3 关系的运算 基本运算 交、并、补、差、对称差运算 复合运算 逆运算 幂运算 闭包运算 复合运算的矩阵实现 令A、B、C为有限集合，R是A到B的关系，S是B到C的关系，MR和MS分别为R和S的关系矩阵。则，R?S的关系矩阵为MR?S = MR?MS 。 关系矩阵乘法: 按照传统矩阵乘法进行运算，得到初步结果； 将大于等于1的地方修改为1。 复合运算的性质 定理2.3 给定任意集合A、B、C和D， 设R、S和T分别是集合A到B、B到C和C到D的关系， 那么(R?S)?T = R?(S?T)。 复合运算满足结合律！ 复合运算的性质 定理2.4 对于任意集合A、B、C和D， 设R, S1, S2和T分别是A到B, B到C, B到C和C到D的关系。 那么 ： ① R?(S1? S2) = (R?S1) ?(R?S2) ② R?(S1? S2) ? (R?S1) ? (R?S2) ③ (S1?S2)?T = (S1?T) ?( S2?T) ④