【源自知友】一个图论问题

问题

链接——知乎，有问题，就会有答案

证明一个所有奇环长度都为 3 的无向图 $G$ 可以四着色，并构造着色方案。

解法

摘自笔者本人的解答

若所有奇圈的长度都为 3，考虑构造一种方案使 G 四着色，不妨设四种颜色为 $0,1,2,3$ 。

我们一定可以找出一个边集 $A\subset E$ ，满足去掉 $A$ 中的边后的图可以二染色，且 $|A|$ 最小，即满足图 $G^{\prime }=(V,{\complement }_{E}A)$ 不存在奇圈，可以二染色，使得 $|A|$ 最小。

然后我们对 $G^{\prime }$ 进行二染色，点被染色成白点和黑点。设此次点 $i$ 的颜色为 $co{l}_i$ ，那么一定对于 $\forall (u,v)\in A,co{l}_u=co{l}_v$，即该边属于一个奇圈 ，否则该边 $(u,v)$ 可从 $A$ 中删去，与 $|A|$ 最小矛盾。

同时，因为不存在奇圈的长度大于 3，所以对于 $\forall (u,v)\in A$ ，$(u,v)$ 不属于原图 $G$ 的任意一个偶圈。否则，由于偶圈大小为 $2k(k\ge 2)$，而 $(u,v)$ 两端点之间存在一条长为 2 的路径（它本身属于一个三元圈），所以便会形成一个大小为 $2k-1+2=2k+1\ge 5$ 的圈，与题设矛盾。

接下来我们对于 $A$ 的图 $G^{\prime \prime }=(V,A)$ 再次染色，单独考虑每一个极大联通分量。

我们可以证明，图 $G^{\prime \prime }$ 是个二分图：假设 $G^{\prime \prime }$ 中存在一个奇圈 $C$ ，我们任取两个不同的边 $(a,b),(c,d)\in C$ ，那么在原图 $G$ 上，点 $c$ 和点 $d$ 之间也存在一条长度为 2 的路径，因此 $(a,b)$ 同时属于一个长度为 $|C|-1+2$ 的偶圈中，与上文黑体字矛盾，故假设不成立，图 $G^{\prime \prime }$ 是个二分图。

是个二分图就可以二染色，由于 $\forall (u,v)\in A,co{l}_u=co{l}_v$ ，所以每一个极大连通分量内的点的 $col$ 都是相等的。我们对于所有点 $col$ 为白色的极大连通分量二染色为 $0,1$ ，对所有点 $col$ 为黑色的极大块连通分量二染色为 $2,3$ 。令此次染色后点 $i$ 的颜色为 $colo{r}_i$ 。

这时，满足 $\forall (u,v)\in E,colo{r}_u\ne colo{r}_v$ ，四着色完成。

加强

证明貌似更简单：

如何证明若G中所有奇圈的长都为3，则G是4可着色的？ - 泥泥的回答 - 知乎