#P1050. 新年的彩灯

新年的彩灯

新年之际,福马买了一条彩灯,用来装饰马家的院子。由于院子堆满了杂物,所以院子的空间可以被视作一棵 $n$ 个点的树。

现在,福马想将这条彩灯摆放在院子中的某个位置。由于彩灯设计的漏洞,彩灯一旦和自己重叠便会发生短路,带着福马和院子一起灰飞烟灭。因此,任意时刻彩灯都需要占据一条长为 $k$ 条边的不自交的路径。

放下之后,福马可以拖动彩灯,将彩灯的一个端点向某一个方向拖动一条边的距离,另一个端点会跟着移动。形式化地,福马可以让彩灯从占据 $x-y$ 路径变为占据 $x^\prime-y^\prime$ 当且仅当 $x$ 和 $x^\prime$ 相邻,$y$ 和 $y^\prime$ 相邻,且 $dis(x^\prime,y^\prime)=k$。

彩灯内置了一个强大的人工智能,它在福马下单付款的时候就已经搜索出了所有摆放位置的可能。具体地,彩灯建出了一张图 $G$,$G$ 中点集对应原树上所有长度为 $k$ 的路径(我们认为 $x-y$ 和 $y-x$ 是同一条路径),两个点 $a-b$ 和 $c-d$ 有边当且仅当你可以将彩灯从 $a-b$ 一步拖动到 $c-d$。

现在福马想知道彩灯的活动自由度有多大。具体地,福马想算出 $G$ 有多少不同的连通块。彩灯没有嘴能够告诉福马这件事情,所以你需要写一个程序来帮助福马计算。

输入格式

第一行两个整数 $n,k$,表示树的点数和彩灯的长度。

接下来 $n-1$ 行每行两个正整数 $u,v$,描述树中的一条边。

输出格式

一行一个整数,表示连通块数量。特别地,若 $G$ 中没有任何节点,我们认为连通块个数为 $0$。

11 4
2 5
6 4
8 9
9 2
1 7
8 10
10 3
6 8
7 6
4 11
5

五条互相不可达的路径可以为 $1-11,1-9,2-3,10-11,1-10$。

样例二 $\sim$ 五

见“附件下载”。

数据范围

对于所有数据,$1\le n\le3\times10^5,0\le k\le n-1$,保证输入的边组成了一棵树。

子任务编号 $n\leq $ 特殊性质 分值
$1$ $2000$ $13$
$2$ $3\times10^5$ $k\le1$ $5$
$3$ $3\times10^5$ $k\le2$ $8$
$4$ $3\times10^5$ $k\le3$ $8$
$5$ $3\times10^5$ $k\le5$ $8$
$6$ $3\times10^5$ $k\ge\frac n2$ $27$
$7$ $3\times10^5$ $31$

时间限制:$2.5\texttt{s}$

空间限制:$1\texttt{GB}$