摘要： Dilworth 定理 任意有限偏序集的最长反链大小等于其最小链覆盖中链的数量。这里将偏序集建图其一定是 DAG。 其中链可交于点/边。 最长反链并不是一条链，是一个互相不可达的集合。 证明，对图的大小用归纳法证明。 设最长反链为 \(P\)，其所有可达的点（不包括 \(P\)）为 \(D(P)\) 阅读全文

摘要： 未补的题不写具体解法，只写大致思想，并加粗。 从这里出来的题。 2026.6.20 P6846 子集反演，想到计数时枚举 0 出度点就做完了，后面计算容斥系数有点强。 2026.6.20 P7483 比较牛的计数，正难则反，记录未通过的题，然后将每个数赋的次幂写下来，分 \(0\) 和 \(> 0\ 阅读全文