QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#875647#7861. Inverse Topological Sortkian2009AC ✓88ms16140kbC++142.6kb2025-01-30 00:25:542025-01-30 00:25:54

Judging History

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

  • [2025-01-30 00:25:54]
  • 评测
  • 测评结果:AC
  • 用时:88ms
  • 内存:16140kb
  • [2025-01-30 00:25:54]
  • 提交

answer

#include <bits/stdc++.h>
using namespace std;

const int MAXN = 1e5 + 10;

int n, a[MAXN], b[MAXN], in[MAXN], ind1[MAXN], ind2[MAXN];
vector<pair<int, int>> res;
vector<int> adj[MAXN];
bool seen[MAXN];

void input() {
	cin >> n;
	for (int i = 1; i <= n; i++) {
		cin >> a[i];
		ind1[a[i]] = i;
	}
	for (int i = 1; i <= n; i++) {
		cin >> b[i];
		ind2[b[i]] = i;	
	}
	ind1[n + 1] = ind2[n + 1] = 1e9;
}

struct node {
	int mi1 = n + 1, mi2 = n + 1;	
};

node seg[4 * MAXN];

node merge(node s1, node s2) {
	node res;
	res.mi1 = (ind1[s1.mi1] < ind1[s2.mi1]? s1.mi1: s2.mi1);
	res.mi2 = (ind2[s1.mi2] < ind2[s2.mi2]? s1.mi2: s2.mi2);
	return res;	
}

void make(int u, int l, int r) {
	if (r - l == 1) {
		seg[u] = {b[l], a[l]};
		return;	
	}
	int mid = (l + r) / 2;
	make(2 * u, l, mid);
	make(2 * u + 1, mid, r);
	seg[u] = merge(seg[2 * u], seg[2 * u + 1]);
}

node get(int u, int l, int r, int s, int e) {
	if (s <= l && r <= e)
		return seg[u];
	if (e <= l || r <= s)
		return {n + 1, n + 1};
	int mid = (l + r) / 2;
	return merge(get(2 * u, l, mid, s, e), get(2 * u + 1, mid, r, s, e));
}

bool topol() {
	queue<int> q;
	for (int i = 1; i <= n; i++)
		if (in[i] == 0) {
			q.push(i);
			seen[i] = true;	
		}
	while (!q.empty()) {
		int u = q.front();
		q.pop();
		for (auto v : adj[u]) {
			in[v]--;
			if (in[v] == 0) {
				q.push(v);
				seen[v] = true;
			}	
		}
	}
	for (int i = 1; i <= n; i++)
		if (!seen[i])
			return false;
	return true;
}

void findAns() {
	vector<int> st1, st2;
	st1.push_back(1);
	st2.push_back(1);
	for (int i = 2; i <= n; i++) {
		while (!st1.empty() && a[i] > a[st1.back()])
			st1.pop_back();
		if (!st1.empty()) {
			int l = st1.back();
			node x = get(1, 1, n + 1, l, i);
			if (ind2[x.mi2] > ind2[a[i]]) {
				cout << "NO" << endl;
				return;	
			}
			res.push_back({x.mi2, a[i]});
			adj[x.mi2].push_back(a[i]);
			in[a[i]]++;
		}
		st1.push_back(i);
		while (!st2.empty() && b[i] < b[st2.back()])
			st2.pop_back();
		if (!st2.empty()) {
			int l = st2.back();
			node x = get(1, 1, n + 1, l, i);
			if (ind1[x.mi1] > ind1[b[i]]) {
				cout << "NO" << endl;
				return;	
			}
			res.push_back({x.mi1, b[i]});
			adj[x.mi1].push_back(b[i]);
			in[b[i]]++;
		}
		st2.push_back(i);
	}
	if (topol()) {
		cout << "YES" << endl << res.size() << endl;
		for (auto p : res)
			cout << p.first << " " << p.second << endl;
		return;	
	}
	cout << "NO" << endl;
	return;
}

int main() {
	ios::sync_with_stdio(false); cin.tie(0);
	input();
	make(1, 1, n + 1);
	findAns();
	return 0;
}

这程序好像有点Bug,我给组数据试试?

詳細信息

Test #1:

