一、题目
二、解法
直接统计难得很，很容易想到把问题转化成统计半径 (geq r) 的圆的个数。
现在还是很不好做，因为限制是 存在一个点是的周围白点构成半径>=r的圆，很容易算重。
做第二步转化：对于所有黑点周围<=r的点的并集不是所有点，这是一个染色问题，可以 (dp) 了，考虑状态中记录黑点往上覆盖的最远距离，或者是子树内最深的还没有被覆盖的点。这两个信息只有一个有效，因为如果子树内有没有被覆盖的点，设点 (x) 能覆盖这个点，那么点 (x) 的覆盖范围一定是子树内黑点往上覆盖范围的超集。
可以压在一个 (dp) 数组里面写，设 (dp[u][i]) 表示在子树 (u) 内，(igeq 0) 则子树内黑点往上覆盖的最远距离是 (i)，(i<0) 则表示子树内最深没覆盖点的深度是 (i+1)，转移讨论 (4) 种情况即可，因为 (i) 的有效取值 (leq siz[u])，所以时间复杂度是 (O(n^2)) 的，在外面统计所有 (i<0) 的情况即可，总时间复杂度 (O(n^3))
三、总结
转化的艺术，第一步转化是常见套路：差分。
第二步转化就很神奇了，我在这里断言计数问题中所有限制问题优于存在限制问题，转化完就不会算重了。
(dp) 的设计可以想到：小范围讨论除去无效状态，这个 ( t trick) 在阿七那题里也有。
#include <cstdio>
#include <vector>
#include <cstring>
using namespace std;
#define int long long
#define pii pair<int,int>
#define make make_pair
const int M = 305;
const int sh = 300;
const int MOD = 998244353;
int read()
{
int x=0,f=1;char c;
while((c=getchar())<'0' || c>'9') {if(c=='-') f=-1;}
while(c>='0' && c<='9') {x=(x<<3)+(x<<1)+(c^48);c=getchar();}
return x*f;
}
int n,r,tot,ans,f[M],dp[M][M<<1];
struct edge
{
int v,next;
}e[2*M];
void add(int &x,int y)
{
x=(x+y)%MOD;
}
void adds(int u,int v)
{
vector<pii> v1,v2;
for(int i=0;i<=2*sh;i++)
{
if(dp[u][i])
v1.push_back(make(i-sh,dp[u][i])),dp[u][i]=0;
if(dp[v][i])
v2.push_back(make(i-sh,dp[v][i]));
}
for(int x=0;x<v1.size();x++)
for(int y=0;y<v2.size();y++)
{
int i=v1[x].first,j=v2[y].first;
int w=v1[x].second*v2[y].second%MOD;
if(i<0 && j<0) add(dp[u][min(i,j-1)+sh],w);
if(i>=0 && j<0) add(dp[u][(i+j>=0?i:j-1)+sh],w);
if(i<0 && j>=0) add(dp[u][(i+j>=0?j-1:i)+sh],w);
if(i>=0 && j>=0) add(dp[u][max(i,j-1)+sh],w);
}
}
void dfs(int u,int fa)
{
dp[u][r+sh]=dp[u][-1+sh]=1;
for(int t=f[u];t;t=e[t].next)
{
int v=e[t].v;
if(v==fa) continue;
dfs(v,u);
adds(u,v);
}
}
signed main()
{
n=read();
for(int i=1;i<n;i++)
{
int u=read(),v=read();
e[++tot]=edge{v,f[u]},f[u]=tot;
e[++tot]=edge{u,f[v]},f[v]=tot;
}
for(r=1;r<=n;r++)
{
memset(dp,0,sizeof dp);
dfs(1,0);
for(int i=0;i<sh;i++) add(ans,dp[1][i]);
}
int inv=(MOD+1)/2;
ans=(ans-1+MOD)%MOD;//all is busy
for(int i=1;i<=n;i++) ans=ans*inv%MOD;
printf("%lld
",ans);
}