首先边双缩点 每个要么都相同要么都不同

转化成限制k,k+1和限制k的和差

然后限制1的是1 限制12的dp

限制至少2的这样

1.是否有点使得去掉之后每个联通分支大小+1都符合(都不同的 最多1种)

2.把<限制的叶子合并上去 如果超过了就判不行 然后k+1删掉 k如果不是1合并 如果是相对最后处理 除了k-1-k两种 别的都去k1 (如果限制k就 删k 大于k就不行)

最多3种 sqrt的(保存合并结果)

考场费了2.5h没出来 又想了很长时间的