数据结构与算法（第4版）-廖明宏-DSA05第5章图及其相关算法.pptVIP

5.8 拓扑分类 5.8.1 无环路有向图 不存在环路的有向图简称为无环路有向图。 注意：无环路的有向图对应的无向图可能存在环路。 无环路的有向图可以描述含有公共子式的表达式(节省空间)。 无环路的有向图可用于表示偏序关系。 无环路有向图： * + * * * + e + * + e c d c b b + c d c d * + * * + * + e c b c d ((a+b)*(b*(c+d))+(c+d)*e)*((c+d)*e) 公共子式 b (c+d) (c+d)*e 5.8.1 无环路有向图 偏序关系：若集合X上的关系R是自反的、反对称的和传递的即 自反性：任意x∈X,（x，x）∈R 反对称性：任意x、y∈X，若(x，y)∈R且(y，x)∈R ，则x=y 传递性：任意x, y, z∈X, (x，y)∈R且(y，z)∈R，则(x，z)∈R 则称R是集合X上的偏序关系。 全序关系：设R是集合X上的偏序，如果对每个x、y∈X，必有（x，y）∈R或（y，x）∈R，则称R是集合X上的全序关系。 直观上，偏序指集合上只有部分元素之间可比较，而全序是指全体元素均可比较。 设R是有穷集合上的偏序关系，对X中每个 v，用一个以 v 为标号的结点表示，由此构成结点集V，对任意(a，b)∈R，(a≠b),由对应两个结点建立一条边，由此构成边集E，则G =(V，E)是无环路有向图。