#include <bits/stdc++.h>
typedef long long ll;
using namespace std;
int cmp[100001];
ll sz[100001], ans = 0;
set<int> child[100001], graph[100001], rgraph[100001];
queue<pair<int, int>> to_merge;
void insert_weak_connection(int A, int B) {
graph[A].insert(B);
rgraph[B].insert(A);
// If there's A new strong connection between A's and B's components, merge
// them
if (graph[B].count(A)) to_merge.push({A, B});
}
int dsu_size(int A) {
return child[A].size() + graph[A].size() + rgraph[A].size();
}
int find(int A) { return (A == cmp[A] ? A : cmp[A] = find(cmp[A])); }
void onion(int A, int B) {
if (A == B) return;
// Merge the smaller component into the larger
if (dsu_size(A) < dsu_size(B)) swap(A, B);
// Add new contribution
ans += sz[B] * child[A].size() + sz[A] * child[B].size();
// DSU stuff
cmp[B] = A;
sz[A] += sz[B];
// Merge children of B into A
for (int i : child[B]) {
if (child[A].count(i)) ans -= sz[A];
else child[A].insert(i);
}
// Erase the connections
graph[A].erase(B), rgraph[A].erase(B);
graph[B].erase(A), rgraph[B].erase(A);
// Merge the weak connections to other components
for (int i : graph[B]) {
rgraph[i].erase(B);
insert_weak_connection(A, i);
}
for (int i : rgraph[B]) {
graph[i].erase(B);
insert_weak_connection(i, A);
}
}
int main() {
cin.tie(0)->sync_with_stdio(0);
int n, m;
cin >> n >> m;
for (int i = 1; i <= n; i++) {
cmp[i] = i;
sz[i] = 1;
child[i].insert(i);
}
while (m--) {
int A, B;
cin >> A >> B;
B = find(B);
// If A isn't in B's component and doesn't already follow someone in B's
// component...
if (find(A) != B && !child[B].count(A)) {
// We insert A as A follower of B and add sz[find(B)] to the answer
child[B].insert(A);
ans += sz[B];
A = find(A);
// Add connections between components
insert_weak_connection(A, B);
// We may have to merge multiple components for each new event
while (to_merge.size()) {
tie(A, B) = to_merge.front();
to_merge.pop();
onion(find(A), find(B));
}
}
cout << ans << '\n';
}
return 0;
}
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 2 |
Correct |
5 ms |
14940 KB |
Output is correct |
| 3 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 4 |
Correct |
4 ms |
14996 KB |
Output is correct |
| 5 |
Correct |
6 ms |
14940 KB |
Output is correct |
| 6 |
Correct |
4 ms |
14992 KB |
Output is correct |
| 7 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 8 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 9 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 10 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 11 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 12 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 13 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 14 |
Correct |
3 ms |
14964 KB |
Output is correct |
| 15 |
Correct |
4 ms |
14996 KB |
Output is correct |
| 16 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 17 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 18 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 19 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 20 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 21 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 22 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 23 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 24 |
Correct |
4 ms |
15000 KB |
Output is correct |
| 25 |
Correct |
5 ms |
14940 KB |
Output is correct |
| 26 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 27 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 28 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 29 |
Correct |
6 ms |
14940 KB |
Output is correct |
| 30 |
Correct |
3 ms |
14936 KB |
Output is correct |
| 31 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 32 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 33 |
Correct |
4 ms |
14936 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 2 |
Correct |
5 ms |
14940 KB |
Output is correct |
| 3 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 4 |
Correct |
4 ms |
14996 KB |
Output is correct |
| 5 |
Correct |
6 ms |
14940 KB |
Output is correct |
| 6 |
Correct |
4 ms |
14992 KB |
Output is correct |
| 7 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 8 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 9 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 10 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 11 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 12 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 13 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 14 |
Correct |
3 ms |
14964 KB |
Output is correct |
| 15 |
Correct |
4 ms |
14996 KB |
Output is correct |
| 16 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 17 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 18 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 19 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 20 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 21 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 22 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 23 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 24 |
Correct |
4 ms |
15000 KB |
Output is correct |
| 25 |
Correct |
5 ms |
14940 KB |
Output is correct |
| 26 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 27 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 28 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 29 |
Correct |
6 ms |
14940 KB |
Output is correct |
| 30 |
Correct |
3 ms |
14936 KB |
Output is correct |
| 31 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 32 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 33 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 34 |
Correct |
5 ms |
15136 KB |
Output is correct |
| 35 |
Correct |
60 ms |
20820 KB |
Output is correct |
| 36 |
Correct |
86 ms |
23760 KB |
Output is correct |
| 37 |
Correct |
82 ms |
23532 KB |
Output is correct |
| 38 |
Correct |
76 ms |
23140 KB |
Output is correct |
| 39 |
Correct |
5 ms |
15196 KB |
Output is correct |
| 40 |
Correct |
6 ms |
15708 KB |
Output is correct |
| 41 |
Correct |
6 ms |
15708 KB |
Output is correct |
| 42 |
Correct |
5 ms |
15196 KB |
Output is correct |
| 43 |
Correct |
6 ms |
15196 KB |
Output is correct |
| 44 |
Correct |
6 ms |
15196 KB |
Output is correct |
| 45 |
Correct |
6 ms |
15300 KB |
Output is correct |
| 46 |
Correct |
5 ms |
15196 KB |
Output is correct |
| 47 |
Correct |
7 ms |
15520 KB |
Output is correct |
| 48 |
Correct |
7 ms |
15452 KB |
Output is correct |
| 49 |
Correct |
13 ms |
16216 KB |
Output is correct |
| 50 |
Correct |
83 ms |
23760 KB |
Output is correct |
| 51 |
Correct |
9 ms |
15448 KB |
Output is correct |
| 52 |
Correct |
76 ms |
21932 KB |
Output is correct |
| 53 |
Correct |
11 ms |
15960 KB |
Output is correct |
| 54 |
Correct |
72 ms |
22868 KB |
Output is correct |
| 55 |
Correct |
7 ms |
15704 KB |
Output is correct |
| 56 |
Correct |
8 ms |
15536 KB |
Output is correct |
| 57 |
Correct |
7 ms |
15708 KB |
Output is correct |
| 58 |
Correct |
8 ms |
15708 KB |
Output is correct |
| 59 |
Correct |
6 ms |
15708 KB |
Output is correct |
| 60 |
Correct |
59 ms |
20500 KB |
Output is correct |
| 61 |
Correct |
10 ms |
15452 KB |
Output is correct |
| 62 |
Correct |
78 ms |
22960 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 2 |
Correct |
5 ms |
14940 KB |
Output is correct |
| 3 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 4 |
Correct |
4 ms |
14996 KB |
Output is correct |
| 5 |
Correct |
6 ms |
14940 KB |
Output is correct |
| 6 |
Correct |
4 ms |
14992 KB |
Output is correct |
| 7 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 8 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 9 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 10 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 11 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 12 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 13 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 14 |
Correct |
3 ms |
14964 KB |
Output is correct |
| 15 |
Correct |
4 ms |
14996 KB |
Output is correct |
| 16 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 17 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 18 |
Correct |
3 ms |
14940 KB |
Output is correct |
| 19 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 20 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 21 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 22 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 23 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 24 |
Correct |
4 ms |
15000 KB |
Output is correct |
| 25 |
Correct |
5 ms |
14940 KB |
Output is correct |
| 26 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 27 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 28 |
Correct |
4 ms |
14940 KB |
Output is correct |
| 29 |
Correct |
6 ms |
14940 KB |
Output is correct |
| 30 |
Correct |
3 ms |
14936 KB |
Output is correct |
| 31 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 32 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 33 |
Correct |
4 ms |
14936 KB |
Output is correct |
| 34 |
Correct |
5 ms |
15136 KB |
Output is correct |
| 35 |
Correct |
60 ms |
20820 KB |
Output is correct |
| 36 |
Correct |
86 ms |
23760 KB |
Output is correct |
| 37 |
Correct |
82 ms |
23532 KB |
Output is correct |
| 38 |
Correct |
76 ms |
23140 KB |
Output is correct |
| 39 |
Correct |
5 ms |
15196 KB |
Output is correct |
| 40 |
Correct |
6 ms |
15708 KB |
Output is correct |
| 41 |
Correct |
6 ms |
15708 KB |
Output is correct |
| 42 |
Correct |
5 ms |
15196 KB |
Output is correct |
| 43 |
Correct |
6 ms |
15196 KB |
Output is correct |
| 44 |
Correct |
6 ms |
15196 KB |
Output is correct |
| 45 |
Correct |
6 ms |
15300 KB |
Output is correct |
| 46 |
Correct |
5 ms |
15196 KB |
Output is correct |
| 47 |
Correct |
7 ms |
15520 KB |
Output is correct |
| 48 |
Correct |
7 ms |
15452 KB |
Output is correct |
| 49 |
Correct |
13 ms |
16216 KB |
Output is correct |
| 50 |
Correct |
83 ms |
23760 KB |
Output is correct |
| 51 |
Correct |
9 ms |
15448 KB |
Output is correct |
| 52 |
Correct |
76 ms |
21932 KB |
Output is correct |
| 53 |
Correct |
11 ms |
15960 KB |
Output is correct |
| 54 |
Correct |
72 ms |
22868 KB |
Output is correct |
| 55 |
Correct |
7 ms |
15704 KB |
Output is correct |
| 56 |
Correct |
8 ms |
15536 KB |
Output is correct |
| 57 |
Correct |
7 ms |
15708 KB |
Output is correct |
| 58 |
Correct |
8 ms |
15708 KB |
Output is correct |
| 59 |
Correct |
6 ms |
15708 KB |
Output is correct |
| 60 |
Correct |
59 ms |
20500 KB |
Output is correct |
| 61 |
Correct |
10 ms |
15452 KB |
Output is correct |
| 62 |
Correct |
78 ms |
22960 KB |
Output is correct |
| 63 |
Correct |
573 ms |
68296 KB |
Output is correct |
| 64 |
Correct |
540 ms |
67924 KB |
Output is correct |
| 65 |
Correct |
561 ms |
67952 KB |
Output is correct |
| 66 |
Correct |
186 ms |
34032 KB |
Output is correct |
| 67 |
Correct |
384 ms |
61008 KB |
Output is correct |
| 68 |
Correct |
188 ms |
34384 KB |
Output is correct |
| 69 |
Correct |
315 ms |
35152 KB |
Output is correct |
| 70 |
Correct |
197 ms |
34136 KB |
Output is correct |
| 71 |
Correct |
191 ms |
34160 KB |
Output is correct |
| 72 |
Correct |
402 ms |
45136 KB |
Output is correct |
| 73 |
Correct |
410 ms |
46780 KB |
Output is correct |
| 74 |
Correct |
1042 ms |
68800 KB |
Output is correct |
| 75 |
Correct |
504 ms |
42096 KB |
Output is correct |
| 76 |
Correct |
757 ms |
53872 KB |
Output is correct |
| 77 |
Correct |
752 ms |
54244 KB |
Output is correct |
| 78 |
Correct |
222 ms |
37968 KB |
Output is correct |
| 79 |
Correct |
367 ms |
42068 KB |
Output is correct |
| 80 |
Correct |
194 ms |
36792 KB |
Output is correct |
| 81 |
Correct |
308 ms |
40224 KB |
Output is correct |
| 82 |
Correct |
794 ms |
55216 KB |
Output is correct |
| 83 |
Correct |
847 ms |
55044 KB |
Output is correct |
| 84 |
Correct |
657 ms |
53404 KB |
Output is correct |
| 85 |
Correct |
646 ms |
53332 KB |
Output is correct |
| 86 |
Correct |
316 ms |
66884 KB |
Output is correct |
| 87 |
Correct |
355 ms |
69240 KB |
Output is correct |
| 88 |
Correct |
409 ms |
46020 KB |
Output is correct |
| 89 |
Correct |
701 ms |
51968 KB |
Output is correct |
