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

__EOF__

本文作者：F x o r G
本文链接：https://www.cnblogs.com/xugangfan/p/17169622.html
关于博主：评论和私信会在第一时间回复。或者直接私信我。
版权声明：本博客所有文章除特别声明外，均采用 BY-NC-SA 许可协议。转载请注明出处！
声援博主：如果您觉得文章对您有帮助，可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力！