【BZOJ4424】Cf19E Fairy

Description

给定 n 个点,m 条边的无向图,可以从图中删除一条边,问删除哪些边可以使图变成一个二分图。

Input

第 1 行包含两个整数 n,m。分别表示点数和边数。
第 2 到 m+1 行每行两个数 x,y 表示有一条(x,y)的边。

Output

输出第一行一个整数,表示能删除的边的个数。
接下来一行按照从小到大的顺序输出边的序号。

Sample Input

4 4
1 2
1 3
2 4
3 4

Sample Output

4
1 2 3 4

HINT

100%的数据,n,m<=1000000

题解:先建出DFS树,然后每条非树边都对应一个简单环。找出所有奇环偶环及其覆盖的树边,然后分类讨论:

如果没有奇环,那么删哪条边都行。
如果只有一个奇环,那么可以删它覆盖的树边,也可以删这条非树边。
如果有多个奇环,那么必须删掉被所有奇环都覆盖的边。

但是问题来了,奇环+偶环=奇环,也就意味着如果一条边即被奇环覆盖也被偶环覆盖,那么删掉这条边是没有的,判掉就好。

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
const int maxn=1000010;
int n,m,sum,ans,cnt;
int f[maxn],to[maxn<<1],next[maxn<<1],ont[maxn<<1],head[maxn],pa[maxn],pb[maxn],vis[maxn],dep[maxn];
int fa[20][maxn],Log[maxn],pc[maxn],s1[maxn],s0[maxn],from[maxn],ok[maxn];
int find(int x)
{return (f[x]==x)?x:(f[x]=find(f[x]));
}
inline void add(int a,int b)
{to[cnt]=b,next[cnt]=head[a],head[a]=cnt++;
}
void dfs1(int x)
{vis[x]=1;for(int i=head[x];i!=-1;i=next[i])    if(!vis[to[i]])ont[i]=1,fa[0][to[i]]=x,dep[to[i]]=dep[x]+1,from[to[i]]=(i>>1)+1,dfs1(to[i]);
}
inline int lca(int a,int b)
{if(dep[a]<dep[b])   swap(a,b);for(int i=Log[dep[a]-dep[b]];i>=0;i--)   if(dep[fa[i][a]]>=dep[b])   a=fa[i][a];if(a==b)  return a;for(int i=Log[dep[a]];i>=0;i--)   if(fa[i][a]!=fa[i][b]) a=fa[i][a],b=fa[i][b];return fa[0][a];
}
void dfs2(int x)
{for(int i=head[x];i!=-1;i=next[i])  if(ont[i])  dfs2(to[i]),s1[x]+=s1[to[i]],s0[x]+=s0[to[i]];
}
inline int rd()
{int ret=0,f=1;   char gc=getchar();while(gc<'0'||gc>'9')  {if(gc=='-')    f=-f;  gc=getchar();}while(gc>='0'&&gc<='9')  ret=ret*10+(gc^'0'),gc=getchar();return ret*f;
}
int main()
{n=rd(),m=rd();int i,j;memset(head,-1,sizeof(head));for(i=1;i<=n;i++)  f[i]=i;for(i=1;i<=m;i++){pa[i]=rd(),pb[i]=rd(),add(pa[i],pb[i]),add(pb[i],pa[i]);if(find(pa[i])!=find(pb[i]))    f[f[pa[i]]]=f[pb[i]];}for(i=1;i<=n;i++) if(!vis[i]) dep[i]=1,dfs1(i);for(i=2;i<=n;i++)  Log[i]=Log[i>>1]+1;for(j=1;(1<<j)<=n;j++)  for(i=1;i<=n;i++)    fa[j][i]=fa[j-1][fa[j-1][i]];for(i=1;i<=m;i++)  if(!ont[i*2-2]&&!ont[i*2-1]){pc[i]=lca(pa[i],pb[i]);if(!((dep[pa[i]]^dep[pb[i]])&1))   sum++,s1[pa[i]]++,s1[pb[i]]++,s1[pc[i]]-=2;else  s0[pa[i]]++,s0[pb[i]]++,s0[pc[i]]-=2;}for(i=1;i<=n;i++) if(dep[i]==1) dfs2(i);if(!sum){printf("%d\n",m);for(i=1;i<=m;i++)    printf("%d%c",i,i==m?'\n':' ');return 0;}if(sum==1)   for(i=1;i<=m;i++)    if(!ont[i*2-2]&&!ont[i*2-1]&&!((dep[pa[i]]^dep[pb[i]])&1))  ok[i]=1,ans++;for(i=1;i<=n;i++)   if(s1[i]==sum&&!s0[i])    ok[from[i]]=1,ans++;printf("%d\n",ans);for(i=1;i<=m;i++)    if(ok[i])   printf("%d%c",i,(--ans)?' ':'\n');return 0;
}//5 6 1 2 1 3 2 3 2 5 3 6 5 6

