22年多校第三场(F的证明

Posted 吃花椒的妙酱

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了22年多校第三场(F的证明相关的知识,希望对你有一定的参考价值。

F题
题意:给定一个无向图,每次询问两点x, y,求是否存在一个n的排列,使得第一个元素为x,最后一个元素为y,且排列的任意一个前缀、任意一个后缀都连通。
解法
(发现还不会点双,赶紧入门了一下图论555
不难想到割点相关的东西,不过只是部分东西qaq
此题应该有点双性质入手
乱分类讨论一下
如果uv在同一点双,由点双性质,删任意点都能保持联通,所以直接yes。
如果uv在不同点双,且一共两个点双且相邻。(先不考虑不连通情况)。
也是可以构造排列 p 1 p 2 . . . p n p_1p_2...pn p1p2...pn的,其中 p 1.. p i p1..pi p1..pi属于一个点双, p i + 1 . . . p n p_i+1...pn pi+1...pn属于另一个, u = p 1 , v = p n u=p_1,v=p_n u=p1,v=pn
如果有更多点双考虑怎么构造,用点双缩点后,是一棵树。因为uv必须在数组的头尾,这棵树必须是链的形式,uv所在的点双必须在链的头尾。结论感觉挺好想的。
反证法乱证下这棵树是条链:
假设不是链,那至少有三个叶子,设uv所在的点双分别为U,V(U≠V),另一个叶子为T。不妨设U与T的lca为LCA,我们先将UV的路径构造到排列p中,
p 1 . . . p i 对应的是 U − > L C A 这条路径上的点双 p_1...p_i对应的是U->LCA这条路径上的点双 p1...pi对应的是U>LCA这条路径上的点双 p i + 1 . . . p n 对应的是 U − > L C A 这条路径上的点双 p_i+1...p_n对应的是U->LCA这条路径上的点双 pi+1...pn对应的是U>LCA这条路径上的点双,(省略处不代表是一串连续的下标)
此时还剩T->LCA这条路径上的点双没加入到排列中,考虑如果路径中只有T和LCA两个点,怎么去构造。
由于一个点可能同时属于多个点双,假设点双LCA中连接U,连接T的那个点(LCA,U,T是一个点集!)同时属于LCA,U和T(但是缩点的时候只能暂时被放在一个集合里,假设现在在LCA这个集合),因为这种情况能增加点双之间的连通性,从而更容易构造排列(表达能力不佳qaq),我们设这个关键点为k点。

现在U到V这条路径已经安置在排列中了,考虑加入T。考虑让排列的前缀保持连通性,那一个最优方法就是加入k后,就去放T里的点,假设k后面接上一个T中的点q,我们再看排列后缀,此时后缀V到T条路径是不连通的,因为k在q前面!!!
那么推理到更坏情况更构造不出来了!
证毕

如果uv所在的点双在头尾的话,还要特判一下uv是割点的情况。毕竟以上只能保证构造出uv分离的排列,还要保证uv间的连通性。
注意特判n=2的情况,始终是yes。

以上是关于22年多校第三场(F的证明的主要内容,如果未能解决你的问题,请参考以下文章

2019湖南多校第三场

2018 HDU多校第三场赛后补题

2020杭电多校第三场

2020杭电多校第三场题解

24dian(牛客多校第三场)

杭电多校第三场 A Ascending Rating