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)\)
