专栏文章
题解:CF2135C By the Assignment
CF2135C题解参与者 3已保存评论 2
文章操作
快速查看文章及其快照的属性,并进行相关操作。
- 当前评论
- 2 条
- 当前快照
- 1 份
- 快照标识符
- @minyt934
- 此快照首次捕获于
- 2025/12/02 10:34 3 个月前
- 此快照最后确认于
- 2025/12/02 10:34 3 个月前
省流:给你一个无向联通简单图,图上某些点的点权(第 个点的点权记为 )已被固定,剩下的点权未知,对于同一个点对 ,从 到 的所有路径的点权异或和都是同一个值,求未知的点权有多少填充方式(保证点权 )。
显然,如果图是树,那么树上的节点可以随便填权值,因为两两之间路径唯一。
然后考虑一般图。
首先,这题是性质题。
一个一个看性质。
然后考虑一般图。
首先,这题是性质题。
一个一个看性质。
【性质 1】
省流:任意一个长度为 的环 上随便剖出一条长为 的链,链的异或和都是 。
省流:任意一个长度为 的环 上随便剖出一条长为 的链,链的异或和都是 。
不难发现,若 之间有连边,并且其还有其他路径可互相到达的话,就会构成一个环。
由于同一个点对 ,从 到 的所有路径的点权异或和都是同一个值,所以说 的值等于 再异或上环上所有其他节点的异或和。
这就意味着环上所有其他节点的异或和是 。
对于这个环上的任意相邻点对来说都是一样的,所以这个性质得证。
由于同一个点对 ,从 到 的所有路径的点权异或和都是同一个值,所以说 的值等于 再异或上环上所有其他节点的异或和。
这就意味着环上所有其他节点的异或和是 。
对于这个环上的任意相邻点对来说都是一样的,所以这个性质得证。
【性质 2】
省流:任意环的异或和都是 。
省流:任意环的异或和都是 。
相当于把性质一做了推广。
如果环 的异或和不是零,又因为性质一,所以这意味着每一个相邻点对的异或和都不是 。
但是,你考虑环上两个点 之间隔了一个点 的情况,那么显然 等于环上 的补的异或和。
我们让 和环上 的补同时异或上 ,显然环上 的补会和 构成一条长为 的链,异或和为零。
然而 根据前面的反设,不是 ,所以得到矛盾。
因此任意环的异或和都是 。
如果环 的异或和不是零,又因为性质一,所以这意味着每一个相邻点对的异或和都不是 。
但是,你考虑环上两个点 之间隔了一个点 的情况,那么显然 等于环上 的补的异或和。
我们让 和环上 的补同时异或上 ,显然环上 的补会和 构成一条长为 的链,异或和为零。
然而 根据前面的反设,不是 ,所以得到矛盾。
因此任意环的异或和都是 。
【性质 3】
省流:任意奇环上的所有点权都是 。
省流:任意奇环上的所有点权都是 。
首先,根据性质 2,显然奇环上的所有点点权都相等。
所以只能全都是 ,因为是奇数个。
所以只能全都是 ,因为是奇数个。
【性质 4】
省流:任意偶环上的所有点权都相等。
省流:任意偶环上的所有点权都相等。
这个反证一下也是挺显然的。
【3,4 推论】
- 如果某个奇环和偶环有交,那么两个环的并上的所有点都是 0。
- 如果某个偶环和偶环有交,那么两个环的并上的所有点权都相等。
有了这几个性质,答案呼之欲出。
就是对原图跑 Tarjan 求出每一个边双连通分量。
为啥,因为边双连通分量本质上就是一堆环的并。
对于每一个边双联通分量,如果不是二分图,那么这个边双上所有点都是 。
如果是二分图,那么这个边双上所有点权都相等。
判二分图就是找奇环,BFS 黑白染色即可。
就是对原图跑 Tarjan 求出每一个边双连通分量。
为啥,因为边双连通分量本质上就是一堆环的并。
对于每一个边双联通分量,如果不是二分图,那么这个边双上所有点都是 。
如果是二分图,那么这个边双上所有点权都相等。
判二分图就是找奇环,BFS 黑白染色即可。
最后,关于已经钦定点权的点,那个其所在的整个边双的点权都与它相等。(除非它不是 但是其所在边双有奇环,此时原图不合法,填充方案数为 )
没有钦定的就乘法原理即可。
所以最终答案是 的没被钦定的二分图边双个数次方。(好绕)
没有钦定的就乘法原理即可。
所以最终答案是 的没被钦定的二分图边双个数次方。(好绕)
相关推荐
评论
共 2 条评论,欢迎与作者交流。
正在加载评论...