传送门

这题的意思就是原本有一个长度为n的01串,再给出m的长度为n的01串,要求你判定是否可以通过原串与m个串中的某些串xor使得原串到达一个状态。n,m小于1e5。

这题最初我发现不可做,因为这貌似是个NPC问题/密码加密方法之一,只能暴力。

后来我发现我忽略了一个条件:n个01位中,m个串中只有两个串的位置为1,这就很资磁了,若选此串,必选彼串,这种限制条件就是2-SAT的经典应用,直接上2-SAT即可。

考完发现了神犇都是用二分图染色的变种做的,仔细想想,2-SAT只是将染色方案拆开看了,实质不变。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<ctime>
#include<algorithm>
#include<iomanip>
#include<queue>
#include<set>
#include<map>
#include<vector>
using namespace std;
#define LL long long
#define FILE "dealing"
#define up(i,j,n) for(int i=j;i<=n;i++)
int read(){int x=0,f=1,ch=getchar();while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}while(ch>='0'&&ch<='9')x=(x<<1)+(x<<3)+ch-'0',ch=getchar();return x*f;
}
const int maxn=1600000,inf=1000000000;
bool cmin(int& a,int b){return a>b?a=b,true:false;}
bool cmax(int& a,int b){return a<b?a=b,true:false;}
int n,cnt[maxn];
struct node{int y,next;}e[maxn];int len=0,linkk[maxn];
void insert(int x,int y){e[++len].y=y;e[len].next=linkk[x];linkk[x]=len;}
int b[maxn][2],a[maxn],d[maxn];
bool c[maxn];bool flag=0;int q[maxn],top=0;
void dfs(int x){if(((x%2)&&c[x+1])||(!(x%2)&&c[x-1])){flag=1;return;}c[x]=1;q[++top]=x;for(int i=linkk[x];i;i=e[i].next){if(!c[e[i].y])dfs(e[i].y);}
}
int m;
int solve(){for(int i=1;i<=m<<1;i+=2){if(!c[i]&&!c[i+1]){top=0;dfs(i);if(flag){while(top)c[q[top--]]=0;flag=0;dfs(i+1);if(flag)return 1;}}}return 0;
}
int main(){//freopen(FILE".in","r",stdin);
//  freopen(FILE".out","w",stdout);n=read();m=read();up(i,1,n)a[i]=read();up(i,1,m){cnt[i]=read();up(j,1,cnt[i]){int y=read();if(!b[y][0])b[y][0]=i;else b[y][1]=i;}}up(i,1,n){if(a[i])insert(b[i][0]<<1,b[i][1]<<1),insert(b[i][1]<<1,b[i][0]<<1),insert((b[i][0]<<1)-1,(b[i][1]<<1)-1),insert((b[i][1]<<1)-1,(b[i][0]<<1)-1);else insert((b[i][0]<<1)-1,(b[i][1]<<1)),insert((b[i][1]<<1)-1,(b[i][0]<<1)),insert((b[i][0]<<1),(b[i][1]<<1)-1),insert(b[i][1]<<1,(b[i][0]<<1)-1);}if(solve())printf("NO\n");else printf("YES\n");return 0;
}

  

转载于:https://www.cnblogs.com/chadinblog/p/6437722.html

最新文章

  1. opencv和halcon标定参数结果对比
  2. [缓存]迅雷(XUNLEI)的工作原理揭密
  3. DCMTK:搜索助手类的测试程序
  4. Hive的安装【完整版】
  5. C++ primer 第14章 操作重载与类型转换
  6. 排序系列之---冒泡排序
  7. SenchaTouch2.3.1 中使用listpaging以及pullrefresh插件 做的分页示例
  8. spring框架的深入理解
  9. C语言和设计模式(观察者模式)
  10. 超有意思的代码注释_程序员搞笑的代码注释:谁的代码注释我都不服,就服你的...
  11. 【NOIP2015】运输计划
  12. 基于visual Studio2013解决面试题之0202上下排
  13. 程序员工作5年后,在管理通道和技术通道上,如何抉择?
  14. Weblogic开启managed server报错java.lang.OutOfMemoryEr
  15. java 大学考试_大学java期末考试试题
  16. Windows下安装PyQt5教程
  17. PDF转图片实现方式
  18. 物联网技术是怎么分类的,物联网主要面临哪些难题?
  19. python invalid syntax 冒号_SyntaxError: invalid syntax python【解决方法】 – IT热血青年
  20. CentOS停更;阿里发布全新操作系统(Anolis OS),用后直呼:牛X

热门文章

  1. Hibernate ehcache配置二级缓存及说明
  2. Windows集群网络负载均衡
  3. UBuntu CMake工程配置基础
  4. 程序开发中大写YYYY与小写yyyy的区别
  5. Mac 更改Apache文件系统目录
  6. MyBatis 动态 SQL(认真看看, 以后写 SQL 就爽多了)
  7. 网传字节跳动实习生删除GB以下所有机器学习模型,差点没上头条......
  8. 面试了一个6年的Java,竟然什么都不会!
  9. Facebook是如何大幅提升TLS连接效率的?
  10. Spring知识点简介