每个顶点都有环矩阵主对角线全为1.PPT

* * * * * * * * * * * * * 离散结构2 * 5.4.4 传递闭包 R 的闭包：由 R 的每个结点 ai 出发寻找(不重复) 经过 1 条弧能到达的顶点 aj，有 (ai, aj)∈R1∈t(R) 经过 2 条弧能到达的顶点 aj，有 (ai, aj)∈R2∈t(R) …... 经过 n 条弧能到达的顶点 aj，有 (ai, aj)∈Rn∈t(R) 经过 n+1, n+2, … 条弧能到达的顶点 aj 中间必有重复的弧(因为最多需 n 条) * 离散结构2 * 5.4.4 传递闭包 R 的闭包：由 R 的每个结点 ai 出发寻找(不重复) 经过 1 条弧能到达的顶点 aj，有 (ai, aj)∈R1∈t(R) 经过 2 条弧能到达的顶点 aj，有 (ai, aj)∈R2∈t(R) …... 经过 n 条弧能到达的顶点 aj，有 (ai, aj)∈Rn∈t(R) t(R) 构造完成 * 离散结构2 * 5.4.4 传递闭包 有限集合 A 上关系 R 的传递闭包 t(R)=R* =R∪R2∪…∪Rn 定理3(P210)：传递闭包的矩阵计算 * 离散结构2 * 5.4.4 传递闭包 计算传递闭包(P211 算法1) Bn= 2 个递推关系 * 离散结构2 * 5.1.4 (二元)关系的性质 自反、反自反、对称、反对称、传递的判定 性质 矩阵 有向图 自反 主对角线