＜离散数学|图论＞图的判断

前提：要判断的图是连通的！！

欧拉图

戈尼斯堡七桥问题，遍历边。每条边必须遍历且仅遍历一次，回到出发点（起点和终点重合）。

欧拉图的判断

无向图

无向图G是欧拉图的充要条件：G是连通的且每个结点的度均为偶数
充要条件意味着，该定理可用来证明：
1.一个无向图是欧拉图
2.一个无向图不是欧拉图

有向图

有向图G是欧拉图的充要条件：G是连通的且每个结点的入度=出度
充要条件意味着，该定理可用来证明：
1.一个有向图是欧拉图
2.一个有向图不是欧拉图

欧拉路径的判断

无向图

无向图G中含有欧拉路径的充要条件：G是连通的且图中恰有两个奇数度的结点，这两个奇数度的结点正是欧拉路径的起点和终点
ps：
1.如果有有0个奇数度的结点，意味着该图为欧拉图，必含有欧拉路径
2.结点度数均为偶数，意味着该图为欧拉图，必含有欧拉路径
充要条件意味着，该定理可用来证明：
1.一个无向图中含有欧拉路径
2.一个无向图中不含欧拉路径

有向图

有向图G含有欧拉路径的充要条件：G是连通图且每个结点的出度等于入度，可能有两个结点除外，其中一个结点的入度比出度大1，另一个结点的入度比出度小1
充要条件意味着，该定理可用来证明：
1.一个有向图中含有欧拉路径
2.一个有向图中不含欧拉路径

二部图

判断方法：对结点进行A-B标号

哈密尔顿图

周游世界，遍历顶点，每个顶点经过且经过一次，回到起点。

哈密尔顿图的判断

无向图

1.必要条件：若图G是哈密尔顿图，则w(G-S)<=|S|
ps：
满足该条件的不一定是哈密尔顿图，但不满足的一定不是
因此，该定理不能用来证明是哈密尔顿图，特例之一是彼得森图

必要条件意味着，该定理可用来证明
1.一个无向图不是哈密尔顿图

证明某个图不是哈密尔顿图：
1.上述必要条件
2.G是无向连通二部图，两个集合的结点个数不同

2.充分条件：G是具有n（n>=3）个结点的简单无向图，如果G中每一对结点的度数之和大于等于n，则G是哈密尔顿图
ps：
哈密尔顿图不一定满足这个条件，但满足这个条件的一定是哈密尔顿图。也就是说，不满足这个条件的图也可能是哈密尔顿图

充分条件意味着，该定理可用来证明
1.一个无向图是哈密尔顿图

证明某个图是哈密尔顿图：
1.上述充分条件
2.图G(n,m)，n>=3的完全图都是哈密尔顿图
（n,m）图：具有n个结点，m条边的图
完全图：任意两个结点有且仅有一条边相连
3.每个结点度数均不小于n/2的图，特别的，k-正则图在k>=n/2时都是哈密尔顿图
！！不满足上述条件的图仍然有可能是哈密尔顿图

哈密尔顿路径的判断

无向图

1.充分条件：G是具有n（n>=3）个结点的简单无向图，如果G中任何两个不同结点的度数之和大于等于n-1，则G中含哈密尔顿路径
充分条件意味着，该定理可用来证明
1.一个无向图含哈密尔顿路径

证明某个图不含哈密尔顿路径：
1.G是无向二部图，|m-n|>1，则G中必不存在哈密尔顿路径

小结

因为哈密尔顿图及哈密尔顿路径问题没有充分必要条件，因此在判断一个图是否是哈密尔顿图的时候要格外小心。有的题目提供的图，是哈密尔顿图（可以找到具体的路径），它满足必要条件（但是不能根据必要条件来证明这个图是哈密尔顿图），但它不满足充分条件（但是不能由不满足充分条件来断定这个图不是哈密尔顿图）。这种情况下，硬找吧，找到一条哈密尔顿圈就证明它是哈密尔顿图。最最最原始的办法（肯定能得出结果）的是模拟计算机对图进行遍历，枚举每种可能的情况。当前面几种情况都不成功的时候，可以试试反证法来证明，最坏情况就是前面提到的枚举遍历。

平面图

平面图是无向图
1.必要条件：
1)一个连通简单平面图G，共有n个结点，m条边，若n>=3，则m<=3n-6
2)一个连通简单平面图G，共有n个结点，m条边，若每个面至少由4条边围成，则m<=2n-4
k条边围成，m<=k(n-2)/(k-2)
满足的不一定是平面图

证明一个图不是平面图：
1.不满足上述必要条件
2.包含K5，K3，3在2度结点内的同构子图
3.反证法，假设是平面图，利用欧拉公式求出面数，然后面数不等于图中的面数

证一个图是平面图：
1.不包含K5，K3，3在2度结点内的同构子图

一些图的符号

（n,m）图：具有n个结点，m条边的图
Kn:n个结点的无向完全图
Dn:n个结点的有向完全图
G=<X,E,Y>:二部图
Km,n:完全二部图

一些疑问

1.除上述方法之外，证明一个图是哈密尔顿图的方法
2.除上述方法之外，证明一个图含哈密尔顿路径的方法
3.两个集合结点个数相同的二部图一定是哈密尔顿图嘛？
初学离散数学，如果有错误或者没有提到的地方，还请多多指教~