hdu 3715

一个很简单的2-sat的题;

不过比较难想到;

其实也不是很难,可能接触的少了吧!

 1 #include<cstdio>
 2 #include<vector>
 3 #define maxn 10009
 4 using namespace std;
 5 
 6 struct twosat
 7 {
 8     int n;
 9     vector<int>g[maxn*2];
10     bool mark[maxn*2];
11     int s[maxn*2],c;
12 
13     bool dfs(int x)
14     {
15         if(mark[x^1])return 0;
16         if(mark[x])return 1;
17         mark[x]=1;
18         s[c++]=x;
19         for(int i=0; i<g[x].size(); i++)
20             if(!dfs(g[x][i]))return 0;
21         return 1;
22     }
23     void init(int n)
24     {
25         this->n=n;
26         for(int i=0; i<2*n; i++)g[i].clear();
27         memset(mark,0,sizeof mark);
28     }
29     void add_clase(int x,int y)
30     {
31         g[x].push_back(y);
32     }
33     bool solve(int mid)
34     {
35         for(int i=2; i<mid*2; i+=2)
36             if(!mark[i]&&!mark[i+1])
37             {
38                 c=0;
39                 if(!dfs(i))
40                 {
41                     while(c>0)mark[s[--c]]=0;
42                     if(!dfs(i+1))return 0;
43                 }
44             }
45         return 1;
46     }
47 } getans;
48 int a[maxn],b[maxn],c[maxn];
49 int main()
50 {
51     int n,m,t;
52     scanf("%d",&t);
53     while(t--)
54     {
55         scanf("%d%d",&n,&m);
56         for(int i=0; i<m; i++)
57             scanf("%d%d%d",&a[i],&b[i],&c[i]);
58         int l=0,r=m;
59         int ans=0;
60         while(l<=r)
61         {
62             int mid=(l+r)/2;
63             getans.init(n<<1);
64             for(int i=0;i<mid;i++)
65             {
66                 if(c[i]==0)
67                 {
68                     getans.add_clase(a[i]<<1,b[i]<<1|1);
69                     getans.add_clase(b[i]<<1,a[i]<<1|1);
70                 }
71                 else if(c[i]==1)
72                 {
73                     getans.add_clase(a[i]<<1|1,b[i]<<1|1);
74                     getans.add_clase(a[i]<<1,b[i]<<1);
75                     getans.add_clase(b[i]<<1|1,a[i]<<1|1);
76                     getans.add_clase(b[i]<<1,a[i]<<1);
77                 }
78                 else if(c[i]==2)
79                 {
80                     getans.add_clase(a[i]<<1|1,b[i]<<1);
81                     getans.add_clase(b[i]<<1|1,a[i]<<1);
82                 }
83             }
84             if(!getans.solve(mid))r=mid-1;
85             else {ans=mid;l=mid+1;}
86         }
87         printf("%d\n",ans);
88     }
89     return 0;
90 }
View Code

 

posted @ 2013-11-06 23:02  Yours1103  阅读(176)  评论(0编辑  收藏  举报