标签:ch int long 问题 WR printf include 模板 SAT
#include<cstdio> #include<cstring> #include<string> #include<stack> #include<iostream> #define int long long #define WR WinterRain using namespace std; const int WR=10010000; struct Edge{ int pre,to; }edge[WR]; int n,m; int head[WR],tot; int ipt[WR],low[WR],cnt; int sze[WR],point,id[WR]; bool instk[WR]; stack<int> s; int read(){ int s=0,w=1; char ch=getchar(); while(ch>'9'||ch<'0'){ if(ch=='-') w=-1; ch=getchar(); } while(ch>='0'&&ch<='9'){ s=(s<<3)+(s<<1)+ch-48; ch=getchar(); } return s*w; } void add(int u,int v){ edge[++tot].pre=head[u]; edge[tot].to=v; head[u]=tot; } void tarjan(int u){ ipt[u]=low[u]=++cnt; s.push(u),instk[u]=true; for(int i=head[u];i;i=edge[i].pre){ int v=edge[i].to; if(!ipt[v]){ tarjan(v); low[u]=min(low[u],low[v]); }else if(instk[v]){ low[u]=min(low[u],ipt[v]); } } if(ipt[u]==low[u]){ point++; int v; do{ v=s.top(),s.pop(); instk[v]=false; sze[point]++; id[v]=point; }while(u!=v); } } signed main(){ n=read(),m=read(); for(int i=1;i<=m;i++){ int a=read(),x=read(); int b=read(),y=read(); if(x==0&&y==0){ add(a+n,b); add(b+n,a); } if(x==1&&y==0){ add(a,b); add(b+n,a+n); } if(x==0&&y==1){ add(b,a); add(a+n,b+n); } if(x==1&&y==1){ add(a,b+n); add(b,a+n); } } for(int i=1;i<=n*2;i++){ if(!ipt[i]) tarjan(i); } for(int i=1;i<=n;i++){ if(id[i]==id[i+n]){ printf("IMPOSSIBLE\n"); return 0; } } printf("POSSIBLE\n"); for(int i=1;i<=n;i++){ if(id[i]>id[i+n]) printf("1 "); else printf("0 "); } return 0; }
标签:ch,int,long,问题,WR,printf,include,模板,SAT 来源: https://www.cnblogs.com/WintersRain/p/16393214.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。