QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#340922#997. 2-SAT 问题orz_z#WA 47ms37472kbC++141.5kb2024-02-29 14:07:402024-02-29 14:07:41

Judging History

你现在查看的是最新测评结果

  • [2024-02-29 14:07:41]
  • 评测
  • 测评结果:WA
  • 用时:47ms
  • 内存:37472kb
  • [2024-02-29 14:07:40]
  • 提交

answer

#include<bits/stdc++.h>
using namespace std;
//   #define int long long
#define F(i, l, r) for(int i = (l); i <= (r); ++i)
#define dF(i, r, l) for(int i = (r); i >= (l); --i)

int ri() {
	int x = 0, f = 1;
	char c = getchar();
	while(c < '0' || c > '9') {
		if(c == '-') f = -1;
		c = getchar();
	}
	while(c >= '0' && c <= '9') {
		x = x* 10 + c - 48;
		c  = getchar();
	} return x * f;
}

const int _ = 1e6 + 5;

vector<int> d[_];

int cnt, dfn[_], low[_], Id[_], n, m;

int id(int x, int y) {
    return x + y * (n + 1);
}

void add(int u, int v) {
    d[u].push_back(v);
}

stack<int> st;

int cntn;

void tarjan(int u) {
    dfn[u] = low[u] = ++cnt;
    st.push(u);
    for(int v : d[u]) if(!dfn[v]) {
        tarjan(v);
        low[u] = min(low[u], low[v]);
    } else if(!Id[v]) low[u] = min(low[u], dfn[v]);
    if(low[u] == dfn[u]) {
        ++cntn;
        while(1) {
            int nw = st.top();
            st.pop();
            Id[nw] = cnt;
            if(nw == u) break;
        }
    }
}

signed main() {
	n = ri(), m = ri();
    F(i, 1, m) {
        int a = ri(), b = ri(), c = ri(), d = ri();
        add(id(a, !b), id(c, d));
        add(id(c, !d), id(a, b));
    }
    F(i, 1, n + n + 1) if(!dfn[i]) tarjan(i);
    F(i, 1, n) if(Id[i] == Id[i + n + 1]) {
        puts("No");
        return 0;
    }
    puts("Yes");
    F(i, 1, n) if(Id[i] < Id[i + n + 1]) {
        cout << 0 << ' ';
    } else cout << 1 << ' ';
    cout << '\n';
}

詳細信息

Test #1:

score: 100
Accepted
time: 32ms
memory: 32200kb

input:

86354 86418
14615 0 14903 1
13605 0 4458 0
15604 0 77112 0
52311 1 64996 0
22711 1 74245 1
39042 1 57372 1
2994 1 84183 1
80574 0 58791 1
27780 1 9336 1
61809 0 7216 0
71113 0 42287 1
20073 0 72448 0
73840 0 77048 0
28955 0 4165 0
16322 1 14075 1
43512 0 58600 1
45219 0 53858 0
14919 0 22576 0
16594...

output:

Yes
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ...

result:

ok Good plan

Test #2:

score: 0
Accepted
time: 23ms
memory: 31588kb

input:

17625 186889
17290 0 17616 1
8909 0 15829 0
9807 0 9920 1
14912 0 3052 1
14426 0 16910 1
8910 1 10153 1
5163 1 1118 1
2764 0 2787 1
2998 0 2344 1
17573 1 5693 1
9120 0 4529 1
9836 0 4832 0
4021 0 16206 1
1109 0 13286 1
12402 1 16982 0
6311 1 1218 1
147 0 5411 0
3958 1 1571 0
4848 1 16678 0
7433 1 31...

output:

Yes
1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 1 0 1 ...

result:

ok Good plan

Test #3:

score: 0
Accepted
time: 35ms
memory: 32068kb

input:

27276 180666
4575 1 13941 1
23689 1 276 1
8916 1 5504 1
10230 1 19907 1
15820 1 27258 0
18040 0 11405 0
23944 1 23049 1
12183 1 24927 0
26509 1 20881 0
14596 1 766 0
5071 1 10703 0
15926 1 25575 1
15486 1 35 0
11290 1 26937 0
3475 0 20672 1
10309 0 22343 1
22873 0 21025 0
14802 1 22377 0
7701 1 1185...

output:

Yes
0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 ...

result:

ok Good plan

Test #4:

score: 0
Accepted
time: 22ms
memory: 31916kb

input:

70213 93094
53616 1 59247 1
16687 0 63568 0
10114 1 55521 1
58830 1 22082 0
46298 0 65072 0
2622 1 16071 0
66725 0 46161 1
4204 1 7255 0
39103 1 19710 1
33819 1 19406 0
24055 1 6494 1
45844 0 59888 0
63714 1 30868 0
12762 0 43441 0
59330 1 35278 0
2212 0 1284 0
45959 1 17786 1
17744 0 66761 1
54970 ...

output:

Yes
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ...

result:

ok Good plan

Test #5:

score: 0
Accepted
time: 39ms
memory: 37472kb

input:

66484 178501
3057 1 32192 1
19941 0 37367 1
56292 0 54533 0
20407 1 27938 1
28653 1 37219 1
64377 0 63482 0
25218 0 12814 1
29736 0 34360 0
61150 0 38346 1
1116 0 56594 0
7410 1 58121 1
41370 0 36704 0
23807 1 60815 1
63396 0 55650 1
26564 1 5193 0
65150 1 27578 0
13215 0 5871 0
56406 1 63683 0
1321...

output:

No

result:

ok No Solution

Test #6:

score: 0
Accepted
time: 21ms
memory: 30372kb

input:

