• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号

HDU3715:Go Deeper【2-SAT】

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

——题目见描述吧……

——2-SAT,二分

——URL:http://acm.hdu.edu.cn/showproblem.php?pid=3715

——————————————————————————————————————————————————————————

福州现场赛的一道题。

看到x的取值为0,1,要有敏锐的嗅觉……

令p=a[i],q=b[i]

则P,Q分别是两个组,每个组包含两个元素{0,1}

c数组就是描述的这些元素的矛盾关系:

x[p]+x[q]!=0  即p组中的0和q组中的0不能同时存在

x[p]+x[q]!=2  即p组中的1和q组中的1不能同时存在 

x[p]+x[q]!=1  即p组中的0和q组中的1不能同时存在 并且 组中的1和q组中的0不能同时存在 

以上就是2-SAT问题了。

由于要求的事DEP

所以需要二分dep,然后用2-SAT判断是否可行。

View Code
  1 #include<stdio.h>
2 #include<memory.h>
3 #define N 205
4 #define M 10005
5 #define E 60005
6 int head[N * 2], id[N*2],pre[N*2],low[N*2],s[N*2],nxt[E],ev[E],a[M],b[M],c[M];
7 int stop, cnt, scnt, n, m, num;
8 void readin()
9 {
10 int i;
11 scanf("%d%d", &n, &m);
12 for (i = 0; i < m; i++)
13 scanf("%d%d%d", &a[i], &b[i], &c[i]);
14 }
15 void tarjan(int v, int n)
16 {
17 int pv, t, minc = low[v] = pre[v] = cnt++;
18 s[stop++] = v;
19 for (pv = head[v]; pv != -1; pv = nxt[pv])
20 {
21 if (-1 == pre[ev[pv]])
22 tarjan(ev[pv], n);
23 if (low[ev[pv]] < minc)
24 minc = low[ev[pv]];
25 }
26 if (minc < low[v])
27 {
28 low[v] = minc;
29 return;
30 }
31 do
32 {
33 id[t = s[--stop]] = scnt;
34 low[t] = n;
35 } while (t != v);
36 ++scnt;
37 }
38 void addedge(int u, int v)
39 {
40 nxt[++num] = head[u];
41 head[u] = num;
42 ev[num] = v;
43 }
44 void solve()
45 {
46 int l, r, mid, ans, i;
47 bool flag;
48 l = 0;
49 r = m;
50 ans = 0;
51 while (l <= r)
52 {
53 mid = (l + r) >> 1;
54 memset(head, -1, sizeof(head));
55 num = -1;
56 for (i = 0; i < mid; i++)
57 {
58 switch (c[i])
59 {
60 case 0:
61 addedge(2 * a[i], 2 * b[i] + 1);
62 addedge(2 * b[i], 2 * a[i] + 1);
63 break;
64 case 1:
65 addedge(2 * a[i], 2 * b[i]);
66 addedge(2 * a[i] + 1, 2 * b[i] + 1);
67 addedge(2 * b[i], 2 * a[i]);
68 addedge(2 * b[i] + 1, 2 * a[i] + 1);
69 break;
70 case 2:
71 addedge(2 * a[i] + 1, 2 * b[i]);
72 addedge(2 * b[i] + 1, 2 * a[i]);
73 break;
74 }
75 }
76 stop = cnt = scnt = 0;
77 memset(pre, -1, sizeof(pre));
78 for (i = 0; i < n * 2; i++)
79 if (pre[i] == -1)
80 tarjan(i, n * 2);
81 flag = true;
82 for (i = 0; i < n; i++)
83 if (id[i * 2] == id[i * 2 + 1])
84 {
85 flag = false;
86 break;
87 }
88 if (flag)
89 {
90 ans = mid;
91 l = mid + 1;
92 }
93 else
94 r = mid - 1;
95 }
96 printf("%d\n", ans);
97 }
98 int main()
99 {
100 int cas;
101 scanf("%d", &cas);
102 while (cas--)
103 {
104 readin();
105 solve();
106 }
107 return 0;
108 }

  


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
OTG: On-The-Go发布时间:2022-07-10
下一篇:
4.3Gofor发布时间:2022-07-10
热门推荐
热门话题
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap