标签：mamicode http 就会 one 题解 nbsp 导致 == style
考场上看错题，没什么好说的。
然而它就是一个大板子。
发的题解勉强还能看。但是我还想再讲讲。
题目的表述是，如果从A能直接或间接到B，那么就不能同时轰炸A和B。
那么我们从图里随便拽出一条有向路径，从这条路径中随意挑2个点AB，那么要么能从A到B要么从B到A
那么你任意挑出的这两个点只要不是同一个点那么就不能同时轰炸。
带下划线的那一段有什么用呢？它的正确性是显然的。
我所说的“有向路径”没有加任何附加限制，所以可以包括环，环上转几圈就可能出现同一个点呗。
我们考虑单纯的一个环。那么它上的每一个都要单独炸一次。
再考虑单纯的一条路径，那么路径上的每一个点也需要单独炸一次。
如果一个路径进入了一个环，那么这上面的点也必须单独炸一次（路径上的点可以到达环上的任意点）。
如果一个环引出了一个路径，那么环上的点亦可到路径上，都要单独炸一次。
综上，就是要找出一条路径使它上面的不同的点尽量多，不同的点的个数即为答案。
上面那一堆话里已经包括了这个意思：环上的每个点都会给路径长度增加1，且对联通性没有影响。
所以考虑tarjan缩完强联通分量后就没有环了，只不过环变成了权值等于环中点数的一个大点而已
其余普通点的权值为1。现在的问题就变成了在一个DAG里找一条路径使它上面的点权和最大。
不能dfs，因为这是有向的DAG，虽然不是环但也不是树，它可以长得很恶心。
在这个恶心图里面跑dfs就会多次重复地经过3和3下面的点导致大量浪费。
可以倒着搜加个记忆化什么的，然而一个拓扑排序会更方便一些。
1 #include<bits/stdc++.h> 2 using namespace std; 3 map<int,int>mm; 4 int n,m,fir[1000005],l[1000005],to[1000005],cnt=1,dfn[1000005],low[1000005]; 5 int _fir[1000005],_l[1000005],_to[1000005],_cnt,w[1000005],in[1000005]; 6 int sta[1000005],ins[1000005],tim,top,bl[1000005],cnt_scc,ans,dis[1000005]; 7 int q[1000005],t; 8 void connect(int a,int b){l[++cnt]=fir[a];fir[a]=cnt;to[cnt]=b;} 9 void _connect(int a,int b){_l[++_cnt]=_fir[a];_fir[a]=_cnt;_to[_cnt]=b;in[b]++;} 10 void tarjan(int p){ 11 dfn[p]=low[p]=++tim;sta[++top]=p;ins[p]=1; 12 for(int i=fir[p];i;i=l[i]) 13 if(!dfn[to[i]])tarjan(to[i]),low[p]=min(low[p],low[to[i]]); 14 else if(ins[to[i]])low[p]=min(low[p],low[to[i]]); 15 if(dfn[p]==low[p]){ 16 w[++cnt_scc]++; 17 while(sta[top]!=p)ins[sta[top]]=0,bl[sta[top--]]=cnt_scc,w[cnt_scc]++; 18 top--;bl[p]=cnt_scc;ins[p]=0; 19 } 20 } 21 signed main(){ 22 scanf("%d%d",&n,&m); 23 for(int i=1,a,b;i<=m;++i)scanf("%d%d",&a,&b),connect(a,b); 24 for(int i=1;i<=n;++i)if(!dfn[i])tarjan(i); 25 for(int i=1;i<=n;++i)for(int j=fir[i];j;j=l[j]) 26 if(bl[i]!=bl[to[j]])_connect(bl[i],bl[to[j]]); 27 for(int i=1;i<=cnt_scc;++i)if(!in[i])q[++t]=i; 28 for(int h=1;h<=t;++h){ 29 int dt=dis[q[h]]+w[q[h]];ans=max(ans,dt); 30 for(int i=_fir[q[h]];i;i=_l[i]){ 31 in[_to[i]]--;dis[_to[i]]=max(dis[_to[i]],dt); 32 if(!in[_to[i]])q[++t]=_to[i]; 33 } 34 } 35 printf("%d\n",ans); 36 }
标签：mamicode http 就会 one 题解 nbsp 导致 == style
原文地址：https://www.cnblogs.com/hzoi-DeepinC/p/11328385.html
