本来是想做点多项式调节一下，结果发现这玩意太肝了，似乎并没有起到调节作用。 设 f ( S ) f(S) f(S)表示符号为 < < <的下标集合恰好为 S S S的方案数，因为两个序列完全等同，因此答案等于 ∑ S ⊆ { 1 , 2 , . . . , n − 1 } f ( S ) 2 \sum_{S\subseteq \{1,2,...,n-1\}}f(S)^2 S⊆{1,2,...