包除

a1,a2,..aNのうち,K個以上を満たす物の数は,

{ \displaystyle
\sum_{i=K}^{N} (i個固定) * C(i-1,K-1) * (2|(i-K) ? 1:-1)
}


一々計算するのが面倒なので(ちなみに,K=0の時はC(-1,-1)=1だけ生き残る)

ちょうどK個は,まあ差をとればいいや.