题面
题意
给出一张无向图,问有多少组点a,b,c满足存在至少一条从a经过b到c的简单路径。
做法
首先考虑枚举点a,c,这样每一组a,c对答案的贡献就是可能在ac路径之间出现的点的个数,然后我们可以对图建圆方树,使圆点的点权为-1(去重),方点的点权为点双的大小,这样ac路径之间出现的点的个数就是a,c两点在圆方树上的路径的点权和,然后用树形dp统计每个点对答案的贡献即可。
注意,图不一定连通。
代码
#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#define ll long long
#define N 500100
using namespace std;
ll n,m,yn,first[N],bb=1,dfn[N],low[N],tt,sta[N],top,bj[N],num[N],ans,size[N],tmp;
bool use[N];
struct Bn
{
ll to,next;
}bn[N];
vector<ll>son[N],st;
inline void add(ll u,ll v)
{
bb++;
bn[bb].to=v;
bn[bb].next=first[u];
first[u]=bb;
}
void dfs(ll now)
{
ll p,q,t;
size[st.size()-1]++;
dfn[now]=low[now]=++tt;
for(p=first[now];p!=-1;p=bn[p].next)
{
q=(p>>1);
if(use[q]) continue;
use[q]=1;
sta[++top]=q;
if(dfn[bn[p].to]) low[now]=min(low[now],dfn[bn[p].to]);
else
{
dfs(bn[p].to);
low[now]=min(low[now],low[bn[p].to]);
if(low[bn[p].to]>=dfn[now])
{
n++;
for(;;top--)
{
t=bn[sta[top]<<1].to;
if(bj[t]!=n)
{
son[t].push_back(n);
son[n].push_back(t);
bj[t]=n;
num[n]++;
}
t=bn[(sta[top]<<1)+1].to;
if(bj[t]!=n)
{
son[t].push_back(n);
son[n].push_back(t);
bj[t]=n;
num[n]++;
}
if(sta[top]==q) break;
}
top--;
}
}
}
}
ll Dfs(ll now,ll last)
{
ll i,j,res=(now<=yn),p=0,t;
for(i=0;i<son[now].size();i++)
{
if(son[now][i]==last) continue;
t=Dfs(son[now][i],now);
p+=res*t;
res+=t;
}
p+=(size[tmp]-res)*res;
ans+=p*num[now];
return res;
}
int main()
{
memset(first,-1,sizeof(first));
ll i,j,p,q;
cin>>n>>m;
yn=n;
for(i=1;i<=n;i++) num[i]=-1;
for(i=1;i<=m;i++)
{
scanf("%lld%lld",&p,&q);
add(p,q),add(q,p);
}
for(i=1;i<=yn;i++)
{
if(!dfn[i])
{
st.push_back(i);
dfs(i);
}
}
for(tmp=0;tmp<st.size();tmp++)
{
Dfs(st[tmp],-1);
}
cout<<ans*2;
}