摘要：
模拟赛 T1 放了这道题的加强版，打了一上午的三 $\log$ 做法结果发现 $n$ 被毒瘤搬题人开到了 $5 \times 10^{5}$，直接气吐血。 这种题看着就很有 dp 的感觉，但是状态太多开不下。发现是“强制划分为 $k$ 段”这个条件很烦人，于是用 wqs 二分把这一维优化掉。 具体地 阅读全文
摘要：
最小割。 “有可能有两个坐标描述同一个单元”这一点很麻烦，注意到如果 $x$ 坐标、$y$ 坐标和 $z$ 坐标各增加 $1$ 那么它描述的单元不变，所以将三维转化为二维 $(x, y, z) \to (x - z, y - z)$，并且坐标也有唯一性了。 对于 a 共振，产生共振的三个单元中一定有 阅读全文
摘要：
最大流。 首先，不考虑人类结盟的特殊要求，这道题如何解决？ 因为结盟关系只能在相邻两个村庄之间产生，所以把村庄看作结点，结盟关系看作边，那么这将会是一张二分图。 所以可以先将地图黑白染色，将黑点看作源点，白点看作汇点，能够产生结盟关系的结点之间连一条容量为 $1$ 的边，跑一遍最大流即可得到答案。 阅读全文
摘要：
VC 的一些模板： 网络流（待补全） #include <bits/stdc++.h> using namespace std; typedef long long ll; namespace Flow { namespace max_flow { using flow_type = int; co 阅读全文
摘要：
废话 这篇博客还有很多未完善的地方，所以如果想学莫比乌斯反演的话最好不要看这篇文章（ 被莫比乌斯反演创死了。 前置芝士多得一批，有空我来写一遍。 「莫比乌斯反演」和「莫比乌斯变换」不是一个东西哦。（好像是一个东西？） 草，我把 $\mu$ 当成 $\varphi$ 了，大家别学我，有一些地方写错了， 阅读全文
摘要：
亿些废话 上课听 lf 说到「莫比乌斯反演」，「FWT/FMT」，「生成函数」这些什么的都讲过我就很头大，数学这坑是得有多大啊。 不过 lf 说不久后就开始复习网络流，好歹算是有点空闲时间可以补数学了。 前置芝士 要会基本的容斥，以及二项式定理。 如果你不会的话可以看看我写的二项式反演和广义容斥原理 阅读全文
摘要：
我全是二分。 今天一个下午调模板题结果发现是 int 返回值打成了 bool！哈哈哈我是小丑。 这个东西应该算是一种思想而不是具体的算法，跟 CDQ 分治，整体二分这些性质上差不多。 wqs 二分主要是解决恰好选取 $k$ 个元素时的最小（最大）代价这样一类问题的。 它的思想主要是：引入一个惩罚/奖 阅读全文
摘要：
疯狂写博客是真的爽。 学这个东西的原因是昨天早上的省选模拟赛T1好像用到了这玩意，应该是轻重边的改版？但是我学完了还是不会做。 正好之前有学长在校 OJ 上发过，也就浅浅地学了一下。能在考场上推出来这个东西真的很厉害！ 不得不说学长写的文章真的很精炼，写完之后发现自己写的还是啰嗦了。 例题 毛毛虫剖 阅读全文
摘要：
不会线段树历史版本区间和，学了好几个小时再加因为数组开小的几个小时的虚空调试终于过了。 这篇题解会更详细的讲解如何实现线段树历史版本求和。 也推荐一篇讲解线段树历史版本区间和的博客，我是从这里面学的。 观察函数 \(g(i, j)\) 的定义，会发现 \(j\) 这个右端点是不动的，于是考虑右端点确 阅读全文
摘要：
完全凭自己想出来的，可喜可贺，记录一下。 不过数组没开二倍空间虚空调试了三个小时。 按照自己做题时的思路讲一遍，我认为这样会更加清晰。 首先通过手玩样例会发现：刚开始的时候这些数对互不相干，不断地加入数对会让原本互不影响的数对“连通”起来。 这里的“连通”的意思是，这些数通过一系列操作后，达到题目要 阅读全文