欧拉图，哈密顿图

欧拉图

$$欧拉图：格尼斯堡问题\Rightarrow 能一笔画的图，闭迹（边不重复，点可以）$$
定理一 充要条件(欧拉定理)：连通+所有顶点的度是偶数
有向连通图 D 是欧拉图，当且仅当该图为连通图且 D 中每个结点的入度=出度；
$$证明：连通+所有顶点的度是偶数\Rightarrow 有环C$$
$如果C不能包含所有定点，则从图中去掉C部分，顶点个的度还是偶数，则有新的环称其为C_2,如此归纳至Cn$
$所以满足以上条件的图是有限个相交的环的集合，所以可以一笔画$

定理一推论：$图中有一条开迹,图中只有两个奇度的定点$

定理二：$图中有n条开迹,图中只有2n个奇度的定点，$
$由此写一个王字最少需要四笔，奇度顶点个数除以2$

哈密顿图

$$哈密顿图：环游世界再回到起点问题\Rightarrow （点不重复，边可以）$$
判断的充要条件还是个世界难题
$$思考：如何将一个哈密顿图变成非H$$
$必要条件：G=(V,E),S\subset V,分支数W(G-S)\le |S|,(也就是去点的点数多于分支数)$

$充分条件1：G是（p，q）图，任意顶点的度\ge \frac{p}{2}$
$$\begin{gathered} 证明其逆否命题，假设G非H，肯定不是(p-1)正则图K_p,可以加边 \\ \exists u.v不邻接，向G中加入（u，v）,如此寻找不邻接的点，直至G变为H，设去掉最后加入的一条变后图为G‘， \\ {G}^{\prime }中有H路(不一定是H回路)v_1,v_2,v_3\dots \dots v_p,其中v_{1,1},v_{1,2}\dots \dots ，v_{1,k}与v_1连接 \\ 由此在通路上的与v_1相邻的前一个顶点一定不与v_p相连(否则会形成H回路) \\ deg(v_1)=k,deg(v_p)\le p-k-1,deg(v_1)+deg(v_p)\le p-1,则有一个小于\frac{p}{2} \end{gathered}$$

$$\begin{gathered} 充分条件1推论1：对于顶点个数大于2的图，如果图中任意两点度的和大于或等于顶点总数p， \\ 那这个图一定是哈密顿图。 \end{gathered}$$

中国邮递员问题：

$$\begin{gathered} 邮局出发，走完每条路，回到邮局，要走的总长度=？ \\ 可转化问将原图补充为欧拉图 \end{gathered}$$

TSP（货郎担问题,旅行推销员问题（英语：Travelling salesman problem, TSP））

$$\begin{gathered} 求解访问每点一次并回到起始城市的最短回路 \\ 该问题实质是在一个带权完全无向图中，找一个权值最小的Hamilton回路。 \end{gathered}$$