T1725 天黑请闭眼

Online Judge:COCI2014/2015 Contest#1 D MAFIJA(原题)

Label:基环树,断环+树形Dp,贪心+拓扑

题目描述

最近天黑请闭眼在 C国十分流行!游戏里有两个身份,一个是杀手,另一个是平民。杀手知道哪些人是杀手,而平民对此一无所知。现在为了知道谁是杀手,参与游戏的每个人都指证了一个人为杀手,可以确定的是,杀手一定会指证平民,而平民指证的人有可能是杀手,也有可能是平民。给出每位玩家指证的人,请找出游戏中最多可能的杀手个数。

输入

第一行包括一个整数N,表示玩家个数.玩家分别被编号为1~N.

接下来N行,每行一个整数,其中第K行的数表示编号为K的玩家所指证为杀手的玩家编号。

对每组测试点输出一行,如果满足条件输出Yes否则输出No。

输出

输出仅一行,表示最多可能的杀手个数。

样例

Input

7
3
3
4
5
6
4
4 3
2
3
1 3
2
1
1

Output

4

1

2

Hint

100%的数据 N<=500000.

题解

虽然题目给的是有向边,但其实相当于双向边。且对于边\((u,v)\),只需要保证两者间至多只有一个杀手。

证明:

对于有向边u->v,根据题意只存在以下取法\((u=1,v=0),(u=0,v=1),(u=0,v=0)\);

对于有向边v->u,类似的只存在以下取法\((v=0,u=1),(v=0,u=0),(v=1,u=0)\)

整理分析得,不论该边方向如何,相连的两点间最多只能取1个杀手

题目就变成了求基环树上的最大独立集


做法一

联想起一道类似的经典树形Dp题目——没有上司的舞会.

相比,这道题是一棵基环树,多了一个环,而且图也可能不连通。但有一个重要的发现:每个连通的块内,都有且仅有一个环

考虑基环树的常见套路——断环,然后转为树形问题解决。

Q1:怎么断环?

利用并查集维护点与点的连通情况,把合并前就已经在同一集合的边记录下来。到时候dfs时,避开这条边即可。

Q2:断环后怎么搞?

断环后就形成了一棵普通的树,直接树形Dp即可(就是上面那道的做法)。但注意,我们记录的断掉的边\((u,v)\)这两者不能同时取杀手。如何较方便的解决?直接分别以\(u,v\)为树根dfs两遍即可,最后将\(max(dp[u][0],dp[v][0])\)累计到答案(因为可能会有多个连通的块)。

整个算法的时间复杂度为\(O(N)\)。

代码如下:

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+10;
inline int read(){
int x=0;char c=getchar();
while(c<'0'||c>'9')c=getchar();
while(c>='0'&&c<='9')x=(x<<3)+(x<<1)+(c^48),c=getchar();
return x;
} struct edge{
int to,nxt;
}e[2*N];
int n,head[N],cnt;
inline void link(int u,int v){
e[++cnt].to=v,e[cnt].nxt=head[u];
head[u]=cnt;
}
int tot,fa[N],u[N],v[N],id[N];
inline int find(int x){return fa[x]==x?x:fa[x]=find(fa[x]);}
int dp[N][2];
void dfs(int x,int f,int ban){
dp[x][0]=0,dp[x][1]=1;
for(int i=head[x];i;i=e[i].nxt){
int y=e[i].to;
if(y==f||i==ban||i==ban-1)continue;
dfs(y,x,ban); dp[x][0]+=max(dp[y][0],dp[y][1]);
dp[x][1]+=dp[y][0];
}
}
int main(){
n=read();
for(int i=1;i<=n;i++)fa[i]=i;
for(int i=1;i<=n;i++){
int to=read();
link(i,to);link(to,i);
int A=find(i),B=find(to);
if(A==B){//去除环上的某条边
u[++tot]=i,v[tot]=to,id[tot]=2*i;
}
else fa[A]=B;
} int ans=0;
for(int i=1;i<=tot;i++){
dfs(u[i],0,id[i]);
int tmp1=dp[u[i]][0];
dfs(v[i],0,id[i]);
int tmp2=dp[v[i]][0];
ans+=max(tmp1,tmp2);
}
printf("%d\n",ans);
}

做法二

关于求基环树(也适用于普通树)上的最大独立点集(不带权值),有这样一个贪心方案。

对于某个入度为0的点\(x\)(这里我们重新将边视作单向边),它指向\(to[x]\),那么显然是将\(to[x]\)染黑较优,所以可以用类似拓扑的dfs去给点打标记,最后计个数。

#include<bits/stdc++.h>
using namespace std;
const int N=500010;
int n,ans=0,to[N],ing[N];
bool mark[N];
void dfs(int x,int w){
if(mark[x])return;
mark[x]=1;
if(w)ans++;
ing[to[x]]--;
if(ing[to[x]]==0||w==1)dfs(to[x],!w);
}
int main(){
scanf("%d",&n);
for(int i=1;i<=n;i++)scanf("%d",&to[i]),ing[to[i]]++;
for(int i=1;i<=n;i++)if(!ing[i])dfs(i,1);
for(int i=1;i<=n;i++)if(!mark[i])dfs(i,0);
printf("%d\n",ans);
}

两者的时间复杂度都是\(O(N)\)的,但相较之下第一种断环+树形dp的做法更具推广性,适用于点带权的情况——比如下面几道题:

[ZJOI2008]骑士

HDU4830 Party

