BZOJ1124 [POI2008]枪战Maf[贪心(证明未完成)+拓扑排序]

吐槽:扣了几个小时,大致思路是有了,但是贪心的证明就是不会,

死磕了很长时间,不想想了,结果码代码又不会码。。

深深体会到自己码力很差,写很多行还没写对,最后别人代码全一二十行,要哭了


以下可能是个人口胡瞎扯:首先n个点,每个点一个出边,所以这个图可能是有很多连通块,具体有以下几种形态:

  • 内向基环树
  • 树上有一个点套一个自环

这三种构成森林。

先看最多死多少人。

  • 环的话是$siz-1$
  • 内向基环树只有树那部分的叶子(无入度)可以存活。画图举例辅助理解。
  • 树上带自环:同上

再看很烦人的最少死多少人

  • 环:$ \lfloor \frac{n+1}{2} \rfloor$
  • 内向基环树:拓扑排序,将入度为0的全加队里,一直这样处理,把死掉的点和开过枪的点删掉。
  • 树带自环:同上

然后拓扑处理后上面三种形态的变化情况:

  • 环:不变
  • 内向基环树:可能剩下一个环,或者因为被破坏而啥都不剩
  • 树:可能剩下一个自环或无

然后至于为什么要做拓扑排序,这是一个贪心,我没有办法严谨证明。。哭。

首先对于树,肯定是从叶子开始把父亲全杀死,然后父亲的父亲是活的,继续向上开枪......这样比其他顺序是更优的。

环的话也同理。而内向基环树我就不会证了。如果环上挂一个树,可以发现树根杀不杀死环上的点对于环上的点答案是无影响的。

所以只看树的部分,也就是拓排。那一个环上挂很多个树呢?这辈子我一定会把他证出来的。

总之就是先拓扑排序附带统计ans,然后只会剩下环和自环,然后再在这些环里处理答案。

其实code我是厚颜无耻抄的。。自己写的实在搞不下去了。。今年破格抄一次code,到年尾再也不抄了

付下这位神仙的题解:BZOJ1124: [POI2008]枪战Maf。感谢指导。侵删。

 #include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
#define dbg(x) cerr << #x << " = " << x <<endl
using namespace std;
typedef long long ll;
typedef double db;
typedef pair<int,int> pii;
template<typename T>inline T _min(T A,T B){return A<B?A:B;}
template<typename T>inline T _max(T A,T B){return A>B?A:B;}
template<typename T>inline char MIN(T&A,T B){return A>B?(A=B,):;}
template<typename T>inline char MAX(T&A,T B){return A<B?(A=B,):;}
template<typename T>inline void _swap(T&A,T&B){A^=B^=A^=B;}
template<typename T>inline T read(T&x){
x=;int f=;char c;while(!isdigit(c=getchar()))if(c=='-')f=;
while(isdigit(c))x=x*+(c&),c=getchar();return f?x=-x:x;
}
const int N=1e6+;
int to[N],ind[N];
int n,maxlive,minlive;
int q[N],dead[N],cir[N]; int main(){//freopen("test.in","r",stdin);//freopen("test.out","w",stdout);
read(n);
for(register int i=;i<=n;++i)read(to[i]),++ind[to[i]];
for(register int i=;i<=n;++i)if(!ind[i])++minlive,q[++maxlive]=i;
for(register int l=;l<=maxlive;++l){
int y=to[q[l]];
if(dead[y])continue;
dead[y]=,cir[to[y]]=;
if(!(--ind[to[y]]))q[++maxlive]=to[y];
}
for(register int i=;i<=n;++i)if(!dead[i]&&ind[i]){
int siz=,p=;
for(register int j=i;!dead[j];j=to[j])dead[j]=,++siz,p|=cir[j];
if(!p&&(siz>))++minlive;
maxlive+=siz/;
}
return printf("%d %d\n",n-maxlive,n-minlive),;
}

我以后会来补证明的。

人类的本质是鸽子

上一篇:Linux主机如何用ssh去登录docker容器的步骤


下一篇:BZOJ1124 POI2008枪战Maf(环套树+贪心)