9650 160962
4804 1 3956 0
4557 0 7207 1
4157 1 7867 0
1045 0 5033 0
8623 0 5770 1
4090 1 3088 1
2846 0 8117 1
4827 1 474 0
2822 0 4035 1
2245 1 4894 0
5093 0 8553 1
9160 1 641 1
5302 1 7701 1
4246 0 718 0
2096 1 2709 1
4288 0 850 1
4262 0 1309 0
2713 1 286 0
7228 1 5945 1
7481 0 770 1
1617 1 4784 1
...

output:

Yes
1 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 ...

result:

ok Good plan

Test #7:

score: 0
Accepted
time: 47ms
memory: 33412kb

input:

82878 170546
59669 0 52924 1
4674 1 27496 0
81463 1 82234 0
22606 0 30346 1
70787 1 16429 0
46983 0 80599 0
82208 0 51421 1
31035 0 74680 0
48903 1 55211 1
46935 1 76651 1
78465 0 18656 0
55607 1 13210 1
14749 1 25929 0
69893 1 23187 1
8840 0 5696 1
30898 1 14164 0
55439 1 68798 0
29324 1 6831 1
103...

output:

Yes
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 ...

result:

ok Good plan

Test #8:

score: 0
Accepted
time: 18ms
memory: 32272kb

input:

22849 108511
22633 1 9868 1
1838 0 11979 0
16493 0 14662 1
4359 1 14080 1
1440 0 15825 1
1248 0 10522 0
5832 0 2369 0
16359 0 21931 1
4219 1 11059 1
17857 1 15021 0
527 0 12410 1
3606 1 11872 1
16771 1 695 0
21988 1 314 0
4674 1 18090 0
5861 1 21034 1
4147 1 7422 0
6607 1 9159 0
20501 1 16673 1
2152...

output:

No

result:

ok No Solution

Test #9:

score: 0
Accepted
time: 33ms
memory: 31992kb

input:

29366 167993
17695 1 9514 0
14236 0 9220 0
25155 0 5701 0
19605 0 26072 0
14919 1 9254 0
10628 0 11786 0
27612 1 25759 0
10256 1 7615 1
67 1 23478 0
17423 0 2671 0
22262 1 13960 0
13269 1 27431 0
13753 0 22134 0
22823 1 1997 1
24737 1 20863 1
6278 0 16541 0
4130 1 16469 0
29271 0 14263 1
21310 1 225...

output:

Yes
1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 ...

result:

ok Good plan

Test #10:

score: 0
Accepted
time: 11ms
memory: 29712kb

input:

1682 170188
916 0 1392 1
1635 1 1351 0
357 0 243 0
1225 0 254 1
266 0 1215 1
36 0 730 1
1544 0 526 0
316 1 1633 0
356 1 1231 0
940 0 1121 0
875 1 933 1
625 1 1241 1
1654 1 890 0
558 1 137 0
192 1 1131 0
1420 0 361 0
1507 1 739 1
1092 0 1090 0
1539 0 314 0
267 0 1152 1
1175 0 383 0
1585 1 1349 1
516 ...

output:

Yes
1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 ...

result:

ok Good plan

Test #11:

score: 0
Accepted
time: 14ms
memory: 29288kb

input:

7196 105048
2859 0 287 1
689 0 3417 1
3339 1 5290 1
5024 1 386 0
1640 0 1248 1
3055 0 3501 1
6028 1 5555 0
5646 1 496 1
4043 0 2944 0
873 1 4251 1
4797 1 1369 0
198 1 6382 0
3985 1 4455 1
4165 1 7099 0
5910 1 6402 1
3784 0 5072 1
5727 0 5485 0
2384 0 1394 1
74 1 6712 0
7153 1 471 1
5020 1 3669 0
425...

output:

Yes
1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 ...

result:

ok Good plan

Test #12:

score: 0
Accepted
time: 17ms
memory: 29480kb

input:

34766 55624
17816 1 18059 1
19359 1 7703 1
12707 1 8183 1
17814 0 4110 0
6119 0 12379 0
17510 0 34439 0
16709 0 22739 1
9555 1 3063 0
7258 0 21772 1
31924 1 4232 0
29692 0 29094 1
13653 1 16895 1
17462 1 27019 0
23572 1 18400 0
5748 0 1302 0
10769 1 15962 0
33973 1 14837 1
29160 0 12055 0
4429 1 114...

output:

Yes
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 ...

result:

ok Good plan

Test #13:

score: 0
Accepted
time: 14ms
memory: 29532kb

input:

5092 137430
2799 1 4966 1
542 1 1484 0
3411 0 1710 1
444 0 811 1
183 0 4372 0
3608 0 4255 0
729 1 2191 0
1917 1 1324 0
858 0 580 0
4222 0 4198 0
1169 0 4526 1
3296 0 1355 1
187 1 2818 0
4284 1 802 1
155 0 925 0
4226 0 1703 0
2990 0 3210 0
1106 0 3759 0
4922 1 1115 1
4740 1 4469 0
493 1 1264 1
1697 1...

output:

Yes
0 1 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 ...

result:

ok Good plan

Test #14:

score: -100
Wrong Answer
time: 32ms
memory: 33160kb

input:

99252 104959
94974 1 15504 0
58094 0 8774 1
34526 1 90367 1
91897 1 17003 1
94791 0 20819 1
88290 0 1709 1
38261 1 55494 0
87494 0 59118 1
78954 0 664 0
94268 0 78725 0
26422 0 90161 1
65923 1 11045 0
37446 0 75065 1
59505 1 37830 1
88362 0 4670 1
82177 1 52868 1
72263 1 61602 0
80445 0 47243 0
6121...

output:

No

result:

wrong answer You didn't find a solution but jury did.