score: 100
Accepted
time: 0ms
memory: 10508kb

input:

3
1 2 3
1 2 3

output:

YES
2
1 2
2 3

result:

ok n=3

Test #2:

score: 0
Accepted
time: 1ms
memory: 10844kb

input:

3
1 2 3
3 2 1

output:

YES
0

result:

ok n=3

Test #3:

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

input:

3
3 2 1
1 2 3

output:

NO

result:

ok n=3

Test #4:

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

input:

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

output:

YES
10
6 9
9 4
9 10
4 1
4 3
4 7
9 7
4 5
7 5
10 2

result:

ok n=10

Test #5:

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

input:

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

output:

YES
6
4 2
7 9
9 1
9 3
1 10
1 3

result:

ok n=10

Test #6:

score: 0
Accepted
time: 1ms
memory: 9804kb

input:

100
5 16 25 26 36 28 42 46 2 38 48 23 29 30 31 12 40 51 58 64 71 75 83 14 68 74 79 84 86 88 56 6 39 92 9 11 4 47 3 13 15 8 49 54 32 45 61 33 66 72 80 24 69 89 21 82 93 94 27 76 90 10 18 77 78 57 95 7 50 81 96 97 35 19 44 20 55 63 34 60 67 22 73 52 87 91 65 43 85 37 62 53 98 1 41 70 99 59 100 17
92 8...

output:

YES
148
36 28
48 88
46 2
46 38
46 58
48 23
48 29
48 30
48 31
31 12
48 40
26 28
25 75
23 56
23 39
23 29
83 14
83 68
16 71
83 74
83 79
14 79
14 74
74 84
88 56
56 6
11 93
56 39
11 54
54 89
92 9
54 82
92 11
11 4
9 32
92 47
32 97
47 3
47 13
47 15
15 8
4 80
92 49
4 61
92 54
61 66
54 32
4 24
54 45
24 69
92...

result:

ok n=100

Test #7:

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

input:

1000
11 2 29 50 53 54 155 162 211 213 223 240 270 226 243 276 288 304 315 341 249 358 359 381 178 402 51 417 434 163 459 466 471 498 327 464 518 527 549 559 113 581 589 60 347 594 504 593 598 603 607 610 619 648 649 658 681 684 416 686 153 712 575 741 349 382 759 322 17 289 763 764 774 718 777 9 637...

output:

YES
1830
11 2
270 226
270 243
741 940
341 249
658 939
381 178
402 51
434 163
589 648
498 327
498 464
498 858
559 113
589 60
589 347
594 504
381 649
594 593
358 416
296 813
296 585
585 891
684 416
686 153
276 431
431 746
712 575
270 927
741 349
270 437
741 382
759 322
226 243
322 17
243 464
322 289
2...

result:

ok n=1000

Test #8:

score: 0
Accepted
time: 41ms
memory: 13028kb

input:

100000
1 5 10 12 13 14 16 17 18 19 21 27 28 33 37 40 41 44 45 49 50 51 52 54 57 58 62 64 67 69 71 72 74 75 77 78 79 80 84 89 93 95 96 100 102 104 111 113 115 117 118 119 120 121 122 123 124 126 127 129 132 135 136 138 139 142 144 150 151 152 153 154 155 156 164 166 167 170 174 177 178 180 181 182 18...

output:

YES
78810
99705 99741
99470 99959
879 331
98405 99415
98290 98501
1678 362
98090 99897
98023 99495
97857 99403
2038 1937
97824 98194
97720 98050
97648 97819
2574 1981
2639 2143
2737 99
2737 810
2915 2621
96970 97714
96711 99830
3528 558
96445 99647
96444 98395
96385 98010
96327 98110
3673 1890
3681 ...

result:

ok n=100000

Test #9:

score: 0
Accepted
time: 88ms
memory: 15404kb

input:

100000
40 84 102 116 124 157 177 191 193 199 256 259 293 300 304 326 430 439 473 477 489 511 515 518 547 583 593 630 664 697 747 751 769 787 789 892 928 945 963 971 978 1052 1063 1067 1077 1080 1088 1101 1136 1143 1172 1180 1198 1274 1312 1359 1361 1380 1382 1404 1414 1428 1435 1466 1475 1497 1517 1...

