#include<bits/stdc++.h>
using namespace std;
#define int ll
#define ll long long
vector<vector<int>> graph;
vector<vector<int>> cgraph;
vector<int> comp;
vector<int> art;
vector<int> low;
vector<int> num;
vector<int> vis;
stack<int> s;
int c = 0;
int d = 0;
int root = 0;
int sub = 0;
vector<ll> compsize;
ll sol = 0;
ll n, m;
void dfs(int i, int p)
{
num[i] = low[i] = ++c;
s.push(i);
for (int ele:graph[i])
{
if (i==root) sub++;
if (ele == p) continue;
if (!num[ele])
{
dfs(ele, i);
if (low[ele]>=num[i]) art[i] = 1;
if (low[ele]==num[i])
{
while(s.top() != i)
{
comp[s.top()] = d;
compsize[d]++;
s.pop();
}
comp[i] = d;
compsize[d]++;
s.pop();
d++;
}
}
low[i] = min(low[i], low[ele]);
}
if (num[i]==low[i] && comp[i]==-1)
{
art[i] = 1;
while (s.top() != i)
{
comp[s.top()] = d;
compsize[d]++;
s.pop();
}
comp[i] = d;
compsize[d]++;
s.pop();
d++;
}
}
int dfs2(int i)
{
vis[i] = 1;
ll ss = 0;
vector<int> cs;
for (int ele:cgraph[i])
{
if (!vis[ele])
{
int h = dfs2(ele);
sol -= compsize[i]*(h-compsize[ele])*(h-compsize[ele]-1);
sol -= compsize[i]*compsize[ele]*(h-compsize[ele])*2;
cs.push_back(ele);
ss+=h;
}
}
for (int ele:cs)
{
sol -= compsize[ele]*(n-ss-compsize[i])*(n-ss-compsize[i]-1);
sol -= compsize[ele]*compsize[i]*(n-ss-compsize[i])*2;
}
return ss+compsize[i];
}
int32_t main()
{
//freopen("input.txt", "r", stdin);
//freopen("output.txt", "w", stdout);
cin >> n >> m;
graph.assign(n, vector<int>());
cgraph.assign(5*n, vector<int>());
compsize.assign(5*n, 0);
low.assign(n, 0);
num.assign(n, 0);
comp.assign(n, -1);
art.assign(n, 0);
vis.assign(5*n, 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])
{
sub = 0;
root = i;
c = 0;
dfs(i, -1);
sol += max((ll)0, c*(c-1)*(c-2));
if (sub==1) art[i] = 0;
}
}
for (int i = 0; i <n; i++)
{
if (art[i])
{
compsize[comp[i]]--;
comp[i] = d;
compsize[d] = 1;
d++;
}
}
for (int i = 0; i <n; i++)
{
if (art[i])
{
for (int ele:graph[i])
{
if (art[ele] && ele > i)
{
cgraph[comp[i]].push_back(d);
cgraph[d].push_back(comp[i]);
cgraph[d].push_back(comp[ele]);
cgraph[comp[ele]].push_back(d);
d++;
continue;
}
cgraph[comp[i]].push_back(comp[ele]);
cgraph[comp[ele]].push_back(comp[i]);
}
}
}
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 |
1 ms |
344 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
1 ms |
344 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
75 ms |
37024 KB |
Output is correct |
2 |
Correct |
76 ms |
37060 KB |
Output is correct |
3 |
Incorrect |
128 ms |
41940 KB |
Output isn't correct |
4 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
600 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 |
860 KB |
Output is correct |
5 |
Correct |
1 ms |
860 KB |
Output is correct |
6 |
Correct |
1 ms |
860 KB |
Output is correct |
7 |
Correct |
1 ms |
860 KB |
Output is correct |
8 |
Correct |
1 ms |
860 KB |
Output is correct |
9 |
Correct |
1 ms |
860 KB |
Output is correct |
10 |
Incorrect |
1 ms |
604 KB |
Output isn't correct |
11 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
139 ms |
37456 KB |
Output is correct |
2 |
Correct |
124 ms |
37408 KB |
Output is correct |
3 |
Correct |
123 ms |
37460 KB |
Output is correct |
4 |
Correct |
182 ms |
37456 KB |
Output is correct |
5 |
Correct |
125 ms |
37460 KB |
Output is correct |
6 |
Correct |
144 ms |
49380 KB |
Output is correct |
7 |
Correct |
150 ms |
45516 KB |
Output is correct |
8 |
Correct |
166 ms |
43392 KB |
Output is correct |
9 |
Correct |
173 ms |
41296 KB |
Output is correct |
10 |
Incorrect |
179 ms |
37392 KB |
Output isn't correct |
11 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
600 KB |
Output is correct |
2 |
Correct |
1 ms |
604 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 |
166 ms |
37400 KB |
Output is correct |
2 |
Correct |
125 ms |
37200 KB |
Output is correct |
3 |
Incorrect |
131 ms |
36520 KB |
Output isn't correct |
4 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
1 ms |
344 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Incorrect |
1 ms |
344 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |