摘要：目录偏序和等价关系Dilworth 定理定理 1定理 2（Dilworth 定理） 偏序和等价关系 关系：设 \(X\) 是一个集合，\(X\) 上的关系是 \(X\) 的元素的有序对集合 \(X\times X\) 的子集 \(R\)。我们把属于 \(R\) 的有序对 \((a,b)\) 写作 \ 阅读全文

摘要：这个东西一般用来求 DAG 中从初始点集合 \(S\) 到终止点集合 \(T\) 的有符号不相交路径方案数（不相交指的是点不会同时出现在两个路径中），\(n=|S|=|T|\)。 设 \(P(w)\) 表示路径 \(w\) 上的边权的乘积，\(e(s,t)\) 表示 \(\sum_{w:s\to t 阅读全文

摘要：目录日志容斥原理容斥原理求交集大小P1450 [HAOI2008] 硬币购物P3813 [FJOI2017] 矩阵填数求最大公约数为 k 的数对个数集合反演P3349 [ZJOI2016] 小星星P4336 [SHOI2016] 黑暗前的幻想乡二项式反演P4859 已经没有什么好害怕的了P4491 阅读全文