Codeforces 图论板刷总结（更新中）

最新推荐文章于 2023-11-09 23:30:40 发布

置顶

calabash_boy

最新推荐文章于 2023-11-09 23:30:40 发布

阅读量2.4k

点赞数 4

分类专栏： Codeforces 专题练习文章标签： Graphs

本文链接：https://blog.csdn.net/calabash_boy/article/details/100609273

版权

本文作者分享了在Codeforces上刷图论题目的经验，涉及区间图最段路、二分图构造、最短路DAG、欧拉回路等主题，并提供了每个问题的解决思路和技巧，适合图论学习者进行复习和参考。

摘要由CSDN通过智能技术生成

图论太菜了呀，那怎么办呀，刷点题吧，写下来可以以后复习？或者造福后人？这blog估计也没什么用？
大概就从这开始刷吧：Link

786B 区间图最段路

没啥好说的，标准的区间图最短路，建议整理板子。我的板子：Link

741C 构造题二分图

很容易被搞到2-sat上去，但是猜到一定有解的情况下，构造出二分图就做完了。我反正智商是没了。

567E 最短路DAG必经边

可以通过方案数来确定一条边是否必经，最好双模，曾经被卡过QAQ。简单题。

527E 欧拉回路

首先容易想到要先把每个点的度数补成偶数，这是必要的。然后这个条件就让人想到存在欧拉回路，然后构造答案：如果回路长度是奇数，增加一个自环，变成偶数。偶数则直接给边按照左右左右这样定向就做完了。我反正智商又没了。
大概就是把欧拉回路类比成简单环去考虑吧，这样就比较容易想到这样构造了？

1147D 建图划分等价类

首先要枚举a的位数，因为a前边那些0是不参与回文的。将a，b的每一位取0，1分别建一个点，总共4n个点，然后回文，异或这两个条件会产生一些等价条件，使用并查集维护。然后还有一些值已经确定了，比如b首位是1，a前边若干个0，然后有一位是1，在检查完合法性之后，剩下的自由元可以任意取值，答案就是一个2的幂次。
有点类似于2-sat吧，但是因为这里是等价关系（双向边），就比较简单了。数自由元需要用到图是对称的。

724D 图线性基

这个题比较套路。。有三个要素：无向图，路径长度定义为异或和，不必要简单路径。
这三个东西导致了一个套路：两点间的所有路径的值可以由任意一条路径的值，再经过任意的环组合。那我们只需要将所有的环的路径值加入到线性基里面，就可以轻松处理答案了。
而环是不可能全找出来的，但是由于一个环可以由其他的环组合出来，且要维护的是异或基，因此只需要找到一些基环（基向量），让他们足够来组合（张成）出所有的环（向量）即可。

1023F 生成树思维

给边定值的时候，边的考虑顺序不会影响答案。
（原图只需要保留一个mst）证明：假设有两条虚线的边是我们的边，红色蓝色紫色都是原树的边，现在想要同时加入这两个虚线边。首先显然加一条边的时候，需要把这个边的值定为树上路径上的最小值，同时删掉树上那个最小的边。
那么只需要讨论两条路径上要删掉的那个最小边的位置，很容易就能证明。
在这里插入图片描述
由于输入已经排好序了，直接并查集。

571C 建图定向思维

一些预处理是很简单的：如果一个变量只出现了 $a$ 或者只出现了 $\sim a$ ，则可直接确定这个变量的取值，然后将该合取式删除，这会导致一些新的变量出现上边这样的情况，所以要跑一个拓扑排序。
剩下的就只有每个变量在一个合取式中是 $a$ ，在另一个合取式中是 $\sim a$ ，显然这个 $a$ 变量只能使得一个合取式得到满足，因此我们在这两个合取式间连一个边，我们要做的是给边定向，使得每个点都至少有一个入度，显然树是非法的（只有n-1个边，只能满足n-1个合取式），其他都是合法的，任意找一个环，然后先把环定向，其他的就搞一个基环外向树。
题目中每个变量至多出现在两个合取式的条件，已经明示了做法，想到建图就做完了。

627D 二分 DP

二分+DP，有一些细节需要仔细讨论一下。

85E 二分染色

最大值最小，直接二分答案，然后在不满足条件的点之间连边，然后要求这个图可以二染色，直接dfs走一遍check就行，一个连通块方案数为2，因此总方案数是 $2^{component}$ .

542E 推理

容易从三元环发现只要存在奇数长度的环，则一定是-1，这等价于判断能否二染色。
然后这个题很重要的东西就是环了，容易观察到一些结论：1如果有多个连通块，则答案是各个连通块的和，2如果是一棵树，答案就是直径，3长度为2n的裸环答案是n（对折）。再分析一下就能发现：以任意两点为链的端点，链长将等于这两点的最短路，因为他是最短的，没办法附体到其他的链上。然后就做完了。