给你个无向图,然后有若干个独立的询问。
每次都是问删去一些边后图是否连通(不超过\(4\)条边)
思考历程
一开始一直在想Tarjan,还想着能不能层层缩点……
后来突然发现,这直接上动态维护图的连通性问题板子就好了!
然后不到\(30min\)直接碾了过去。
正解
正解怎么会是这么模板的东西呢??!
正解是非常优秀的随机化算法。
我们对每条边构造一个权值,使得对于所有的连通块,连出去的所有边的权值异或和恰好为\(0\)。
反过来,我们(假装)认为如果一些边异或起来是\(0\),那么删去这些边之后,某个连通块跟其它地方隔绝了。
很显然,这样子认为的正确性是有问题的。但实际上,只要你将边权的取值范围都开得特别大,那么出错的概率非常小。
接下来考虑怎么构造。
一个点是最小的连通块,我们先要保证一个点的出边的异或和为\(0\)。
然后就可以发现一条性质:如果我们保证每个点的出边的异或和为\(0\),那么就可以保证每个连通块的出边的异或和为\(0\)。
因为如果将连通块内的点的所有出边都异或起来,和为\(0\);并且连通块内的边各出现两次,被抵消;所以最后只剩下连通块的出边。
那么我们只需要让每个点都满足条件就好了。
接下来直接构造就完事啦,至于怎么造就不说了吧……
总结
没有打正解,所以代码懒得发。比赛时的做法太板,发出来没有意义。
随机化算法的重要思想:如果有些命题成立,而逆命题不一定成立,但是不成立的概率很小,那这时候就可以考虑一下随机化了。