离散数学第13章穿程问题

欧拉

欧拉就是一笔画完的意思

欧拉圈/欧拉图

无向图一笔画完，回到自身。欧拉图 <=> 欧拉圈。欧拉链不算欧拉图。

欧拉圈当且仅当

每个顶点都是偶顶点

画一个上面是三角形下面是正方形的“房子，试图一笔画完，就能感受到了。

正向证明=>>>>>欧拉圈进入和离开每个顶点的次数相同，所以每个顶点都是偶顶点。画一个8就能感受出来了。

反向证明<<<<<=问题是给定一个全是偶顶点的图，怎么找欧拉图。核心：从图中去掉一个圈得到的图的每个顶点仍然是偶顶点。

然后就是用第二数学归纳法套娃了。还是画一个8来感受一下。

习题4

如果有k奇顶点，怎么加边变成欧拉图？

首先有握手定理知道奇顶点的个数一定是偶数，这偶数个奇顶点两两连边就能使得全部成为偶顶点。

k个奇顶点两两加k/2条边。

欧拉链

一笔画完，但是不能回到自身

欧拉链当且仅当

欧拉链就是刚好有两个奇顶点，其他都是偶顶点。

欧拉链只有从一个奇顶点出发一笔画完到另一个唯一的奇顶点这一种画法，没有别的画法了。

欧拉回路当且仅当

强连通且每个顶点的引入次数与引出次数相同。

欧拉通路当且仅当

单向连通且u的引出次数比引入次数大1，v 的引入次数比引出次数大1，其它顶点的引入次数与引出次数相同。

哈密顿

哈密顿就是一笔连完的意思

一笔连完就是把所有顶点给连出来，还要求点不重复
人类还没有找到哈密顿图的充分必要条件，只知道一些必要条件和充分条件

哈密顿圈/哈密顿图

一笔连完，且刚好可以回到原点。哈密顿链不算哈密顿图。

哈密顿圈判正

每对不相邻顶点次数之和>=n。

哈密顿图判否

删除子图后的连通分支数大于删除的顶点个数。

哈密顿链

一笔连完，回不到原点

哈密顿链判正

每对不相邻顶点次数之和>=n-1。

哈密顿链判否

删除子图后的连通分支数大于删除的顶点个数+1

哈密顿通路判正

有向完全图

证明思路还是用最长基本通路：

设u[1,p]是最长的基本通路，假设那么有一个v在基本通路外面，v不可能指向u1，up不可能指向v，但是因为是完全图，基本通路上应该有一条边指向v，且从v有一条边指向基本通路，那么就应该有如图的一个三角形。这个三角形使得基本通路边长，故矛盾，故没有v在基本通路外面。