摘要：
参见： C++11 enable_if 的使用 - ouuan的博客 Effective C++ 42：typename 的两种用法 | Harttle Land std::enable_if - cppreference.com 然后就可以写出这样的代码： mt19937_64 rnd(chron 阅读全文
摘要：
野鸡数学思考。 划水看到 关于0.9循环=1，问点不一样的问题：为什么对它无论有多少严谨证明，不相信的人始终是不相信？ - 王谷谷的回答 - 知乎，感觉好像明白了点什么！ 你可能早就知道 $\lim\limits_{x\to 1}\frac{x^2-1}{x-1}=2$ 这样的东西，并且知道如何用 阅读全文
摘要：
壹 $f(x_1,x_2,\dots,x_n)=(a_1,a_2,\dots,a_n)$，要让 $\max{a_1,a_2,\dots,a_n}$ 最小或 $\min{a_1,a_2,\dots,a_n}$ 最大。 如果直接 DP 考虑让每一个 $a_i$ 都尽量小，是不满足最优子结构的。如果记上 阅读全文
摘要：
每天教练查一个模板，~~每天都写挂。~~ 10.10 LCA 倍增预处理的时候判断 f[u][i - 1] 是否为 0 写成 f[u][i] 了。 for(int i = 1; f[u][i - 1]; i++) f[u][i] = f[f[u][i - 1]][i - 1]; 10.11 AC 自 阅读全文
摘要：
分层图的题都很麻烦地要在 dijkstra 外面套个循环，其实可以不用。 以经典模板 [JLOI2011] 飞行路线 为例，给 DJ 的优先队列里面的点加一维状态 $k$，$f(u,k)$ 可以免费转移到 $f(v,k+1)$，也可以付费转移到 $f(v,k)$。 相当于 DJ 里面同时 $k$ 层 阅读全文
摘要：
野鸡物理。 平行板电容器板间电场强度 $E=\frac{q}{\varepsilon S}$，两板电势差 $U=\frac{Qd}{\varepsilon S}$，得 $Q=U\cdot \frac{\varepsilon S}{d}=\frac{S}{4\pi kd}$。 阅读全文
摘要：
在役生涯最后一次复习初赛了，有一点别样的滋味。。。 CSP-S 2021 第一轮 T10 交换相邻元素进行排序的最小操作次数是逆序对数量，因为每次必能找到一个相邻的逆序对，并且每次交换最多使逆序对数量 -1。 T12 $T(n)>2T(n-2), T(n)\approx 2^{n/2}=O(2^n) 阅读全文
摘要：
$2\times 10^6$ 个 map<int, int>, set<int>：92MB unordered_map<int, int>, unordered_set<int>: 291MB 和 deque 有关的所有容器（包括 stack，queue 和 deque）：1316MB vector 阅读全文
摘要：
Day 1 T1 高斯消元（应该是套路，但不会） 得分 41 出题风格很 PKU（指强厚的数学功底 Day 2 llmmkk T3 拿了 50 分，我不会判胡。 阅读全文
摘要：
Day -40 晚上FSYo莅临指导，发现还有一车算法没学 Day -39 开始写这个游记 发现今天是 Day -39 而不是 Day -40，因为 4 月 4 号是 Day 1 而不是 Day 0。 Day -4 话说，省选联考从从4月4号延期到4月17号了，上面的日期都得减掉 13. Day 1 阅读全文
摘要：
这玩意投洛谷日报能上吗？暂且咕咕 阅读全文
摘要：
默认构造函数会为类里面所有的内建类型执行零初始化（说人话就是把 int，long long，double 之类的东西都赋成 0），但怎么做才能激发默认构造函数呢？ 这个问题里面有很好的解释：Does the default constructor initialize built-in types? 阅读全文
摘要：
UOJ 上测了一下某“当前弧优化”的写法，虽然那题是准备给 ISAP 的模板，但是 \(O(n^2m)\) 肯定能过的点也没有跑过。这就令人好奇了。。 当前弧优化应当这么写（原因在注释里）： ll dfs(int u, ll flow) { if (u == T) return flow; ll r 阅读全文
摘要：
好几篇笔记揉在一起的东西 😕 最小割和 Primal-Dual 的部分是最近写的，其他部分是去年写的。 网络与流的概念 网络 \(G=(V,E)\) 是一张有向图，每条边 \((u,v)\in E\) 都有一个特殊的权值 \(c(u,v)\)，表示这条边的流量限制。且拥有一条虚拟的反边 \((u, 阅读全文
摘要：
先看看求某个数左边第一个大于它的数？设 \(R_i\) 表示 \(i\) 右边第一个大于它的数的位置减一。那么对于 \(i\)，实际上要求的就是满足 \([i,R_i]\subseteq [j,R_j],j<i\) 成立的最大的 \(j\)。画出图来长这个样子： 对于某个 \(i\) 来讲，左边所有 阅读全文