摘要：
前置引理 首先设 \(\Complex[[x]]=\{ \sum\limits_{i\ge 0}a_ix^i|a_i\in \Complex \},\Complex((x))=\{\sum\limits_{i\ge -N}a_ix^i|N\in Z,a_i\in \Complex\}\) 有以下引理 阅读全文
摘要：
min-max 容斥 \[ \max(S)=\sum\limits_{T\subseteq S}(-1)^{|T|-1}\min(T)\\ \min(S)=\sum\limits_{T\subseteq S}(-1)^{|T|-1}\max(T) \] 下面简述一下证明，这里只证明第一个式子，下一个 阅读全文