dilworth 构造性证明
https://r-64.blog.uoj.ac/blog/623
好厉害!
黑点的数目=\(|A|+(满足 x(i)\in I 或 y(i)\in I 的 i 的数目)\),即对于独立集中的点,显然要么是某个点的 \(x\),要么是某个点的 \(y\),则 \(|A|\) 已经计算了 1 次两个都有的,后者再计算 \(\ge 1\) 的,最后显然就得到答案。
即 \(a+b=(a\&b)+(a|b)\)
https://r-64.blog.uoj.ac/blog/623
好厉害!
黑点的数目=\(|A|+(满足 x(i)\in I 或 y(i)\in I 的 i 的数目)\),即对于独立集中的点,显然要么是某个点的 \(x\),要么是某个点的 \(y\),则 \(|A|\) 已经计算了 1 次两个都有的,后者再计算 \(\ge 1\) 的,最后显然就得到答案。
即 \(a+b=(a\&b)+(a|b)\)