COCI2014/2015 Contest#1 D MAFIJA【基环树最大独立点集】的更多相关文章

  1. 2018-2-6考试(COCI2014/2015 Contest#5)

    T1:FUNGHI(1s,32M,50pts)得分:50 题意:给你8个数组成一个环,要你求出其中连续的4个数,让它们的和最大 题解:暴力求出每一连续4个数之和,比较一下就好 标签:模拟 C++ Co ...

  2. C++算法代码——求数列[coci2014/2015 contest #1]

    题目来自:http://218.5.5.242:9018/JudgeOnline/problem.php?id=1815 题目描述 Mirko在数学课上以一种有趣的方式操作数列,首先,他写下一个数列A ...

  3. luogu3651 展翅翱翔之时 (はばたきのとき)[基环树+贪心]

    考前随便做点水题愉♂悦身心 有助于退役 这题意思其实就是说要把外向基环树森林改成一个环的最小代价. 依照套路,先对每棵基环树的树做dp,这里因为要是环,要把所有的树都拆成链,然后连接.所以考虑以最小代 ...

  4. 【BZOJ1791】【IOI2008】【基环树】island(status第一速度)

      1791: [Ioi2008]Island 岛屿  Time Limit: 20 Sec  Memory Limit: 162 MB Submit: 908  Solved: 159 [Su ...

  5. 『Island 基环树直径』

    Island(IOI 2008) Description 你准备浏览一个公园,该公园由 N 个岛屿组成,当地管理部门从每个岛屿 i 出发向另外一个岛屿建了一座长度为 L_i 的桥,不过桥是可以双向行走 ...

  6. 【BZOJ4883】 [Lydsy1705月赛]棋盘上的守卫(最小生成树,基环树)

    传送门 BZOJ Solution 考虑一下如果把行,列当成点,那么显然这个东西就是一个基环树对吧. 直接按照\(Kruscal\)那样子搞就好了. 代码实现 代码戳这里

  7. [Codeforces235D]Graph Game——概率与期望+基环树+容斥

    题目链接: Codeforces235D 题目大意:给出一棵基环树,并给出如下点分治过程,求点数总遍历次数的期望. 点分治过程: 1.遍历当前联通块内所有点 2.随机选择联通块内一个点删除掉 3.对新 ...

  8. 洛谷AT2046 Namori(思维,基环树,树形DP)

    洛谷题目传送门 神仙思维题还是要写点东西才好. 树 每次操作把相邻且同色的点反色,直接这样思考会发现状态有很强的后效性,没办法考虑转移. 因为树是二分图,所以我们转化模型:在树的奇数层的所有点上都有一 ...

  9. bzoj1791[IOI2008]Island岛屿(基环树+DP)

    题目链接:https://www.lydsy.com/JudgeOnline/problem.php?id=1791 题目大意:给你一棵n条边的基环树森林,要你求出所有基环树/树的直径之和.n< ...

随机推荐

  1. Android开发 Button的开发记录

    Button置顶层效果取消 android:stateListAnimator="@null" 在代码里执行点击 mButton.performClick(); //点击 mBut ...

  2. css实现单行、多行文本溢出显示省略号(…)

    一.单行文本溢出显示省略号(…) 省略号在ie中可以使用text-overflow:ellipsis了,但有很多的浏览器都需要固定宽度了,同时ff这些浏览器并不支持text-overflow:elli ...

  3. [JZOJ2866] 【集训队互测 2012】Bomb

    题目 题目大意 给你一个有\(n\)个点的平面. 选择三个点,求两两之间曼哈顿距离和的最大值和最小值. 思考历程&正解 比赛的时候没有想太多,但感觉似乎比较水-- 首先有个很显然的性质,答案为 ...

  4. 专访阿里云MVP王俊杰:开发者的超能力是用技术让世界更美好

    [王俊杰:阿里云MVP,陕西创博网络科技有限公司总经理.大数据与物联网的爱好者与实践者. 8年以上互联网从业经验,曾从事军工相关仿真分析软件研发与集成.4年以上大数据系统开发经验.目前正与天水市秦州区 ...

  5. thinkphp 跳转和重定向

    页面跳转 在应用开发中,经常会遇到一些带有提示信息的跳转页面,例如操作成功或者操作错误页面,并且自动跳转到另外一个目标页面.系统的\Think\Controller类内置了两个跳转方法success和 ...

  6. hdu多校第三场 1006 (hdu6608) Fansblog Miller-Rabin素性检测

    题意: 给你一个1e9-1e14的质数P,让你找出这个质数的前一个质数Q,然后计算Q!mod P 题解: 1e14的数据范围pass掉一切素数筛法,考虑Miller-Rabin算法. 米勒拉宾算法是一 ...

  7. sparkStreaming结合sparkSql进行日志分析

    package testimport java.util.Propertiesimport org.apache.spark.SparkConfimport org.apache.spark.Spar ...

  8. LeetCode 28.实现strStr()(Python3)

    题目: 实现 strStr() 函数. 给定一个 haystack 字符串和一个 needle 字符串,在 haystack 字符串中找出 needle 字符串出现的第一个位置 (从0开始).如果不存 ...

  9. MySQL之从忘记密码到重置密码

    在对MySQL的应用中,难免会有忘记登陆密码的情况:接下来,将简单介绍下MySQL忘记密码如何登陆和重置密码的操作过程. 首先来说下新版MySQL(5.7+)的重置密码过程: 由于忘记登陆密码,所以正 ...

  10. (转载)——Centos下安装Redis(原文地址:http://www.nnzhp.cn/archives/169)

    原文地址:http://www.nnzhp.cn/archives/169 今天介绍一下redis,重点介绍一下redis的安装. Redis 是一个基于内存的高性能key-value数据库,数据都保 ...