Jetbrains全系列IDE使用 1年只要46元 售后保障 童叟无欺
给定 n 个还未赋值的布尔变量 x1∼xn。
现在有 m 个条件，每个条件的形式为 “xi 为 0/1 或 xj 为 0/1 至少有一项成立”，例如 “x1 为 1 或 x3 为 0”、“x8 为 0 或 x4 为 0” 等。
现在，请你对这 n 个布尔变量进行赋值（0 或 1），使得所有 m 个条件能够成立。
输入格式
第一行包含两个整数 n,m。
接下来 m 行，每行包含四个整数 i,a,j,b，用来描述一个条件，表示 “xi 为 a 或 xj 为 b”。
输出格式
如果问题有解，则第一行输出 POSSIBLE，第二行输出 n 个整数表示赋值后的 n 个变量 x1∼xn 的值（0 或 1），整数之间用单个空格隔开。
如果问题无解，则输出一行 IMPOSSIBLE 即可。
如果答案不唯一，则输出任意一种正确答案即可。
数据范围
1≤n,m≤106,
1≤i,j≤n,
0≤a,b≤1
输入样例：
3 2
1 1 3 1
2 0 3 0
输出样例：
POSSIBLE
1 1 0
#include<bits/stdc++.h>
using namespace std;
const int N = 2e6 + 10;
const int M = 2e6 + 10;
struct Edge{
int v,next;
}edge[M];
int head[N],cnt;
int num[N],low[N],dfn;
int scc[N],sccno;
int sta[N],in_sta[N],top;
int vis[N];
void add(int u,int v){
edge[cnt].v = v;
edge[cnt].next = head[u];
head[u] = cnt ++;
}
void Tarjan(int u){
low[u] = num[u] = ++ dfn;
sta[top ++] = u,in_sta[u] = true;
for(int i = head[u];~i;i = edge[i].next){
int v = edge[i].v;
if(!num[v]){
Tarjan(v);
low[u] = min(low[u],low[v]);
}
else if(in_sta[v])low[u] = min(low[u],num[v]);
}
if(num[u] == low[u]){
sccno ++;
while(1){
int t= sta[-- top];
scc[t] = sccno;
in_sta[t] = false;
if(t == u)break;
}
}
}
int main(){
int n,m;
cin>>n>>m;
int x,a,y,b;
ios::sync_with_stdio(true);
memset(head,-1,sizeof head);
for(int i = 0;i < m; i ++){
scanf("%d%d%d%d",&x,&a,&y,&b);
x --,y --;
add(2 * x + !a,2 * y + b);
add(2 * y + !b,2 * x + a);
}
for(int i = 0;i < 2 * n;i ++){
if(!num[i])Tarjan(i);
}
for(int i = 0;i < n;i ++){
if(scc[2 * i] == scc[2 * i + 1]){
cout<<"IMPOSSIBLE"<<endl;
return 0;
}
}
cout<<"POSSIBLE"<<endl;
for(int i = 0;i < n;i ++){
if(scc[2 * i] < scc[2 * i + 1])printf("0 ");
else printf("1 ");
}
return 0;
}
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/169104.html原文链接：https://javaforall.net
