CF653E不难发现其实就是在假想中建立出可以存在的边的图，要求跟\(1\)相连的连通块个数\(\leqk\)且与\(1\)的连边个数\(\geqk\)且全图联通，这个我们只需要知道其去掉\(1\)的连通性就很好讨论了。我们其实不能直接建出这个极度稠密的图，但是我们可以用数据结构优化建图，