#jag2017autumne. [jag2017autumn_e]Tree Separator
[jag2017autumn_e]Tree Separator
题目描述
给定一棵树 和一个整数 。你可以在 上选择任意不同的两个顶点 和 。设 是连接 和 的简单路径。然后,从 中移除路径 中的顶点和边(如果边的一端或两端顶点在 中)。你的任务是选择 和 ,使得在这个操作后, 中至少有 个或更多顶点的连通分量的数量最大。
输入
输入包含一个单独的测试用例,格式如下所示。
第一行包含两个整数 和 (,)。接下来的 行表示树的边信息。第 行包含两个整数 和 (,对于每个 ,有 )。每个 是树 的一条边。保证这些边构成一棵树。
输出
在一行中输出连通分量中顶点数目至少为 的数量的最大值。
示例输入1
2 1
1 2
示例输出1
0
示例输入2
7 3
1 2
2 3
3 4
4 5
5 6
6 7
示例输出2
1
示例输入3
12 2
1 2
2 3
3 4
4 5
3 6
6 7
7 8
8 9
6 10
10 11
11 12
示例输出3
4
示例输入4
3 1
1 2
2 3
示例输出4
1
示例输入5
3 2
1 2
2 3
示例输出5
0
示例输入6
9 3
1 2
1 3
1 4
4 5
4 6
4 7
7 8
7 9
示例输出6
2