摘要：
"题目" 来学$2$ $sat$了 这个东西确实不难 这个算法就是给你一堆$bool$变量$x_1,x_2...x_n$，之后给你一些限制 限制的形式就是给你一对$(u,o1,v,o2)$ 让$x_u=o1$或者$x_v=o2$ 之后满足所有限制 这个东西非常容易就能抽象成一个图论模型 我们把每个$ 阅读全文
摘要：
"题目" 人傻常数大，bz显然是会$T$的 但我就是来复习一下$lct$的板子的 发现就是让你最小化两点之间的最大路径，于是自然地想到了最小生成树 发现删除操作好像不能在最小生成树上搞，于是我们离线下来倒序处理 先用从头到尾都没有被删除的边做成一棵$MST$ 每加进来一条边，如果这两点不连通，那就直 阅读全文