【学习笔记】二部图 Vizing 定理

$\mathrm{V}\mathrm{i}\mathrm{z}\mathrm{i}\mathrm{n}\mathrm{g}$ 定理

图 $G$ 的 $k$ 染色：将每条 边 染成 $k$ 种颜色之一，使得任意两条共端点的边异色。

定义 $\chi (G)$ 为，使得 $G$ 的 $k$ 染色存在的最小 $k$ 。对于一个二部图 $G$，假设点的度数最大是 $\mathfrak{D}(G)$，则有
$$\chi (G)=\mathfrak{D}(G)$$

证明可以使用调整法。依次考虑每条边，设当前考虑到 $(x,y)$，记 $v_x$ 为 $x$ 已染色的邻边的颜色集合中，未出现过的最小正整数。显然 $v_x,v_y⩽\mathfrak{D}(G)$，现在我们只需要致力于连一条 $v_x$ 颜色的边。

如果 $v_x=v_y$，连上便是。否则，不妨设 $v_x<v_y$，即 $y$ 已连了一条 $v_x$ 颜色的边 $e$ 。考虑将 $e$ 的颜色修改为 $v_y$ 。可能导致 $e$ 的另一个端点出现矛盾，需要递归修改。形式化地：

从 $y$ 出发找一条极长增广路径 $y,p_1,p_2,\dots ,p_k$，经过的边的颜色依次是 $v_x,v_y,v_x,v_y,\dots ,v_{x/y}$ 。

由于图是二分图，不妨让 $x$ 在 $\mathfrak{X}$ 部，$y$ 在 $\mathfrak{Y}$ 部，那么每次走到 $p_i\in \mathfrak{X}$ 都是经由一条 $v_x$ 颜色的边，每次走到 $p_i\in \mathfrak{Y}$ 都是经由一条 $v_y$ 颜色的边。由于每个点的临边颜色不同，所以 没有点被重复经过。

同样可以发现，路径不会包含 $x$，否则走到它的时候就已经出现了 $v_x$ 颜色的边，与 $v_x$ 定义矛盾。将这些边的颜色全部翻转，即 $v_x\to v_y$ 而 $v_y\to v_x$，图仍然合法。

此时边 $(x,y)$ 可以被染成 $v_x$ 颜色。于是定理得证。

例题

题目描述
有一个二分图，你需要将所有边染上 $c$ 种颜色之一，使得 $\sum v_x$ 最小。其中 $v_x={\max }_{j=1}^c{w}_x(j)-{\min }_{j=1}^c{w}_x(j)$，定义 $w_x(j)$ 为 $x$ 的邻边中颜色为 $j$ 的数量。你只需输出这个最小和。

数据范围与提示
点数 $n⩽2\times 10^6$，边数 $k⩽10^6$，颜色种类数 $c\in [1,10^5]$ 。

思路

不难发现 答案有一个下界是 $n-{\sum }_{i=1}^n[c\mid {\mathrm{deg}}_i]$，即所有度数为 $c$ 倍数的点提供 $0$ 的贡献，其余的提供 $1$ 的贡献。证明需要用到 $\mathrm{V}\mathrm{i}\mathrm{z}\mathrm{i}\mathrm{n}\mathrm{g}$ 定理（话说一般人都不会往这方面想吧）。

首先拆点（才能套用 $\mathrm{V}\mathrm{i}\mathrm{z}\mathrm{i}\mathrm{n}\mathrm{g}$ 嘛），将一个点拆成 $\lfloor \frac{\mathrm{deg}}{c}\rfloor$ 个度数为 $c$ 的点，和一个度数为 $\mathrm{deg}\mathrm{m}\mathrm{o}\mathrm{d}c$ 的点。原来接在这个点上的边，可以任意分配，只要满足度数的条件。新的图仍然是二分图，运用 $\mathrm{V}\mathrm{i}\mathrm{z}\mathrm{i}\mathrm{n}\mathrm{g}$ 定理将边染色。如果把拆出来的点合并回原来的点，考虑 $v_x$ 的值：显然度数为 $c$ 的点是 $w(j)=1(1⩽j⩽c)$ 的，合并这个点不会导致 $v_x$ 变化。所以只有度数为 $\mathrm{deg}\mathrm{m}\mathrm{o}\mathrm{d}c$ 的点，是 $w(j)=1(j\in S)$，提供 $1$ 的贡献。如果 $c\mid \mathrm{deg}$ 则不存在该点，也就没有贡献了。

原题就有了一个 $\mathcal{O}(n+k)$ 的做法。

后记

模仿二分图匹配 $\mathrm{H}\mathrm{u}\mathrm{n}\mathrm{g}\mathrm{a}\mathrm{r}\mathrm{y}$ 算法，我们证明了 $\mathrm{V}\mathrm{i}\mathrm{z}\mathrm{i}\mathrm{n}\mathrm{g}$ 定理。一个很有意思的地方是，$\mathrm{H}\mathrm{u}\mathrm{n}\mathrm{g}\mathrm{a}\mathrm{r}\mathrm{y}$ 算法是可能无法增广的，而 $\mathrm{V}\mathrm{i}\mathrm{z}\mathrm{i}\mathrm{n}\mathrm{g}$ 总是可以！

还有一般简单图上的情况，这个我就搞不懂了，只能靠读者自己阅读了……