离散数学 有向图单向连通的条件怎么证明

离散数学,有向图若单向连通, 当且仅当, 有一条经过所有顶点的通路 书上没有怎么证明

这个在博客搜一下,就可以出来了

没怎么证明就对了
因为从概念出发,什么叫单向连通图,就是任意两点之间有路径可达才叫单向连通图
也就是说不能出现一个以上只进不出或者只出不进的顶点
图中只能允许一个顶点只出不进,一个顶点只进不出,其他顶点都是有出有进,跟其他顶点连通的,
把顶点扩展到区域,每个区域也不能是封闭的,必然是跟其他区域连通的,那么整体必然存在一个通路
反过来也一样,既然存在一个通路,那肯定是连通的
-=-=-=
或者可以用反证法
假设不存在一个从A到N的通路,那么必然是从某个顶点开始往后不可达了,就与任意两点可达矛盾