摘要：
对着 zaky 抄写一下...这里用极限定义大概只是为了 \(q=1\) 时的特殊情况，就是二项式系数。后面都用 \(q\) 表示无限趋近于 \(q\) 了。 定义： \[[n]_q = \sum\limits_{i=0}^{n-1} q^i = \lim_{x \rightarrow q} \fr 阅读全文
摘要：
析合树。对一个排列定义连续段为值域是连续的一段区间。本原连续段（本原段）定义为不与其它任何连续段《相交且不包含》的连续段。即本原段之间只有相离和包含关系。一个连续段可以由若干本原段拼接得到。将所有本原段按照包含关系建树就得到了析合树。 儿子序列是按序列排序，每个点元素是值域区间。儿子排列就是其离散化 阅读全文
摘要：
1. LOJ6405 「ICPC World Finals 2018」征服世界 咋感觉不说原始咋建图的全是胡言乱语/qd 学习了一下这个 先强制每个 \(b\) 都和 \(inf-dep_i\) 匹配，问题中匹配的权值转化为 \(dep_x+dep_y-2dep_{lca}-inf\)，这样子最小费 阅读全文
摘要：
以下 \(p\) 全是素数。 Wilson：素数 \(p\) 有 \((p-1)!\equiv -1\pmod p\) 推论：计算 \(n!\) 所有数除去质因子 \(p\) 之后乘积 \((n!)_p\) 模 \(p\)：每 \(p\) 个分一组，散块暴力（或者预处理），整块的前 \(p-1\) 阅读全文
摘要：
1. P9746 「KDOI-06-S」合并序列 首先合并是区间合并所以要区间 dp，从前缀，后缀，以及中间夹着的某一段转移而来。 枚举后缀，这个时候问题相当于询问 \([l',r]\) 内是否存在 xxxoooxxxooo 这样的选择情况，两段 x 都是合法区间，并且 xor 和为 \(v\)。 阅读全文