QOJ.ac

QOJ

IDProblemSubmitterResultTimeMemoryLanguageFile sizeSubmit timeJudge time
#708957#9449. New School Term_reyWA 653ms35452kbC++173.6kb2024-11-04 10:11:312024-11-04 10:11:32

Judging History

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

  • [2024-11-04 10:11:32]
  • 评测
  • 测评结果:WA
  • 用时:653ms
  • 内存:35452kb
  • [2024-11-04 10:11:31]
  • 提交

answer

#include <bits/stdc++.h>

using namespace std;

class union_find {
private:
	vector<int> rep, sz;

	int find(int u) { return rep[u] == u ? u : rep[u] = find(rep[u]); }

public:
	union_find(int n, bool b = false) : rep (n), sz (n) {
		for (int i = 0; i < n; ++i)
			rep[i] = i, sz[i] = b ? i%2 : 1;
	}

	void une(int u, int v) {
		u = find(u);
		v = find(v);

		if (sz[u] > sz[v]) swap(u, v);
		rep[u] = v;
		sz[v] += sz[u];
	}

	bool same(int u, int v) { return find(u) == find(v); }
	int size(int u) { return sz[find(u)]; }
};

class bipart_uf {
private:
	union_find U, B;

public:
	bipart_uf(int n) : U (n), B (2*n, true) { }

	int status(int u, int v) {
		if (!U.same(u, v)) return 1;
		if (B.same(2*u, 2*v + 1)) return 0;
		return -1;
	}

	void une(int u, int v, bool b) {
		U.une(u, v);
		B.une(2*u, 2*v + !b);
		B.une(2*u + 1, 2*v + b);
	}

	pair<int, int> size(int u) { return {B.size(2*u + 1), B.size(2*u)}; }
};

template<int MOD>
class subset_sum {
private:
	vector<int> cnt; int sz, target;

public:
	subset_sum(int n) : cnt (n + 1), sz (n), target (n) {
		cnt[0] = 1;
	}

	void add(int a, int b) {
		if (a < b) swap(a, b);

		target -= b;

		int val = a - b;
		for (int i = sz; i >= val; --i)
			cnt[i] = (cnt[i] + cnt[i - val])%MOD;
	}

	void erase(int a, int b) {
		if (a < b) swap(a, b);

		target += b;

		int val = a - b;
		if (val > 0)
			for (int i = val; i <= sz; ++i)
				cnt[i] = (cnt[i] - cnt[i - val] + MOD)%MOD;
		else 
			for (int i = val; i <= sz; ++i)
				cnt[i] = cnt[i]%2 == 0 ? cnt[i]/2 : (cnt[i] + MOD)/2;
	}

	bool valid() { return target >= 0 && cnt[target] > 0; }
};

int main() {
	int n, m;
	cin >> n >> m;

	n *= 2;

	vector<pair<int, int>> edges(m);
	for (auto &[u, v]: edges) {
		cin >> u >> v;
		--u; --v;
	}

	subset_sum<1000000009> S(n/2);
	for (int i = 0; i < n; ++i)
		S.add(1, 0);

	bipart_uf B(n); 
	vector<bool> got(m);
	for (int i = m - 1; i >= 0; --i) {
		auto [u, v] = edges[i];

		int flag = B.status(u, v);
		if (flag == -1) {
			got[i] = 1;
			continue;
		}
		if (flag == 0) continue;

		auto [a1, b1] = B.size(u);
		auto [a2, b2] = B.size(v);

		S.erase(a1, b1); S.erase(a2, b2);
		S.add(a1 + b2, a2 + b1);

		if (!S.valid()) {
			got[i] = 1;
			S.erase(a1 + b2, a2 + b1);
			S.add(a1 + a2, b1 + b2);
			B.une(u, v, true);
		}
		else B.une(u, v, false);
	}

	vector<vector<pair<int, int>>> graph(n);
	for (int i = 0; i < m; ++i) {
		auto [u, v] = edges[i];
		graph[u].emplace_back(v, i);
		graph[v].emplace_back(u, i);
	}

	vector<int> marc(n);
	function<pair<int, int> (int, int)> dfs = [&](int u, int c) {
		marc[u] = c;
		pair<int, int> ans{1, 0};
		for (auto [v, i]: graph[u]) if (!marc[v])
			if (!got[i]) {
				auto [a, b] = dfs(v, -c);
				ans.first += b; ans.second += a;
			}
			else {
				auto [a, b] = dfs(v, c);
				ans.first += a; ans.second += b;
			}
		return ans;
	};

	vector<pair<int, int>> costs; int comps = 0;
	for (int i = 0; i < n; ++i) if (!marc[i])
		costs.push_back(dfs(i, ++comps));

	vector<bool> pos(n/2 + 1);
	pos[0] = true;

	for (auto [a, b]: costs)
		for (int i = n/2; i >= 0; --i)
			pos[i] = pos[i]
					 || (i >= a ? pos[i - a]: false)
					 || (i >= b ? pos[i - b]: false);

	vector<bool> invert(costs.size());
	
	assert(pos[n/2]);
	
	int atual = n/2;
	for (int i = costs.size() - 1; i >= 0; --i) {
		auto [a, b] = costs[i];

		if (atual >= a && pos[atual - a]) atual -= a;
		else { atual -= b; invert[i] = true; }
	}

	for (int i = 0; i < n; ++i)
		cout << ((marc[i] > 0) ^ (invert[abs(marc[i]) - 1]));
	cout << "\n";
}

