005D

经典题。 考虑 dp，然后发现你根本 d 不动。 冷静思考，发现原因在于，无法在较小的复杂度内确定选数的状态。 遇到这种情况可以考虑容斥。设 $f(i)$ 表示强制选 $i$ 个位置满足 $|p_j-j|=k$。 显然 $\text{ans}=\sum\limits_{i=0}^n(-1)^if(i ......