摘要：
图论 同余最短路 用于一些值域较大的判定性 / 解计数 / 最值问题。 通常选定一个模数，然后考虑在模数意义下的每个剩余类，可以设出类似于 \(f[i]\) 表示第 \(i\) 个剩余类的答案一类的状态。 然后考虑将第 \(i\) 个剩余类抽象成点，剩余类之间的转移关系抽象成边，通过最短路计算该剩余 阅读全文
摘要：
我还在等你回来。 一切都好，只是这一年真的很难。 阅读全文
该文被密码保护。 阅读全文
摘要：
标签：计数，树状数组，容斥 阅读全文
摘要：
补补以前懒得总结的零碎东西。 kruskal 重构树 使用条件：求无向图中两点之间所有路径的最大边权的最小值 构造： 依 kruskal 得到最小生成树 从小到大考虑生成树中的边 \((u, v)\) 对于 \((u, v)\)，新建一个结点，作为重构树中 \(u, v\) 的父结点 该结点的点权为 阅读全文
摘要：
之前整理的时候忘记写，现在补上。 # 思路 拉插求自然数幂和。 关于自然数幂和 $\sum\limits_{i = 1}^n i^k$，已知是关于 $n$ 的 $k + 1$ 次多项式，可以用伯努利数 $O(k \log k)$ 求，也可以直接拉插 $O(k)$ 求。 拉插结论：若一个 $n$ 次多 阅读全文
摘要：
很好计数题，爱来自汐斯塔。 # 思路 01Trie 上 dp. 首先根据两两异或想到 01Trie，既然是计数自然考虑在 01Trie 上 dp. 先将 $a$ 中的所有数插入 01Trie. 最直观的想法是按位 dp，也就是令 $f[u]$ 表示 01Trie 上在 $u$ 的子树内选取的合法方案 阅读全文
摘要：
迟来一年的道别，那就祝 Mivik 神仙大学生活天天开心吧 qwq 再会啦！ 思路来自 @[€€£](https://www.luogu.com.cn/user/559616) # 思路 三分。 假如要知道每个位置上具体的值，最直接的想法是通过 query 操作差分。 但是这样做的问题在于不能保证最 阅读全文
摘要：
看到一年前的 40pts 突然想填坑，就当顺便回忆一下怎么写题解了。 # 思路 线段树合并 / dsu on tree / 长链剖分 / vector + 二分 / dfs 序 + 树状数组（差分）。 ## 线段树合并 复杂度 $O(n \log n)$，可以卡掉。 考虑用线段树合并维护每个结点的子 阅读全文
摘要：
不算堂堂的复活 原题链接 [P4921 [MtOI2018] 情侣？给我烧了！](https://www.luogu.com.cn/problem/P4921) # 思路 推导 / 二项式反演 + 生成函数 这个题看到恰好 $k$ 对其实很容易想到二项式反演，但是如果要推反演就需要很复杂的 GF 来 阅读全文