이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
//#pragma GCC optimize("Ofast,unroll-loops,O3")
//#pragma GCC optimize("avx,avx2,sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,fma,tune=native")
#include<bits/stdc++.h>
//#include<bits/extc++.h>
//#pragma pack(1)
#define fast ios::sync_with_stdio(0); cin.tie(0);
#define int long long
#define pii pair<int,int>
#define x first
#define y second
#define N 200015
using namespace std;
//using namespace __gnu_pbds;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
//typedef tree<int, null_type,less_equal<int>, rb_tree_tag,tree_order_statistics_node_update> order_multiset;
//typedef tree<int, null_type,less<int>, rb_tree_tag,tree_order_statistics_node_update> order_set;
int n,m,dfn[N],low[N],sz[N],have[N],nbcc=0,t=0,ans=0;
bool vis[N];
stack<int>st;
vector<int>g[N],bcc[N];
vector<int>G[N];
void tarjan(int p,int lp){
dfn[p]=low[p]=++t;
st.push(p);
for (auto i:g[p]){
if (!dfn[i]){
tarjan(i,p);
low[p]=min(low[p],low[i]);
if (dfn[p]<=low[p]){
nbcc++;
for (int x=0;x!=i;st.pop()){
x=st.top();
bcc[nbcc].push_back(x);
}
bcc[nbcc].push_back(p);
}
}
else if (i!=lp&&dfn[i]<dfn[p])
low[p]=min(low[p],dfn[i]);
}
}
void build(){
for (int i=1;i<=nbcc;i++){
for (auto j:bcc[i]){
G[i+n].push_back(j);
G[j].push_back(i+n);
}
}
}
void dfs(int p,int lp){
vis[p]=1; sz[p]+=(p<=n);
for (auto i:G[p]){
if (i!=lp){
dfs(i,p);
ans=(ans+have[p]*sz[i]*(sz[p]));
sz[p]+=sz[i];
}
}
ans=(ans+have[p]*(n-sz[p])*sz[p]);
}
signed main(){
fast
cin>>n>>m;
for (int i=1;i<=m;i++){
int a,b; cin>>a>>b;
g[a].push_back(b);
g[b].push_back(a);
}
for (int i=1;i<=n;i++){
have[i]=-1;
if (!dfn[i]){
while (!st.empty()) st.pop();
tarjan(i,0);
}
}
build();
for (int i=1;i<=nbcc;i++)
have[i+n]=bcc[i].size();
for (int i=1;i<=n+nbcc;i++){
if (!vis[i]){
dfs(i,0);
}
}
cout<<ans*2<<'\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... |