2-SAT。。。
一个元素可以取0,1 各个元素之间会有一些限制,很显然就是2-SAT。。做的时候连边没错,就是没想到二分。。直接暴力TLE。。
连边方法是:按照C[I]:0,1,2分别考虑
这里假设拆点后p*2表示对x[p]取0,p*2+1表示对x[p]取1
1.当C[i]=0,那么我假设x[a[i]*2]=0,那么x[b[i]]必须等于1,那么对a[i]*2和b[i]*2+1连边,同理对b[i]*2与a[i]*2+1连边。
2.当C[i]=1,对a[i]*2与b[i]*2连边,还有a[i]*2+1与b[i]*2+1. ; b[i]*2与a[i]*2, ; b[i]*2+1与a[i]*2+1
3.当C[i]=2,对a[i]*2+1与b[i]*2 对b[i]*2+1与a[i]*2连边
2-sat连边具有对称性。还有一点是,2-sat连边只连那些可以确定的,比如当c[i]=2,我选x[a[i]]=1,那么显然x[b[i]]不能选1,所以必然选0,要连边,但是若我x[a[i]]=0,那么x[b[i]]=0或1都是可以的,这种边就不该连。
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<cmath>
using namespace std;
int a[10005], b[10005], c[10005], tot, n;
int head[405], belong[405], dfn[405], low[405], stk[405], dcnt, bcnt, top, cnt;
bool ins[405];
struct EG
{
int v, next;
}e[1000005];
void addeg(int u,int v)
{
e[cnt].v=v, e[cnt].next=head[u];
head[u]=cnt;
cnt++;
}
bool check(){
int i;
for(i = 0; i < n ; i++){
if(belong[i<<1] == belong[i<<1|1])
return false;
}
return true;
}
void tarjan(int u){
dfn[u] = low[u] = ++dcnt;
stk[++top] = u; ins[u] = true;
for(int k = head[u]; k != -1; k = e[k].next){
int v = e[k].v;
if(!dfn[v]){
tarjan(v);
low[u] = min(low[u],low[v]);
}
else if(ins[v])
low[u] = min(low[u],dfn[v]);
}
if(dfn[u] == low[u]){
++bcnt;
while(true){
int x = stk[top--];
ins[x] = false;
belong[x] = bcnt;
if(x == u) break;
}
}
}
void scc(){
dcnt = bcnt = top = 0;
memset(dfn,0,sizeof(dfn));
memset(ins,0,sizeof(ins));
int i;
for(i = 0; i < tot; i++)
if(!dfn[i])
tarjan(i);
}
bool ok(int m)
{
int i, x, y;
cnt=0;
memset(head,-1,sizeof(head));
for(i=0;i<m;i++){
if(c[i]==2){
x=a[i]<<1|1, y=b[i]<<1;
addeg(x,y);
addeg(y^1,x^1);
}else if(c[i]==1){
x=a[i]<<1, y=b[i]<<1;
addeg(x,y);
addeg(y^1,x^1);
addeg(x^1,y^1);
addeg(y,x);
}else{
x=a[i]<<1, y=b[i]<<1|1;
addeg(x,y);
addeg(y^1,x^1);
}
}
scc();
return check();
}
int main(){
int m, i, j, t;
scanf("%d",&t);
while(t--){
scanf("%d%d",&n,&m);
tot=2*n;
for(i=0;i<m;i++){
scanf("%d%d%d",&a[i],&b[i],&c[i]);
}
int mid, l=1, r=m, res;
while(l<=r){
mid=(l+r)>>1;
if(ok(mid)){
res=mid;
l=mid+1;
}else r=mid-1;
}
printf("%d\n",res);
}
return 0;
}