解题:CEOI 2017 Mousetrap

Posted ydnhaha

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了解题:CEOI 2017 Mousetrap相关的知识,希望对你有一定的参考价值。

题外话:

这是制杖yd的交流题目

题面

首先把捕鼠夹所在的点提出来当根,然后这变成了一棵有根树,我们先来看耗子移动的影响

可以发现耗子往下走就回不来了,而且最后还会被困在一个叶子上,那么这个时候我们把那个子树到根的路径砍成一条链(显然不砍成链耗子可以半路跑进岔路里,至少要你再清理一次,肯定不如砍了优)再把耗子放出来就可以了。而耗子往上走我们是管不了的(指不能阻止它往上走,但是可以砍旁边的分叉,一会具体说),毕竟我们不能把树砍断了,那耗子就到不了夹子了

那么耗子的决策就明确了,它往上走一段之后或者直接找到一个子树钻进去,这个子树应该是我们把子树的根到树的根砍成链需要操作次数最多的,而我们和耗子的博弈就是尽量阻止它钻进需要次数多的子树里。现在考虑求耗子钻进一个点的子树之后我们的最少操作数:先定义$intr[i]$表示耗子钻进$i$我们砍完边再把它放回$i$所需的最小次数,这样方便转移,转移的话因为我们每次只能砍一条边,就是一个点儿子里$intr$的不严格次大值(最大值被我们砍了,如果没有次大值就是零)加上这个点的度数(这个点也需要砍光)再减$1$(这个点和父亲之间的边)。

注意这时的状态还不是到根的答案,要求到根的答案我们还要处理一个$road[i]$表示从$i$到根路径上的岔路。这里我们把耗子所在的初始点到根的链拎出来,然后扫一遍就可以求出来$road$,这样每个点到根的时间就是$intr[i]+road[fa[i]]+(fa[i]==start)$,$+(fa[i]==start)$是因为初始这个点再往下走相当于在子树里面又走了一步,还要把这步也擦掉 。然后我们发现直接求并不好求,因为并不容易知道耗子到底要怎么跑,但是我们可以二分一个答案,然后检验耗子能不能跑进一个超过当前时间的子树即可

技术分享图片
 1 #include<cstdio>
 2 #include<cstring>
 3 #include<algorithm>
 4 using namespace std;
 5 const int N=1000005;
 6 int p[N],noww[2*N],goal[2*N],path[N],deg[N];
 7 int intr[N],road[N],tort[N],far[N],dep[N];
 8 //intr(into-tree):进入这个点的子树又回来的最小次数
 9 //road:这个点到根路径上的岔路的数目
10 //tort(to-root):这个点到根的最小操作次数 
11 int n,m,l,r,t1,t2,trp,rat,cnt,mid,ans,ops;
12 void Link(int f,int t)
13 {
14     noww[++cnt]=p[f],p[f]=cnt;
15     goal[cnt]=t,deg[t]++;
16 }
17 void DFS(int nde,int fth,int dth)
18 {
19     int max1=0,max2=0,tmp=-1;
20     far[nde]=fth,dep[nde]=dth;
21     for(int i=p[nde];i;i=noww[i])
22         if(goal[i]!=fth)
23         {
24             DFS(goal[i],nde,dth+1),tmp=intr[goal[i]];
25             if(tmp>=max1) max2=max1,max1=intr[goal[i]];
26             else if(tmp>max2) max2=tmp;
27         }
28     if(~tmp) intr[nde]=max2+deg[nde]-1;//次小值更新intr,叶子节点的是0 
29     if(nde==rat)
30     {
31         while(far[nde])
32             path[++m]=nde,nde=far[nde];//把耗子初始位置到根的链拎出来 
33         for(int i=m,lst=0;i;i--,lst=nde)
34             nde=path[i],road[nde]=road[lst]+deg[nde]-2;//扫一遍把岔路数量求出来 
35     }
36 }
37 bool check(int x)
38 {
39     int lst=0;
40     for(int i=1;i<=m;i++)
41     {
42         int nde=path[i],tmp=0;
43         for(int j=p[nde];j;j=noww[j])
44             if(goal[j]!=far[nde]&&goal[j]!=lst)
45                 tmp+=(road[nde]+intr[goal[j]]+(i==1)>x);
46                 //这里+(i==1)是说初始这个点再往下走相当于在子树里面又走了一步,还要把这步也擦掉 
47         x-=tmp,ops+=tmp,lst=nde;
48         if(x<0||ops>dep[rat]-dep[nde]+1) return false;//注意透支次数也是不行的 
49     }
50     return true;
51 }
52 int main()
53 {
54     scanf("%d%d%d",&n,&trp,&rat);
55     for(int i=1;i<n;i++)
56     {
57         scanf("%d%d",&t1,&t2);
58         Link(t1,t2),Link(t2,t1);
59     }
60     DFS(trp,0,1),l=0,r=1000000;
61     while(l<=r)
62     {
63         mid=(l+r)/2,ops=0;
64         if(check(mid)) r=mid-1,ans=mid;
65         else l=mid+1;
66     } 
67     printf("%d",ans);
68     return 0;
69 }
View Code

 

以上是关于解题:CEOI 2017 Mousetrap的主要内容,如果未能解决你的问题,请参考以下文章

Luogu P4654 [CEOI2017]Mousetrap

@loj - 2483@「CEOI2017」Building Bridges

loj2480 [CEOI2017]One-Way Streets

BZOJ4800 [Ceoi2015]Ice Hockey World Championship

Luogu4652 CEOI2017 One-Way Streets 树上差分

在 Next.js 中导入 react-hook-mousetrap 时出现“无法在模块外使用 import 语句”错误