本文主要是对于一些算法的更为直观或感性的理解,持续更新。
Min-Max 容斥
容斥
何为容斥?容斥处理集合的交或并。自然,这可以是多个条件的与或或。
Min 与 Max 的分解
Min 和 Max 属于比较严格的限制了(严格到只有一个啊)。那么我们就分解他。
先看看 Min。Min 意味着这个数 $\le$ 所有的数。然而这样限制出来,得到的是所有 $\le$ Min 的数。不过这样形式倒是统一。
那么我们令 $f(x)$ 为 $\le x$ 的数的集合。为了方便,所有数都是正数,这样 $f^{-1}(V)=\left|V\right|$。
那么:
$$
\max(S)=\left|\bigcup_{x\in S} f(x)\right|=\sum_{T\subseteq S}\left((-1)^{\left|T\right|+1}
\left|\bigcap_{x\in T}f(x)\right|\right)=\sum_{T\subseteq S}(-1)^{\left|T\right|+1}\min(T)
$$
Min 同样。