陈峻宇高级图论讲课笔记

离线哩!

竞赛图

竞赛图确实抽象,性质一堆一堆的,想不明白……而且多半都和强连通分量有关系。

兰道定理

考虑一共有 \(n \choose 2\) 条边,那么 \(\sum out_x = \binom n2\)

兰道定理大致就是如果竞赛图强连通,那么:

\[\not \exists k \in [1, n), \sum_{x = 1}^k out_x = \binom k 2 \]

大概就是说,如果存在一个 \(\sum_{x = 1}^k out_x = \binom k2\),那么这里面的出度就不会向外连,那么就是说内部强连通。

D. Invertation in Tournament\(n\) 很小的时候状压枚举方案,用兰道定理是简单的,但是在 \(n\) 很大(\(> 6\))的时候呢?存在性质:

  • \(n \ge 4\) 时,如果原图强连通,那么一定存在一个 \(n - 1\) 的强连通子图。
  • \(n \gt 6\) 是,至多只需要 \(1\) 次操作。

证明是繁琐的,不太会。但是得到这个性质之后,这就简单了。

欧拉回路

和偶数度数,二分图有点般配。

CF527E Data Center Drama 加边定向,大概就是说,贪心的将所有边的度数变成 \(2\) 的倍数。但是注意到如果此时边数为奇数,那么挂,所以需要加一条自环,在保证不新增奇数点的情况下多一条边。然后跑欧拉回路,将相邻的两条边反向即可。

Mike and Fish 很类似,注意到欧拉回路会将度数分为一半入度,一半出度,那么就完了。相差 \(1\) 就是用来调整奇偶的。

MST

来点抽象的东西。

新年的繁荣 非常抽象,如何处理与最大生成树?沿用 trie,大概就是说将所有 1 子树合并到 0 上,然后贪心即可,这是 \(O(m 2^m)\) 的,利用 Bov... 做到 \(O((n + 2^m) m \log n)\)。然而还有神秘的做法,既然连最大的边是对的,那么考虑在值域上从大到小,类似状压的考虑即可,见 https://uoj.ac/submission/669485

MST and Rectangles 也很抽象。还是 Bov...,只是多了一个扫描线。

posted @ 2023-12-29 21:35  jeefy  阅读(27)  评论(0编辑  收藏  举报