摘要：
有 $n$ 个 01 变量，有若干个限制，每个限制对 $i,j$ 有要求。 对每个变量建立两个点表示两种取值，有向边 $(u,v)$ 表示 $u$ 选了，则 $v$ 一定选。 建图方式： $x=a$，则 $y=b$ 那么就是 $x=a$ 时 $y=b$，$y\not=b$ 时 $x\not=a$。 阅读全文
摘要：
一种亚 log 数据结构。 在 01trie 二叉树的基础上，变成 $w$ 叉树，一般取 $w=64$ 方便用 ull 存储子树是否存在的情况。 支持查询前驱后继最小最大值和插入删除，复杂度都是 $O(log_{w}V)$ 的，一般的 $10^9$ 值域也就是 $5$ 左右的常数。和堆相比功能强大， 阅读全文
摘要：
一个逆天的容斥。 形式非常简单： $$\max_{i\in S}i=\sum_{T\subseteq S}(-1)^{|T|+1}\min_{i\in T}i$$ 其中 $S$ 是你要求最大值的集合。 这个东西有什么用呢？显然一般题是完全不需要这个逆天玩意的。 但是这个容斥对于期望成立。所以一些形似 阅读全文