This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
//#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 500015
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,fa[N],ans=-1,cnt=0,a=0,b=0;
pii dp[N],dp1[N];
vector<int>g[N];
void dfs(int p,int lp){
fa[p]=lp; dp[p]={0,0};
if (g[p].size()==1){
dp[p].y=1;
return;
}
for (auto i:g[p]){
if (i!=lp){
dfs(i,p);
if (dp[p].x==dp[i].x+1)
dp[p].y+=dp[i].y;
else dp[p]=max(dp[p],pii(dp[i].x+1,dp[i].y));
}
}
}
void dfs1(int p,int lp,pii val){
dp1[p]={val.x+1,val.y};
pii mx1=val,mx2={-1,0};
for (auto i:g[p]){
if (i!=lp){
if (mx1.x==dp[i].x) mx1.y+=dp[i].y;
else if (mx2.x==dp[i].x) mx2.y+=dp[i].y;
else mx2=max(mx2,dp[i]);
if (mx1<mx2) swap(mx1,mx2);
}
}
mx1.x++; mx2.x++;
for (auto i:g[p]){
if (i!=lp){
if (dp[i].x==mx1.x-1&&dp[i].y==mx1.y)
dfs1(i,p,mx2);
else if (dp[i].x==mx1.x-1)
dfs1(i,p,{mx1.x,mx1.y-dp[i].y});
else dfs1(i,p,mx1);
}
}
}
void relax(int x,int y){
swap(x,y);
if (x*y>ans){
ans=x*y;
a=x; b=y;
}
}
void solve(){
for (int j=1;j<=n;j++){
vector<int>dep;
for (auto i:g[j]){
if (i!=fa[j])
dep.push_back(dp[i].x+1);
}
if (dp1[j].y) dep.push_back(dp1[j].x);
sort(dep.begin(),dep.end());
if (dep.size()>2){
int b1=dep.back(),b2=dep[dep.size()-2],b3=dep[dep.size()-3];
for (int i=0;i<(int)(dep.size())-2;i++)
relax(dep[i],(b2+b1));
relax(b2,(b1+b3)); relax(b1,(b2+b3));
}
}
}
void dfs2(int p,int lp){
map<int,int>have,son;
for (auto i:g[p]){
have[dp[i].x+1]+=dp[i].y;
son[dp[i].x+1]++;
}
for (auto i:g[p]){
auto [d,c]=dp[i]; d++;
pii tmp=dp[p];
have[d]-=c; son[d]--;
auto it=prev(have.end());
while (it!=have.begin()&&(it->y)==0) it=prev(it);
if (have.count(a-d)&&have[a-d]){
son[a-d]--;
if (son[b])
cnt=(cnt+c*have[a-d]);
son[a-d]++;
}
if (have.count(b-d)&&have[b-d]){
son[b-d]--;
if (son[a])
cnt=(cnt+c*have[b-d]);
son[b-d]++;
}
dp[p]=*it;
if (i!=lp)
dfs2(i,p);
dp[p]=tmp;
have[d]+=c; son[d]++;
}
}
signed main(){
fast
cin>>n;
for (int i=1;i<n;i++){
int a,b; cin>>a>>b;
g[a].push_back(b);
g[b].push_back(a);
}
int root=0;
for (int i=1;i<=n;i++){
if (g[i].size()>1){
root=i;
break;
}
}
dfs(root,0);
dfs1(root,0,pii(-1,0));
solve();
dfs2(root,0);
if (a==b) cnt/=2;
if (ans<=0) cout<<0<<' '<<1<<'\n';
else cout<<ans<<' '<<cnt/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... |