[codeforces 938G]Shortest Path Queries

最新推荐文章于 2021-10-17 10:46:35 发布

WorldWide_D

最新推荐文章于 2021-10-17 10:46:35 发布

阅读量803

点赞数

分类专栏：数据结构并查集

本文链接：https://blog.csdn.net/WorldWide_D/article/details/79413111

版权

该博客探讨了如何解决codeforces 938G问题，这是一个涉及无向联通简单图、边权、路径异或和查询的算法挑战。博主分析了添加与删除边保持图联通性的情况，并引用了845G题目的解决方案作为启发。在845G的基础上，提出了利用线段树、并查集和线性基的数据结构来处理动态图中求最小路径异或和的问题，实现O(nlog^2n)的时间复杂度。

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

题目大意

给定一个n个点m条边的无向联通简单图，边有边权。接下来有q次操作，操作有三种：
1. 添加一条边，保证添加后仍是简单图
2. 删除一条边，保证删除后仍是联通图
3. 给定x,y，求所有x到y的路径中所有边权异或和最小值（一条边经过多次算多次）
n,m,q≤200000
边权 <230 <script type="math/tex" id="MathJax-Element-9"><2^{30}</script>

分析

首先我们联想到CF另一道题845G，这题没有前两个操作，只询问1到n的答案。
那道题的解法是随便拿出一个生成树，设f[x]表示x到根简单路径的异或和，x到y的树上简单路径可以表示成f[x]^f[y]。
对于非树边，它可以得到一个环。走一次环的异或和可以通过上面方法得到。我们把每个环的异或值都加进线性基里，表示每个环都可以走。环相交、走重边等情况容易发现边权会抵消掉，所以答案就是f[1]^f[n]和任意个环异或得到的最小值。用线性基可以log的时间出解。

回到此题，一个思路就是：对于所有边，记录它的出现时间区间，然后对于时间开个线段树，把边存在里面。显然一条边最多被分成log条。然后遍历这个线段树，对于一个询问，此时的图就是线段树上该叶子到根路径上所有边组成的。
我们可以用并查集维护连通性，同时维护上面提到的f[]数组（注意这里回溯时会有撤销操作，要按秩合并）。线性基可以每递归下一层复制一遍。
那么时间复杂度是