版权声明:本文为博主原创文章遵循 版权协议,转载请附上原文出处链接和本声明
前提条件:在有向无环图中(即自己本身是不是强连通的不知道,但其任何子图都不昰强连通的)
(强连通图:任取两个不同的顶点a和ba都可以到达b)
要证:当前是强连通图,
即证:任取顶点 i 、j (i和j是不同顶点)i可到达j,
即证:假设i不可到达j必产生矛盾。
那么就用假设法假设i不可到达j:
看到达j的路径:看j的上1个点,上2个点……,上n个点(由于前提条件有说:不存在入度为0的顶点所以j至少有上1个顶点);
再看i走出去的路径:看i的下1个点,下2个点......,下m个点(由于前提条件有说:不存在出度为0的頂点所以i至少有下1个顶点);
因为不存在入度为0的顶点,所以j(-n)顶点必有其来路由于根据假设i不可到j,所以其来路只能在链(1)中但是如果這样,则链(1)中有环环是强连通分量,与条件“所有点的任何真子集都不是强连通分量”相矛盾所以j(-n)顶点的上一顶点只能来自链(2)。(同理若通过说明 i(m) 顶点的下一顶点必须来自链(1)也可以找到矛盾)
<=>该有向图是强连通图。
所以结论是如下命题是真命题:
(前提条件:在有向无环圖中)
命题1:不存在入度为0的点 ∧ 不存在出度为0的点 => 该有向图是强连通图
命题2:该有向图是强连通图 => 不存在入度为0的点 ∧ 不存在出度为0的点
那么在相同的前提条件下,它们的逆否命题也是真命题
命题3(命题1的逆否):该有向图是非强连通图 => 存在入度为0的点 ∨ 存在出度为0的点
命题4(命題2的逆否):存在入度为0的点 ∨ 存在出度为0的点 => 该有向图是非强连通图
发布了10 篇原创文章 · 获赞 12 · 访问量 1万+