Details

Tip: Click on the bar to expand more detailed information

Test #1:

score: 100
Accepted
time: 1ms
memory: 3600kb

input:

2 4
1 3
2 4
1 4
1 2

output:

1010

result:

ok Output is valid. OK

Test #2:

score: 0
Accepted
time: 0ms
memory: 3584kb

input:

3 7
2 5
1 3
4 6
2 6
4 5
2 4
5 6

output:

110010

result:

ok Output is valid. OK

Test #3:

score: 0
Accepted
time: 0ms
memory: 3468kb

input:

1 0

output:

01

result:

ok Output is valid. OK

Test #4:

score: 0
Accepted
time: 0ms
memory: 3756kb

input:

1 1
1 2

output:

10

result:

ok Output is valid. OK

Test #5:

score: 0
Accepted
time: 0ms
memory: 3804kb

input:

2 3
2 4
3 4
1 2

output:

1001

result:

ok Output is valid. OK

Test #6:

score: 0
Accepted
time: 0ms
memory: 3604kb

input:

3 8
4 6
3 5
1 4
2 4
1 6
1 2
3 4
4 5

output:

101010

result:

ok Output is valid. OK

Test #7:

score: 0
Accepted
time: 0ms
memory: 3468kb

input:

4 9
4 7
3 8
1 5
2 7
2 8
6 8
7 8
1 4
1 6

output:

10101001

result:

ok Output is valid. OK

Test #8:

score: 0
Accepted
time: 0ms
memory: 3536kb

input:

5 16
3 6
9 10
2 7
1 10
1 5
2 10
3 5
5 6
3 4
2 5
4 5
3 8
4 7
6 8
1 6
7 10

output:

1101000101

result:

ok Output is valid. OK

Test #9:

score: 0
Accepted
time: 0ms
memory: 3804kb

input:

6 13
4 5
2 9
3 8
4 8
4 11
10 12
3 4
3 9
5 11
2 8
5 10
5 8
1 11

output:

001001110110

result:

ok Output is valid. OK

Test #10:

score: 0
Accepted
time: 0ms
memory: 3524kb

input:

12 153
1 24
16 18
7 14
1 16
20 21
9 14
21 22
4 5
17 24
4 12
5 17
13 24
14 15
12 23
12 16
8 11
14 24
9 16
2 5
6 19
11 17
4 22
4 7
6 16
7 20
8 15
5 24
2 10
10 21
21 24
1 12
11 19
18 21
18 24
12 17
13 22
7 9
13 23
4 9
11 13
15 21
5 7
2 4
15 16
17 19
11 16
11 20
7 8
4 15
13 14
6 18
2 19
9 13
23 24
4 21
...

output:

111100011001101110000001

result:

ok Output is valid. OK

Test #11:

score: 0
Accepted
time: 7ms
memory: 4796kb

input:

259 33757
472 500
65 336
138 469
307 442
427 458
43 239
17 508
460 466
108 393
79 92
250 483
44 277
17 132
35 57
155 499
184 474
246 272
274 418
457 458
338 372
196 514
31 208
117 187
90 229
153 284
189 355
16 337
146 456
269 271
279 412
305 336
303 441
399 472
85 286
91 97
157 437
137 379
71 360
27...

output:

111000110010111001101110000111000000011111100010101100100010001110101101111110000111000101111100010110101110111100011010101100111010010011101010011010011010011101100111001011110001100111000010101011100110110001001010010010101010010110011001100001010110000100001110101110000010110001010010000110110011...

result:

ok Output is valid. OK

Test #12:

score: 0
Accepted
time: 91ms
memory: 12948kb

input:

