当前位置:网站首页>22年多校第三场(F的证明
22年多校第三场(F的证明
2022-07-28 16:13:00 【吃花椒的妙酱】
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。
边栏推荐
- 时间复杂度
- Unity shader procedural texture
- 【深度学习】:《PyTorch入门到项目实战》第二天:从零实现线性回归(含详细代码)
- Oracle system composition
- RE14: reading paper illsi interpretable low resource legal decision making
- ERROR: transport library not found: dt_ socket
- Unity shader uses rendered texture to achieve glass effect
- 综合设计一个OPPE主页--页面的售后服务
- 做题笔记2(两数相加)
- Best cow fences solution
猜你喜欢

阿里云 MSE 支持 Go 语言流量防护

概率论与数理统计第一章

总数据量超万亿行,玉溪卷烟厂通过正确选择时序数据库轻松应对

Easypoi multi sheet export by template

【深度学习】:《PyTorch入门到项目实战》第四天:从0到1实现logistic回归(附源码)

RE14: reading paper illsi interpretable low resource legal decision making

Ruoyi's solution to error reporting after integrating flyway

Outline and principle of structured design -- modularization

Brother Ali teaches you how to correctly understand the problem of standard IO buffer

Re14:读论文 ILLSI Interpretable Low-Resource Legal Decision Making
随机推荐
Oracle table partition
Probability theory and mathematical statistics Chapter 1
Alibaba cloud MSE supports go language traffic protection
NoSQL introduction practice notes I
【深度学习】:《PyTorch入门到项目实战》第一天:数据操作和自动求导
综合设计一个OPPE主页--页面服务部分
SUSE Storage6 环境搭建详细步骤 – Win10 + VMware WorkStation
数据库故障容错之系统时钟故障
Unity shader texture animation
Record development issues
Re12: read these3 semantic self segmentation for abstract summary of long legal documents in low
Add differential pairs and connections in Ad
Given positive integers n and m, both between 1 and 10 ^ 9, n < = m, find out how many numbers have even digits between them (including N and m)
Using MVC in the UI of unity
ERROR: transport library not found: dt_ socket
【深度学习】:《PyTorch入门到项目实战》第八天:权重衰退(含源码)
Technology sharing | MySQL shell customized deployment MySQL instance
在AD中添加差分对及连线
parseJson
Alibaba cloud - Wulin headlines - site building expert competition