output:

YES
183695
98298 99951
2282 1882
96912 97016
4001 1479
96108 97956
4089 357
95084 95968
5025 4177
94870 95868
94737 96307
5650 818
5661 4309
93877 98361
93552 95901
93474 94339
7190 2459
7790 3669
7807 1299
8114 1326
8171 5811
5811 2778
91317 99893
8891 6966
9281 3652
9449 2277
90540 92441
92441 929...

result:

ok n=100000

Test #10:

score: 0
Accepted
time: 9ms
memory: 11592kb

input:

100000
1 2 3 4 5 6 7 8 9 10 11 12 13 14 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102...

output:

YES
1988
1577 1183
2149 890
96468 98661
96219 99624
5479 4107
5573 3401
94154 95933
93973 95271
93345 96041
6683 3857
92764 95924
7485 6847
7506 3898
91651 93074
90892 97767
90857 98549
9329 1743
90264 98530
10005 3653
89844 90330
89628 91992
89298 97765
10672 1175
10782 881
88903 94193
11058 8313
1...

result:

ok n=100000

Test #11:

score: 0
Accepted
time: 58ms
memory: 13644kb

input:

100000
4 6 12 16 20 23 24 27 32 34 36 39 46 54 68 76 77 81 86 88 95 99 103 107 112 113 117 120 125 140 142 143 149 158 161 167 171 174 176 187 190 192 195 198 200 206 207 211 217 222 226 227 231 233 239 240 241 245 247 249 264 274 275 276 277 280 288 290 296 303 305 312 321 329 333 336 338 339 341 3...

output:

YES
122343
1558 587
98497 99899
98296 98763
97985 98231
97793 99898
3016 936
97279 97887
3065 1681
97016 98944
96600 98432
3815 1666
96464 97527
96321 98855
4079 1240
4285 3905
4354 132
4355 3249
96012 97057
4366 3927
4410 812
95869 97203
4502 3261
4520 3392
95787 98353
95734 97096
95725 96451
4654 ...

result:

ok n=100000

Test #12:

score: 0
Accepted
time: 25ms
memory: 12572kb

input:

100000
1 2 4 5 6 7 10 13 14 15 16 20 21 22 24 25 26 28 29 30 31 33 34 35 36 37 38 39 40 43 44 45 46 47 48 51 52 55 56 57 58 59 62 65 66 67 68 69 70 71 72 73 74 75 76 77 78 80 81 82 85 87 89 91 92 93 94 97 98 99 100 101 102 103 104 105 106 107 111 112 113 115 117 119 120 121 123 124 128 130 132 133 1...

output:

YES
44465
383 83
99584 99658
99380 99701
99000 99643
1131 546
1634 1587
1661 468
1730 544
98080 99093
1925 928
1955 1101
97885 99267
2167 1916
2179 992
2192 978
97827 99008
2420 353
2455 364
2491 2174
97356 98934
97282 97653
97221 97370
2868 607
3015 929
3041 2761
96943 97561
3198 2013
3282 1493
332...

result:

ok n=100000

Test #13:

score: 0
Accepted
time: 80ms
memory: 15484kb

input:

100000
33 43 47 65 67 82 88 95 96 113 130 133 140 232 262 266 282 286 298 299 303 324 326 342 352 354 356 359 362 363 364 369 392 398 408 435 442 454 460 489 508 518 537 556 572 574 580 592 613 616 629 650 652 674 684 718 721 724 732 734 801 809 819 831 845 853 856 878 879 895 897 935 946 956 958 96...

output:

YES
167027
1045 109
98862 99086
1929 812
2111 657
2497 781
2497 1419
2738 1918
2804 2000
3051 2747
3186 1791
4099 1828
95386 96807
4813 2663
4862 4199
4911 1334
4974 74
5011 481
94877 99202
94696 94967
5435 321
94586 99338
94398 97527
6232 5767
93812 97093
7094 5660
7150 3353
7280 153
92724 93242
92...

result:

ok n=100000

Test #14:

score: 0
Accepted
time: 81ms
memory: 16140kb

input:

