结构推理 在有向图D中,结点间的可达关系满足什么性质?
【正确答案】自反性,传递性.
   <> 结点vi与vi显然连通(可达),满足自反性;若vi可达vi,vj可达vk,则vi可达vk,满足传递性;由于有向图中的边是有方向的,vi可达cj,未必有另一条边使vj,可达vi,故不满足对称性.
【答案解析】