摘要：
一句话题意：写一个支持区间修改，区间求和的可持久化数据结构。 考虑使用主席树，然而，区间修改怎么办？ 似乎有标记永久化的方法。 对于线段树上完全覆盖标记产生贡献的区间，我们直接打上一个$tag$，而对于不完全产生贡献但是会产生贡献的区间，我们直接把贡献累加到$sum$里面去。 查询的时候从上往下走一 阅读全文
摘要：
Luogu的spj现在挂了，要去其他OJ提交。 2-SAT 发现如果不考虑$x$的情况，这就成为一个2-SAT的裸题了，我们有$O(n + m)$的方法可以解决它。 那加上$x$的情况怎么弄……岂不是变成一个3-SAT。 滑稽吧，3-SAT已经被证明是一个完全NPC问题了…… 再观察一下数据范围发现 阅读全文