欧拉图及欧拉路径
- 欧拉图
- 如果图G上有一条经过所有顶点、所有边的闭路径(边不重复,顶点可以重复)
- 充分必要条件
- 无向图:G连通,所有顶点的度都是偶数
- 有向图:G弱连通,每个顶点出度与入度相等
- 欧拉路径
- 如果图G上有一条经过所有顶点、所有边的路径(边不重复,顶点可以重复)
- 充分必要条件
- 无向图:G连通,恰有两个顶点的度是奇数
- 有向图:G连通,恰有两个顶点的出度与入度不相等,其中一个出度比入度多1,另一个入度比出度多1。
哈密顿图及哈密顿通路
- 哈密顿图
- 如果图G上有一条经过所有顶点的回路(不要求经过所有的边,也称作哈密顿回路)
- 充分非必要条件:如果具有n个顶点的图G的每一对顶点度数之和不小于n,且n>=3
- 哈密顿通路
- 如果图G上有一条经过所有顶点的通路(非回路)
- 充分非必要条件:如果具有n个顶点的图G的每一对顶点度数之和不小于n-1,那么G中有一条哈密顿通路
哈密顿通路问题在上世纪七十年代被证明是“NP完全的”
图的连通性
- u可达v
- u=v或存在一条u到v的路径
- 连通的无向图
- 无向图中的任意两个顶点都是可达的
- 连通的有向图
- 有向图中的任意两个顶点都是互相可达的
- 单向连通的有向图
- 任意两个顶点至少从一个顶点到另一个顶点是可达的
- 弱连通的有向图
- 将有向图看作是无向图时是连通的