【学习笔记】Dilworth 定理的构造性证明
摘要：发现自己并不会 Dilworth 定理的构造性证明（原题要求输出方案），于是去 Wiki 上学习了一下。下文是我参照 Wiki 上的证明思路口胡的一个证明。 附例题：Codeforces 590E Dilworth 定理: DAG 的最长反链大小等于最小链覆盖大小。 反链是指从图中的一个点的集合，使
阅读全文
Codeforces 1375H Set Merging (分块)
摘要：题目链接 https://codeforces.com/contest/1375/problem/H 题解 首先注意到 $2.2\times 10^6\approx 2n\sqrt q$，因此想到分块。 考虑对值域进行分块，每块内值域连续，位置保持相对不变，大小为 \(B\)，分成 \(\frac{
阅读全文
