图论的证明套路和图论之美

图论之最

1. 图论常用奇技淫巧

   1. 最短/最长路：

      1. 不含奇圈$\Rightarrow$二部图：取最短的路。还有一个技巧：两条路必有分离的点，取最后一个分离的点

   2. 极大极小取法

      1. Euler图的证明 S = { G ∣ G 连 通 且 无 奇 度 顶 点 ， G 不 是 Euler图 } S=\{G|G连通且无奇度顶点，G不是\text{Euler图}\} S={ G∣G连通且无奇度顶点，G不是Euler图}

         取出边最少的图

      2. Dirac定理证明 S = { G ∣ G 最 小 度 δ ≥ ν 2 ， G 不 是 Hamilton图 } S=\{G|G最小度\delta\ge\frac{\nu}{2}，G不是\text{Hamilton图}\} S={ G∣G最小度δ≥2ν​，G不是Hamilton图}

         取出边最多的图

      3. 必有最小支配集$D$，使得：$\forall v\in D,\exists u\in V-D$， N ( u ) ∩ D = { v } N(u)\cap D=\{v\} N(u)∩D={ v},取$G[D]$边数最多的那个最小支配集。再用反证法。

      4. 若$\alpha \ge \kappa \Rightarrow$Hamilton图

         取最长的圈

      5. 取临界色图和最佳边染色

      6. 任二奇圈都有公共点，则$\chi \le 5$，取最小的圈，这个圈在原图中肯定没有弦，可以3正常染色。去掉这个圈，剩下的一定不是奇圈，故是二部图，二部图是2正常可染的。证毕。

      7. Vitaver;Roy;Gallai，有向图$\overrightarrow{G}$必有长为$\chi (G)-1$的有向路

         删去最小弧集$A^{\prime }$使得$\overrightarrow{G}-A^{\prime }$不含有向圈。证明有向路的起点与终点异色，证明任意弧的两端异色。这里取了距离作为一个参考，同时，在证明二部图等价无奇圈时也用了点到其他点的距离作为参考构建。

      8. Tutte给图添加极多的边不能再添加，使得再添加一条边就会有完美匹配。（和临界色图思想类似，再去掉一条边色数就会减少）

   3. 数学归纳法：

      1. 树的$\epsilon =\nu -1$
      2. 连通$\Rightarrow \epsilon \ge \nu -1$
      3. $\kappa \le {\kappa }^{\prime }$：对${\kappa }^{\prime }$作数学归纳
      4. whitney定理：对距离作数学归纳
      5. Konig,$k-$正则二部图有$k$个完美匹配，对$k$作数学归纳
      6. $\lceil \frac{\nu }{1+\Delta }\rceil \le {\alpha }^{\prime }\le \lfloor \frac{\nu }{2}\rfloor$
      7. Euler公式，对$\epsilon$作数学归纳
      8. Chavatal,Lavasz底图无孤立点，则必有孤立集$S$使得对$V(G)-S$中每个顶点$v$，都存在$v_0$，在$\overrightarrow{G}$中从$v_0$到$v$有长不超过2的有向路，对$\nu$数学归纳
      9. Moon强连通竞赛图的泛圈性

   4. 平均数中值法

      1. $\delta (G)\ge \frac{\nu +k-2}{2}\Rightarrow$$\kappa$连通，当$k=1$得到下一个定理
      2. $\delta (G)\ge \frac{\nu -1}{2}\Rightarrow$连通且${\kappa }^{\prime }=\delta (G)$
      3. 直径为2的连通图${\kappa }^{\prime }=\delta (G)$
      4. $\gamma \le \frac{\nu }{2}$

2. 最难的Dirty inspiration:

   1. Tutte定理
   2. Hall定理以及其导出的匈牙利算法，值得注意的是hall定理早于tutte定理。
   3. Dirac哈密顿回路充分条件
   4. Chvatal度序列条件，证明满足这个度序列的闭包是完全图。
   5. 管梅谷中国邮路问题，（这个证明太巧妙了）以及Edmonds算法
   6. Bondy点独立和连通度，反证法。首先$\forall x,y\in I,|N(x)\cap N(y)|\le \nu -\alpha$，由此得 ∣ N ( x ) ∪ N ( y ) ∣ ≥ α ≥ k − 1 |N(x)\cup N(y)|\ge\alpha\ge k-1