转载于:https://www.cnblogs.com/CQzhangyu/p/7859700.html

【BZOJ4424】Cf19E Fairy DFS树相关推荐

  1. bzoj 4424: Cf19E Fairy dfs

    题意 给定 n 个点,m 条边的无向图,可以从图中删除一条边,问删除哪些边可以使图变成一个二分图. n,m<=1000000 分析 只要把dfs树搞出来,然后把深度奇偶性相同的点放到同一集合,然 ...

  2. BZOJ4424 Cf19E Fairy(codeforces 19E/洛谷CF19E)

    树上差分 DFS BZOJ题目传送门 codeforces题目传送门 洛谷题目传送门 首先只有当图中没有奇环时一张图才能够二分图染色.因为只允许删一条边,那么答案就是所有奇环的交,并且奇环不能和偶环有 ...

  3. bzoj4424 Cf19E Fairy 树形dp

    题目描述: 给定 n 个点,m 条边的无向图,可以从图中删除一条边,问删除哪些边可以使图变成 一个二分图. n,m<=1000000 题目分析: 戳这里详细题解 一个二分图是没有奇环的. 要让所 ...

  4. BZOJ4424: Cf19E Fairy

    Description 给定 n 个点,m 条边的无向图,可以从图中删除一条边,问删除哪些边可以使图变成 一个二分图. Input 第 1 行包含两个整数 n,m.分别表示点数和边数. 第 2 到 m ...

  5. CF19E Fairy (奇偶环,树上差分)

    CF19E Fairy 做法 统计出每条边所在的奇偶环数量 如果没有奇环 哪条边都可以 如果只有一条 删去即可 其余情况 需要删除公共边 #include <bits/stdc++.h> ...

  6. 图论 ---- E. Pairs of Pairs(构造+无向图的dfs树的性质)

    题目链接 题目大意: 题目解法: 首先我们先对这个图求一个dfs树dfs树dfs树,那么对dfs树dfs树dfs树求树的直径rrr如果⌈n2⌉≤r\lceil\frac{n}{2}\rceil\leq ...

  7. 图论 ---- 构造DFS树的思想 K - Boomerangs Gym - 102001K

    题目链接 题目大意: 解题思路: 启发性思考首先我们先图切成dfs树,然后给图一个稳定结构之后,我们就可以去构造了 对于每个点我们从第底端开始构造每次把每次点的儿子两两匹配,如果是奇数个儿子就把多出来 ...

  8. Last Theorem CodeForces - 1325F(dfs树找最大环+思维)

    It's the year 5555. You have a graph, and you want to find a long cycle and a huge independent set, ...

  9. Codeforces Round #628 (Div. 2) F. Ehab‘s Last Theorem dfs树

    传送门 文章目录 题意: 思路: 题意: 给你个nnn个点mmm条边的图,可以选择完成以下两个任务中的一个: (1)(1)(1)找出大小恰好为n\sqrt nn​的一个独立集. (2)(2)(2)找出 ...

最新文章

  1. python - 线程
  2. 信息系统项目管理师-知识产权、项目收尾、标准规范核心知识点思维脑图
  3. hdu-4686 Arc of Dream
  4. Hadoop中Context类的作用
  5. 【Elasticsearch】 es kibana 安全实战
  6. HDU_1198 Farm Irrigation(并查集)
  7. Viewflipper
  8. 开发者 发展 9 心智模式
  9. 浅谈大数据如何应用?
  10. H3CIE-----这只是一个过程!
  11. dither技术的原理及应用
  12. 学习银行业务----存款
  13. pe备份linux系统教程,如何使用老毛桃winpe的Bootice工具备份SYSLINUX引导程序?
  14. 2023届互联网校招信息⌈提前批⌋⌈秋招⌋ ⌈春招⌋ 第一弹
  15. 数据嗨客 | 第4期:逻辑回归
  16. AtCoder Beginner Contest 174 C.Repsept
  17. iOS中GIF图片的加载
  18. springBoot:Invalid bound statement (not found): com.hry.seckill.mapper.GoodsMapper.getGoodsVoList
  19. python tkinter下载_学习使用tkinter
  20. vnc viewer中文版,3步下载vnc viewer中文版

热门文章

  1. 史上最让人动心的十大IT广告语(多图)
  2. Cesium,mars3d,3dtiles 3d地图显示
  3. HTML基础学习笔记(1)
  4. 广东省肇庆市谷歌卫星地图下载
  5. [Spring Boot]12 ElasticSearch实现分词搜索功能
  6. 无法启动计算机打印机服务程序,安装驱动程序时电脑弹出错误窗口“无法启动Windows打印后台程序服务” (适用于Windows OS)...
  7. 为什么要抛弃maven
  8. 计算机里面看不到桌面是什么原因,电脑桌面图标都没了是什么情况?电脑桌面图标都没了解决方法...
  9. POS终端“密事”之PIN加解密
  10. MapReduce调优方案