【学习笔记】Vizing 定理

图染色问题的经典结论

定义

称一个边染色方案合法当且仅当每个顶点连出的所有边的颜色都互不相同，如果此时出现了 \(k\) 个颜色那么称该方案是图的一组 \(k\) 染色

一张无向图的边着色数为最小的 \(k\) 满足图可以 \(k\) 边染色，但不存在一个 \(k-1\) 边染色方案，记图 \(G\) 的边色数为 \(\chi'(G)\)

同时记 \(\Delta(G)\) 为图上的最大度数

\(\rm{Vizing}\) 定理：

• 如果满足 \(G\) 是二分图，那么 \(\chi'(G)=\Delta(G)\)

  考虑对这部分进行构造性证明：

  考虑向二分图中加入边 \((x,y)\)，设 \(c_x\) 为 \(x\) 点连出的边的颜色中的一个在 \([1,c]\) 中没有出现的颜色，\(c_y\) 同理

  如果 \(c_x=c_y\) 那么直接将这条边染成 \(c_x\) 即可

  否则不妨设 \(c_x< c_y\) 将 \(y\) 点连出的颜色为 \(c_x\) 的边改成颜色 \(c_y\) 并将边 \((x,y)\) 染成 \(c_x\)

  同时由图是二分图，那么一定可以从 \(y\) 点开始找到一条终点不是 \(x\) 的增广路，路径颜色为 \(c_x,c_y\) 交替，直接在 \(\{c_x,c_y\}\) 集合内反色即可

• 如果 \(G\) 是简单图，那么 \(\Delta(G)\le \chi'(G)\le \Delta(G)+1\)

证明博主不会

例题

Undefined

一张 \((n,m)\) 点的二部图，有 \(k\) 条边，\(c\) 个颜色

一个点的代价是给其边染色之后边表中出现次数最多的颜色减去出现次数最少的颜色，求所有点的代价和的最小值

---

首先给出结论：\(\rm{Min}=n+m-\sum_{i=1}^{n+m}[c|deg[i]]\)

将一个点的 \(c\) 个边包装成一组进行建立新点，新图仍然是二分图，同时满足每个点的度数 \(\leq c\)

直接使用 \(\rm{Vizing}\) 定理完成结论证明

UOJ44

和上面的题目类似，对于加边操作，动态加虚点找增广路

删边判一下是不是最后一个虚点，不是的话从最后一个点扒一个过来即可