摘要: "题目" 差分约束模板。 注意判负环需要建一个超级源点到每个点连一条$0$的边。因为$1$不一定能到达所有的点。 阅读全文
posted @ 2019-11-23 21:22 Shiina_Mashiro 阅读(87) 评论(0) 推荐(0)
摘要: "Link" 实际上Kruskal和Boruvka都是可行的,这里讲一个比较有意思的做法。 从高位往低位考虑,对于当前枚举到的位,我们把所有当前位为$1$的点看做一个集合,所有当前位为$0$的点看做一个集合。 那么显然这两个集合之间要连至少一条边,并且也只能连一条边(证明可以考虑模拟Kruskal的 阅读全文
posted @ 2019-11-23 20:16 Shiina_Mashiro 阅读(112) 评论(0) 推荐(0)