POJ 1703 简单的2SAT思想

来源：互联网发布：.net微信js支付编辑：程序博客网时间：2024/05/17 23:08

这题没有用到2SAT的算法，不过用到了思想。挺好的，入门吧。

因为现在就是判断某两个人是不是在同一集合里，而2SAT正好就是解法这种问题的最好解法算法，其思想就是2个为布尔值的量一个真则另一个必假，一个假另一个必真。

所以设当前人为 i，则 i *2这个结点为真，那么根据2SAT，则 2*i+1为假。所以如果输入的a与b，如果!(a*2+1)&&b=true 或者 a&&!(b*2+1)=true则在不同的集合；如果a&&!(a*2+1)=true 或者 b&&!(b*2+1)=true，则为在同一集合里；否则为未确定。

#include <iostream>#include <cstdio>#include <fstream>#include <algorithm>#include <cmath>#include <deque>#include <vector>#include <list>#include <queue>#include <string>#include <cstring>#include <map>#include <stack>#include <set>#define PI acos(-1.0)#define mem(a,b) memset(a,b,sizeof(a))#define sca(a) scanf("%d",&a)#define sc(a,b) scanf("%d%d",&a,&b)#define pri(a) printf("%d\n",a)#define lson i<<1,l,mid#define rson i<<1|1,mid+1,r#define MM 1000005#define MN 200010#define INF 55566677#define eps 1e-7using namespace std;typedef long long ll;int f[MN];int find(int x){    return f[x]==x?x:f[x]=find(f[x]);}int main(){    int t,n,m;    sca(t);    while(t--)    {        sc(n,m);        for(int i=1;i<=2*n+10;i++) f[i]=i;        while(m--)        {            char s[3];            int x,y;            scanf("%s%d%d",s,&x,&y);            int x1=find(x*2);            int y1=find(y*2);            int x2=find(x*2+1);            int y2=find(y*2+1);            if(s[0]=='A')            {                if(x1==y2||x2==y1)                    puts("In different gangs.");                else if(x1==y1||x2==y2)                    puts("In the same gang.");                else puts("Not sure yet.");            }            else f[x1]=y2,f[x2]=y1;        }    }    return 0;}

0 0