2019年8月27日
CF603E Pastoral Oddities 优先队列+结论+LCT维护生成树
摘要： 首先，一个神奇的结论：一个合法的方案存在的条件是每一个联通块的节点数都是偶数个的. 这个可以用数学归纳法简单证一证. 证出这个后，我们只需动态加入每一个边，并查看一下有哪些边能够被删除(删掉后联通块依然合法). 对于维护加边，删边，我们用动态树. 对于枚举哪些边可以被删，我们可以用堆/set来维护. 阅读全文
posted @ 2019-08-27 14:41 EM-LGH 阅读(253) 评论(0) 推荐(0) 编辑