This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
// #pragma GCC optimize("O3", "unroll-loops")
#define ll long long
#define int long long
#define pb push_back
#define fi first
#define se second
#define lf (id<<1)
#define rg ((id<<1)|1)
#define md ((l+r)>>1)
#define ld long double
using namespace std;
typedef pair<int,int> pii;
typedef pair<pii, int> ipii;
const int MAXN = 1e5+10;
const int MAXA = 9e3+20;
const ll INF = 1e18+10;
const int LOG = 20;
const int SQRT = 450;
int n, m;
int u[MAXN], v[MAXN];
vector <int> adj[MAXN];
int disc[MAXN], low[MAXN], tim;
int ap[MAXN], color, col[MAXN];
set <int> edge[MAXN];
int sub[MAXN], val[MAXN], chi[MAXN];
void dfs(int nw, int par){
disc[nw] = low[nw] = ++tim;
for(auto nx : adj[nw]){
if(nx==par) continue;
if(disc[nx]!=0) low[nw] = min(low[nw], disc[nx]);
else {
chi[nw]++;
dfs(nx, nw);
if(nw!=1 && low[nx] >= disc[nw]) ap[nw] = 1;
low[nw] = min(low[nw], low[nx]);
}
}
if(chi[nw]>=2 && nw==1) ap[nw] = 1;
if(ap[nw]){
col[nw] = ++color; val[col[nw]] = 1;
}
}
void COL(int nw, int ty){
col[nw] = ty; val[ty]++;
for(auto nx : adj[nw]){
if(ap[nx]==1 || col[nx]!=0) continue;
COL(nx, ty);
}
}
int ANS, root[MAXN];
void trav(int nw, int par, int roo){
//S - C - F
int te = 0, bef = 0; root[nw] = roo;
sub[nw] = val[nw];
for(auto nx : edge[nw]){
if(nx==par) continue;
trav(nx, nw, roo);
sub[nw] += sub[nx];
te += bef*sub[nx]*2;
bef += sub[nx];
}
ANS += te*val[nw];
}
void bd(int nw, int par){
for(auto nx : edge[nw]){
if(nx==par) continue;
bd(nx, nw);
}
int up = sub[root[nw]]-sub[nw], dw = sub[nw]-val[nw];
int te = up*dw*2;
// cout << nw << ' ' << te << " te\n";
ANS += te*val[nw];
}
int tot = 0;
void cnt(int nw, int par){
if(par!=0) tot += val[nw];
if(val[nw]==1) return;
for(auto nx : edge[nw]){
if(nx==par) continue;
cnt(nx, nw);
}
}
signed main(){
// ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
cin >> n >> m;
for(int i=1; i<=m; i++){
cin >> u[i] >> v[i];
adj[u[i]].pb(v[i]); adj[v[i]].pb(u[i]);
}
for(int i=1; i<=n; i++)
if(!disc[i]) dfs(i, 0);
for(int i=1; i<=n; i++){
if(!col[i]) COL(i, ++color);
}
for(int i=1; i<=m; i++){
int x = col[u[i]], y = col[v[i]];
if(x==y) continue;
edge[x].insert(y); edge[y].insert(x);
}
// for(int i=1; i<=color; i++){
// cout << i << ' ' << val[i] << " val\n";
// }
// for(int i=1; i<=n; i++){
// cout << i << ' ' << disc[i] << ' ' << low[i] << ' ' << chi[i] << ' '<<col[i] << " col\n";
// }
for(int i=1; i<=n; i++)
if(!sub[i]){ trav(i, 0, i); bd(i, 0); }
// cout << ANS << " ans1\n";
// SCF
for(int i=1; i<=color; i++){
if(val[i]>=3) ANS += val[i]*(val[i]-1)*(val[i]-2);
}
// cout << ANS << " ans2\n";
// SC-F atau S-CF
for(int i=1; i<=color; i++){
if(val[i]>=2){
int siz = sub[root[i]];
ANS += val[i]*(val[i]-1)*(siz-val[i])*2;
}
}
// cout << ANS << " ans3\n";
for(int i=1; i<=color; i++){
if(val[i]>=2){
tot = 0;
for(auto nx : edge[i]) tot += val[nx];
ANS += val[i]*(val[i]-1)*tot;
}
}
cout << ANS << '\n';
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |