2010年秋季学期离散数学集合论关系闭包运算v2.pptVIP

Instructor: 李 劲 Email: ljatynu@ 云南大学软件学院 2010.9 ~ 2011.1 集合论— 关系的闭包运算 * * 云南大学软件学院 TOPIC * * 云南大学软件学院 （一）引例 （二）定义及定理 （三）应用 — 公交换乘方案查询 （一）引例 * * 云南大学软件学院 是否具有“自反性”？ 自反！ 是否具有“对称性”？ 对称！ 是否具有“传递性”？ 添加哪些序偶使其具有“传递性”？ 关系的闭包运算：向关系R中, 添加最少序偶, 使新关系具有特定性质（自反,对称,传递）。 设 是 上的二元关系，如果有另外一个关系 满足： （二）定义及定理 * * 云南大学软件学院 （a） 是“自反的”（对称的，传递的） （b） （c） 对于任何自反的（对称的，传递的）关系 。如果有 就有 的自反闭包： 的对称闭包： 的传递闭包： （a） 设 是 上的二元关系， （二）定义及定理 * * 云南大学软件学院 是“传递的”，则 （b） 是“不传递的”，则一定有： 直观地， 传递！ 猜想： 新序偶产生的来源 （1）原有与新加入： （2）新加入与新加入： (a) ，显然成立！ （二）定义及定理 * * 云南大学软件学院 证明 (b) 具有“传递性”。 (c) 具有“最小性”。 设 且 具有传递性，则 给定关系R,R’。 如何证明R’是R的闭包？ （a）包含（b）特性 （c）最小性 具有传递性，则 ? 证明： （二）定义及定理 * * 云南大学软件学院 (b) 具有“传递性”。 证明： (c) 具有“最小性”。 设 且 具有传递性，则 （二）定义及定理 * * 云南大学软件学院 给定集合 ，关系 ，传递闭包 , 当 (关系图中的结点数有限)时， （a） ，则在R的关系图中，从 到 的有向路径至多有多长？ （b）需要 ？ 从 出发到 ‘可达’！ 描述了R的关系图上，结点之间的‘可达’关系。 x1 x2 x3 x4 … … 至多为n，为什么？ （三）应用 * * 云南大学软件学院 从站点S到站点T是否能’直达’？ 如果从S到T不能直达，是否’ 换乘可达’？ 最少换乘次数的换乘方案是什么？ 距离当前位置最近的（一个、k 个）公交车站有哪些？ 某个指定区域内的公交车站有哪些？ 设 为站点集合，定义二元关系 ， 当且仅当 ‘直达（无需换乘）’ 。 （三）应用 * * 云南大学软件学院 x到y可直达 y到z可直达 x到y至多换乘1次可达 x到y直达 如果 ， ，并且 ，那么x到z需换乘2次可达。 描述了站点间所有可达关系 从x出发至多换乘一次可达y （三）应用 * * 云南大学软件学院 * K1线去程(6:00-23:00公交北市区车场-昆明站)/公交北市区车场/月牙塘小区/霖雨路/霖雨桥(北京路)/江东花园(北京路)/金泉汽车广场/金星立交桥/白云路口(北京路)/凤凰新村(奥斯迪购物广场)/火车北站/穿心鼓楼(北京路)/凤凰村/交三桥/东风广场/塘子巷/和平村/北京路(环城南路口)/昆明站(北京路) K1线回程(6:35-23:35昆明站-公交北市区车场)/昆明站(北京路)/北京路(环城南路口)/和平村/塘子巷/东风广场/交三桥/凤凰村/穿心鼓楼(北京路)/火车北站/凤凰新村(奥斯迪购物广场)/白云路口(北京路)/金星立交桥/金泉汽车广场/江东花园(北京路)/霖雨桥(烟草路)(路西)/月牙塘小区/公交北市区车场