jzoj5520

题意

求满足:(sumlimits_{i=1}^m a_ile S)(forall i,a_i>0)(a_ile T(ile n))
(nle mle 10^9,Tle 10^5,n imes Tle Sle 10^{18},m−nle 1000)

做法一

考虑容斥:(sumlimits_{i=0}^n (-1)^i {nchoose i}{S-iTchoose m})

等价于([x^m]((1+x)^T-1)^n(1+x)^{S-nT})

证明:
考虑组合意义
(S)个位置,每个位置染黑白两色,这些位置分成(n+1)块,前(n)块每块有(T)个位置,最后一块有(S-nT)个位置。恰好m个位置为黑色,前面(n)块每块至少有一个位置被染黑

然后((1+x)^T-1)的常数项为(0),所以(((1+x)^T-1)^n)([0,n))次项均为0,所以答案等价于([x^{n-m}]frac{((1+x)^T-1)^n(1+x)^{S-nT}}{x^n})
除掉(x^n),可以看作在进行(((1+x)^T-1))(n)次方前整体往前移一位,所以在快速幂的时候要保留([0,n-m+1])

原文地址:https://www.cnblogs.com/Grice/p/12878593.html