这题真TM神……
和commonc一起orz了半天题解-_-
我们考虑一下dp,f[i][j]表示以i为根的子树里与i距离为j的点的个数,g[i][j]表示子树内有g[i][j]对点深度相同,且距离他们的LCA距离都为d,且i与他们的LCA的距离为d-j。换一种说法是表示以i为根的子树里有这么多个点对在底下分叉了,并且还没有第三个点和这个点对匹配,这个第3个点不在i的子树里并且与i距离为j的方案数(不考虑第三个点有多少种选法)
设x表示当前点,y表示儿子
f[x][0]=1
ans+=g[x][0]
这样的话枚举出边,一边枚举一边更新保证不重复计算,每次枚举出边的时候再枚举i
f[x][i]+=f[y][i-1]
g[x][i-1]+=g[y][i]
g[x][i+1]+=f[x][i+1]*