再来回顾一下2-SAT,把每个点拆点为是和非两个点,如果a能一定推出非b,则a->非b,其他情况同理。

然后跑强连通分量分解,保证a和非a不在同一个分量里面。

这题由于你建完图发现都是双向边,所以用并查集亦可。

#include<cstdio>
#include<vector>
#include<cstring>
using namespace std;
vector<int>G[200010],rG[200010],vs;
bool used[200010],a[100010];
int n,m,cmp[200010],bel[100010][3];
void dfs(int U)
{
used[U]=1;
for(int i=0;i<G[U].size();++i)
if(!used[G[U][i]])
dfs(G[U][i]);
vs.push_back(U);
}
void rdfs(int U,int k)
{
used[U]=1;
cmp[U]=k;
for(int i=0;i<rG[U].size();++i)
if(!used[rG[U][i]])
rdfs(rG[U][i],k);
}
int main()
{
// freopen("d.in","r",stdin);
int x,y;
scanf("%d%d",&n,&m);
for(int i=1;i<=n;++i)
scanf("%d",&a[i]);
for(int i=1;i<=m;++i)
{
scanf("%d",&x);
for(int j=1;j<=x;++j)
{
scanf("%d",&y);
bel[y][++bel[y][0]]=i;
}
}
for(int i=1;i<=n;++i)
if(a[i])
{
G[bel[i][1]].push_back(bel[i][2]);
G[bel[i][2]].push_back(bel[i][1]);
G[bel[i][1]+m].push_back(bel[i][2]+m);
G[bel[i][2]+m].push_back(bel[i][1]+m); rG[bel[i][2]].push_back(bel[i][1]);
rG[bel[i][1]].push_back(bel[i][2]);
rG[bel[i][2]+m].push_back(bel[i][1]+m);
rG[bel[i][1]+m].push_back(bel[i][2]+m);
}
else
{
G[bel[i][1]].push_back(bel[i][2]+n);
G[bel[i][2]].push_back(bel[i][1]+n);
G[bel[i][1]+m].push_back(bel[i][2]);
G[bel[i][2]+m].push_back(bel[i][1]); rG[bel[i][2]+m].push_back(bel[i][1]);
rG[bel[i][1]+m].push_back(bel[i][2]);
rG[bel[i][2]].push_back(bel[i][1]+m);
rG[bel[i][1]].push_back(bel[i][2]+m);
}
for(int i=1;i<=m;++i)
if(!used[i])
dfs(i);
memset(used,0,sizeof(used));
int cnt=0;
for(int i=vs.size()-1;i>=0;--i)
if(!used[vs[i]])
rdfs(vs[i],++cnt);
for(int i=1;i<=m;++i)
if(cmp[i]==cmp[i+m])
{
puts("NO");
return 0;
}
puts("YES");
return 0;
}

最新文章

  1. (转) jsp页面 URL传中文参数到Action里面出现乱码
  2. Android 开发1000问笔记
  3. 一个考察for循环题 讨论一下
  4. Memcached源码分析——slab的初始化
  5. DIRECTORY_SEPARATOR
  6. 【linux信号】10.11信号集
  7. Linux入门(2)_给初学者的建议
  8. 使用Xilinx UART-LITE IP实现串口--逻辑代码实现
  9. js前端性能优化之函数节流和函数防抖
  10. 【C++】reference parameter-引用参数
  11. JS 如何将 HTML 页面导出为多页 PDF
  12. android Gui系统之SurfaceFlinger(1)---SurfaceFlinger概论【转】
  13. 使用scp命令在多个Linux系统间进行文件复制
  14. Scrum Meeting NO.7
  15. MySQL C API的一个让我头疼的问题,获得一行记录中包括NULL
  16. HTML的代码规范
  17. Mysql User表权限字段说明全介绍
  18. SSH查看Linux系统是32位还是64位?
  19. ubuntu 添加应用到Dash启动器
  20. Java并发(3):volatile及Java内存模型

热门文章

  1. Codeforces Round #510 (Div. 2) B. Vitamins
  2. HDU3829:Cat VS Dog(最大独立集)
  3. c++编辑器下载地址
  4. 前端导出文件功能document.execCommand命令
  5. KM算法讲解
  6. CSS3动画(重要)
  7. time,random,os,sys,序列化模块
  8. swift网址
  9. request threaded-only IRQs with IRQF_ONESHOT【转】
  10. USACO 2012 Feb Cow Coupons