摘要： 题目链接： "gfoj" 神仙计数题。 可以转化为求$p_1,p_2,\ldots,p_{2^n}$，使得$b_i=\min\limits_{j=2^i+1}^{2^{i+1}}p_j$都不属于$a_i$。 日常容斥。设$f(S)$表示$i\in S\Rightarrow b_i\in A$的答案， 阅读全文