811 265557
217 1153
383 1609
165 177
612 1602
1057 1428
37 436
135 1200
368 684
448 722
145 1583
325 1052
246 480
74 148
122 1111
1256 1327
304 1070
1285 1542
802 813
454 1563
265 1193
94 848
432 1156
429 1194
427 1230
1152 1406
1329 1355
702 845
591 1232
877 1288
1257 1549
340 659
1080 1333
910 137...

output:

110111111101000111011111111101011110100101000101001000000001111000101111010100100101110100110101000111110100111100100110111110100101110101111100011110101010011001101010100110010011011111011011110101111111011000001100001101110111111110100010011100011110111111010001011111110110011111100001010011011101...

result:

ok Output is valid. OK

Test #13:

score: 0
Accepted
time: 158ms
memory: 13796kb

input:

1691 323743
1246 2397
1445 2647
2010 2806
2001 2896
802 2258
2679 2976
2203 2875
2445 2698
137 3004
536 1800
2316 2520
594 1517
279 1558
1934 2871
57 1358
357 976
1764 2672
869 2137
1694 2201
491 1906
1177 1414
1304 1377
2454 2653
626 2637
1425 1677
620 876
1326 2085
404 874
626 1565
136 597
2885 31...

output:

111010001000000110110000100100010011101101011001011100101110000011100010001111000001000010100101111010111000111000110011100100110000110001001101110010110111110110110010100101010101000100100010111001011011111110010011000011110101000111011010010110101011011001001110100100110001100101111100111011101010...

result:

ok Output is valid. OK

Test #14:

score: 0
Accepted
time: 276ms
memory: 12692kb

input:

2891 285302
2273 3206
2376 4737
1075 5673
2493 5453
548 1902
603 1376
1948 2985
108 4730
2172 2948
947 1758
762 1558
2813 5701
2287 3502
297 1501
568 4247
4569 5071
832 3005
412 4226
1813 4519
726 3017
1658 3990
1771 3230
1705 2149
765 4782
5420 5652
3089 4727
4362 5054
1578 3729
1111 5740
2234 5691...

output:

110001001000000110011000111101001110110111100101011110101001010100100000100100000111010001100111111110000101010101101110111000010001001011000100110000000111001101010111111001011100000001001110101111110101010111000111000000000101011000110101011110001011100001000000000101011001001110001100001000110001...

result:

ok Output is valid. OK

Test #15:

score: 0
Accepted
time: 653ms
memory: 29692kb

input:

4413 717147
1990 3721
2169 8724
2894 5350
4689 5732
274 3456
3149 5664
463 6517
3482 7460
1820 5440
2995 6364
5476 7590
5989 8692
4286 7015
7520 8630
524 7821
3335 7017
1491 4477
6238 8230
6339 8087
565 8666
6188 6930
4280 7015
4393 8825
3686 6189
3711 6905
888 1997
2488 8544
9 3914
5135 5322
2778 6...

output:

101101100111010000110001100011010100101110101111100111111001010100010110110001010001100100001010011100001001011011100110011000000101000011111100011001101011101100001010111001111101110001011100001011101001101000011100110101011100101110110010100010111111110011011011010101001000000111100101110110001111...

result:

ok Output is valid. OK

Test #16:

score: 0
Accepted
time: 313ms
memory: 35452kb

input:

707 998991
16 83
733 1195
318 945
9 385
764 1338
396 833
408 1331
541 1405
167 1351
572 838
16 334
36 1071
765 873
445 930
48 168
857 1306
1066 1408
270 720
116 698
737 1136
460 1074
585 1195
492 690
1103 1122
698 1239
623 1355
30 140
952 1088
776 1138
71 525
690 1194
357 1062
366 632
46 744
312 520...

output:

110110010110010001001101110000000111110101010001100010101010010001101011001110011110101101100100001101010001001101000011010101001101001010110010101101001110111001000000010111010100000100011011011010101101110101111000100001101000000000001001111111000010110011110000100111010110110110000000010011101100...

result:

ok Output is valid. OK

Test #17:

score: 0
Accepted
time: 145ms
memory: 4008kb

input:

5000 0

output:

000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

result:

ok Output is valid. OK

Test #18:

score: 0
Accepted
time: 145ms
memory: 4008kb

input:

5000 1
5104 7449

output:

000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

result:

ok Output is valid. OK

Test #19:

score: -100
Wrong Answer
time: 137ms
memory: 4028kb

input:

5000 13
8215 9259
4067 7015
4171 6513
1958 9790
5814 6551
711 3995
4392 8567
224 285
4618 4637
2864 8137
1910 2618
1881 5086
5503 9167

output:

000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000...

result:

wrong answer The number of 0s must be equal to that of 1s.