100000
38535 3433 18670 53850 31420 79252 3155 90709 7043 47690 20905 66663 16655 77812 19606 78158 23549 54025 44700 24119 42542 85555 31117 68856 35627 37419 26767 46031 72252 71511 80835 47732 77030 61434 51792 98165 71334 70644 79996 87007 93335 56112 86306 3040 10776 30683 80961 96794 12323 656...

output:

YES
199973
38535 3433
38535 18670
3433 18670
18670 53850
53850 31420
18670 31420
31420 79252
79252 3155
3155 90709
90709 7043
3155 7043
90709 47690
7043 47690
47690 20905
7043 20905
90709 66663
20905 66663
66663 16655
7043 16655
90709 77812
16655 77812
77812 19606
16655 19606
90709 78158
19606 78158...

result:

ok n=100000

Test #15:

score: 0
Accepted
time: 9ms
memory: 10828kb

input:

100000
1 5 7 8 24 29 32 36 39 41 43 44 46 47 52 54 56 58 59 64 68 69 70 73 75 77 79 82 84 86 88 90 92 93 95 98 99 101 102 104 105 108 112 114 115 116 118 123 126 127 128 133 134 139 140 143 145 147 152 153 154 156 160 161 163 165 169 170 176 178 179 180 184 186 187 188 192 193 195 199 200 204 205 20...

output:

NO

result:

ok n=100000

Test #16:

score: 0
Accepted
time: 9ms
memory: 10824kb

input:

100000
1 3 4 7 10 11 13 17 18 19 21 22 25 27 28 29 31 35 36 37 38 42 49 50 53 56 57 58 60 62 63 64 68 70 71 79 80 82 83 85 86 87 88 90 93 94 98 103 105 109 110 111 112 116 121 123 127 134 138 139 142 143 148 151 154 156 158 159 160 162 164 166 168 171 172 173 174 175 176 177 180 184 186 187 189 193 ...

output:

NO

result:

ok n=100000

Test #17:

score: 0
Accepted
time: 8ms
memory: 11084kb

input:

100000
1 2 8 9 11 14 19 21 22 24 25 28 33 34 35 36 43 49 51 55 57 59 62 64 68 69 70 71 72 75 76 78 79 80 81 82 83 87 88 89 91 92 98 99 105 106 107 111 112 116 118 123 124 125 128 131 133 138 139 141 142 143 146 147 152 154 155 159 161 162 163 164 165 169 172 173 174 175 179 183 184 185 186 187 190 1...

output:

NO

result:

ok n=100000

Test #18:

score: 0
Accepted
time: 9ms
memory: 11188kb

input:

100000
60 134 140 182 208 256 291 327 364 395 404 419 439 444 457 469 486 510 527 561 569 595 611 612 645 654 710 778 792 794 810 832 873 890 900 901 911 914 942 946 978 1022 1057 1060 1083 1094 1095 1146 1154 1155 1280 1323 1336 1368 1379 1388 1395 1480 1500 1509 1548 1573 1580 1597 1601 1622 1629 ...

output:

NO

result:

ok n=100000

Test #19:

score: 0
Accepted
time: 8ms
memory: 11084kb

input:

100000
52072 2 3 50731 5 75525 49404 8 52753 2744 11 34189 13 48355 15 16 17 50376 86416 20 21 56114 23 20072 25 53838 48273 63338 29 30 60156 6205 8084 34 35 36 48381 71655 72484 63969 88506 59722 27083 5369 44672 86160 39926 48 49 8962 51 47113 53 69142 55 66271 24245 74454 59 72556 61 35930 86895...

output:

NO

result:

ok n=100000

Test #20:

score: 0
Accepted
time: 8ms
memory: 10824kb

input:

100000
13821 33496 19412 85158 61916 61576 41795 39637 42402 12256 37931 7198 19499 24983 15918 19942 56948 7239 17886 24328 17628 63213 4681 90112 37749 17984 25778 75577 33274 43479 47779 64385 77793 82833 15116 96895 87829 30340 25506 7179 48585 77809 44101 91839 93597 69594 37840 3271 4541 68178...

output:

NO

result:

ok n=100000

Test #21:

score: 0
Accepted
time: 2ms
memory: 9416kb

input:

1
1
1

output:

YES
0

result:

ok n=1

Extra Test:

score: 0
Extra Test Passed