题解区第五篇 @tzc_wk 同志的题解，对数据

2 2

正确答案是 2，而他输出 0。对数据

3 2
3

正确答案是 5，而他输出 3。

原因在于对 prufer 序列 $p$，不能认为删完点留下的异于 $n$ 的点就为 $p_{n-2}$。理论上还可以构造出无数组 hack 数据。