#include<bits/stdc++.h>
using namespace std;
#define int ll
#define ll long long
#define pii pair<int, int>
vector<vector<int>> graph;
vector<vector<int>> cgraph;
vector<vector<ll>> opt;
vector<int> comp;
vector<int> low;
vector<int> num;
vector<int> vis;
vector<int> art;
vector<ll> compsize;
stack<int> s;
ll sol = 0;
int c = 0;
int d = 0;
ll n, m;
void dfs(int i, int p)
{
num[i] = low[i] = ++c;
s.push(i);
for (int ele:graph[i])
{
if (ele == p) continue;
if (!num[ele])
{
dfs(ele, i);
if (low[ele]==num[i])
{
while(s.top() != ele)
{
comp[s.top()] = d;
compsize[d]++;
s.pop();
}
comp[ele] = d;
compsize[d]++;
s.pop();
d++;
}
}
low[i] = min(low[i], low[ele]);
}
if (num[i]==low[i])
{
art[d] = 1;
while (s.top() != i)
{
comp[s.top()] = d;
compsize[d]++;
s.pop();
}
comp[i] = d;
compsize[d]++;
s.pop();
d++;
}
}
void dfs2(int i)
{
vis[i] = 1;
opt[i][0] = compsize[i];
opt[i][1] = (compsize[i]-1)*(compsize[i]-2);
if (!art[i]) opt[i][1] += compsize[i]-1;
sol += (compsize[i]-2)*compsize[i]*(compsize[i]-1);
if (!art[i]) sol += compsize[i]*(compsize[i]-1);
vector<array<ll, 2>> ones;
ll sum = 0;
for (int ele:cgraph[i])
{
if (vis[ele]) continue;
dfs2(ele);
opt[i][0] += opt[ele][0];
opt[i][1] += opt[ele][1] + opt[ele][0]*compsize[i];
sum += opt[ele][0];
ones.push_back({opt[ele][0], opt[ele][1]});
sol += opt[ele][0]*(compsize[i]-1)*(compsize[i]-2)*2;
sol += opt[ele][0]*(compsize[i]-1)*2;
if (!art[i]) sol += opt[ele][0]*(compsize[i]-1)*2;
sol += opt[ele][1]*compsize[i]*2;
}
for (array<ll, 2> ele:ones)
{
if (!art[i]) sol += ele[0]*(sum-ele[0])*(compsize[i]+1);
else sol += ele[0]*(sum-ele[0])*(compsize[i]);
sol += ele[1]*(sum-ele[0])*2;
}
}
int32_t main()
{
//freopen("input.txt", "r", stdin);
//freopen("output.txt", "w", stdout);
cin >> n >> m;
graph.assign(n, vector<int>());
cgraph.assign(n, vector<int>());
compsize.assign(n, 0);
low.assign(n, 0);
num.assign(n, 0);
comp.assign(n, -1);
vis.assign(n, 0);
art.assign(n, 0);
opt.assign(n, vector<ll>(2, 0));
for (int i =0; i < m; i++)
{
int a, b;
cin >> a >> b;
a--; b--;
graph[a].push_back(b);
graph[b].push_back(a);
}
for (int i = 0; i < n; i++)
{
if (!num[i])
{
dfs(i, -1);
}
}
for (int i = 0; i <n; i++)
{
for (int ele:graph[i])
{
if (comp[i] == comp[ele]) continue;
cgraph[comp[i]].push_back(comp[ele]);
}
}
for (int i = 0; i < n; i++)
{
if (!vis[comp[i]])
{
dfs2(comp[i]);
}
}
cout << sol << "\n";
return 0;
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
0 ms |
348 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
0 ms |
348 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
79 ms |
27060 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
604 KB |
Output is correct |
2 |
Correct |
1 ms |
604 KB |
Output is correct |
3 |
Correct |
1 ms |
600 KB |
Output is correct |
4 |
Correct |
1 ms |
604 KB |
Output is correct |
5 |
Correct |
1 ms |
608 KB |
Output is correct |
6 |
Correct |
1 ms |
604 KB |
Output is correct |
7 |
Correct |
1 ms |
604 KB |
Output is correct |
8 |
Correct |
1 ms |
604 KB |
Output is correct |
9 |
Correct |
1 ms |
604 KB |
Output is correct |
10 |
Correct |
1 ms |
604 KB |
Output is correct |
11 |
Correct |
1 ms |
600 KB |
Output is correct |
12 |
Correct |
1 ms |
604 KB |
Output is correct |
13 |
Correct |
1 ms |
604 KB |
Output is correct |
14 |
Correct |
1 ms |
604 KB |
Output is correct |
15 |
Correct |
1 ms |
604 KB |
Output is correct |
16 |
Correct |
1 ms |
600 KB |
Output is correct |
17 |
Correct |
1 ms |
604 KB |
Output is correct |
18 |
Correct |
1 ms |
604 KB |
Output is correct |
19 |
Correct |
1 ms |
604 KB |
Output is correct |
20 |
Correct |
1 ms |
604 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
87 ms |
22568 KB |
Output is correct |
2 |
Correct |
89 ms |
22632 KB |
Output is correct |
3 |
Correct |
94 ms |
22752 KB |
Output is correct |
4 |
Correct |
88 ms |
22636 KB |
Output is correct |
5 |
Correct |
85 ms |
22636 KB |
Output is correct |
6 |
Correct |
100 ms |
29180 KB |
Output is correct |
7 |
Correct |
95 ms |
27532 KB |
Output is correct |
8 |
Correct |
102 ms |
26212 KB |
Output is correct |
9 |
Correct |
109 ms |
25220 KB |
Output is correct |
10 |
Correct |
87 ms |
22596 KB |
Output is correct |
11 |
Correct |
85 ms |
22608 KB |
Output is correct |
12 |
Correct |
84 ms |
22608 KB |
Output is correct |
13 |
Correct |
110 ms |
22892 KB |
Output is correct |
14 |
Correct |
78 ms |
22360 KB |
Output is correct |
15 |
Correct |
73 ms |
21884 KB |
Output is correct |
16 |
Correct |
49 ms |
20060 KB |
Output is correct |
17 |
Correct |
77 ms |
25288 KB |
Output is correct |
18 |
Correct |
75 ms |
25528 KB |
Output is correct |
19 |
Correct |
79 ms |
25112 KB |
Output is correct |
20 |
Correct |
73 ms |
24604 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
604 KB |
Output is correct |
2 |
Correct |
1 ms |
596 KB |
Output is correct |
3 |
Incorrect |
1 ms |
604 KB |
Output isn't correct |
4 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
91 ms |
22612 KB |
Output is correct |
2 |
Correct |
91 ms |
22464 KB |
Output is correct |
3 |
Incorrect |
98 ms |
22408 KB |
Output isn't correct |
4 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
0 ms |
348 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
0 ms |
348 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |