[BZOJ2142]礼物(扩展Lucas)

2142: 礼物

Time Limit: 10 Sec  Memory Limit: 259 MB
Submit: 2286  Solved: 1009
[Submit][Status][Discuss]

Description

一年一度的圣诞节快要来到了。每年的圣诞节小E都会收到许多礼物，当然他也会送出许多礼物。不同的人物在小E

心目中的重要性不同，在小E心中分量越重的人，收到的礼物会越多。小E从商店中购买了n件礼物，打算送给m个人

，其中送给第i个人礼物数量为wi。请你帮忙计算出送礼物的方案数（两个方案被认为是不同的，当且仅当存在某

个人在这两种方案中收到的礼物不同）。由于方案数可能会很大，你只需要输出模P后的结果。

Input

输入的第一行包含一个正整数P，表示模；

第二行包含两个整整数n和m，分别表示小E从商店购买的礼物数和接受礼物的人数；

以下m行每行仅包含一个正整数wi，表示小E要送给第i个人的礼物数量。

Output

若不存在可行方案，则输出“Impossible”，否则输出一个整数，表示模P后的方案数。

Sample Input

100
4 2
1
2

Sample Output

12
【样例说明】
下面是对样例1的说明。
以“/”分割，“/”前后分别表示送给第一个人和第二个人的礼物编号。12种方案详情如下：
1/23 1/24 1/34
2/13 2/14 2/34
3/12 3/14 3/24
4/12 4/13 4/23
【数据规模和约定】
设P=p1^c1 * p2^c2 * p3^c3 * … *pt ^ ct，pi为质数。
对于100%的数据，1≤n≤109，1≤m≤5，1≤pi^ci≤10^5。

HINT

 

Source

 

[Submit][Status][Discuss]

数论大集合。

https://blog.csdn.net/clove_unique/article/details/54571216

答案显然$C_n^{n - w[1]}C_{n - w[1]}^{w[2]}C_{n - w[1] - w[2]}^{w[3]}......$，模数不互质成为难点。

扩展Lucas：将模数质因数分解，再用CRT合并。

问题就只剩下求$n!\%p_i^{k_i}$了。

首先由于不互质无法找到逆元，把$n!$中的$p_i$全部取出来：$ans=\lfloor\frac{n}{p}\rfloor+\lfloor\frac{n}{p^2} \rfloor+\lfloor\frac{n}{p^3}\rfloor+...$

然后考虑剩下部分怎么做，用$F(n,p_i,p_i^{k_i})$表示答案，$f(n,p_i,p_i^{k_i})$表示$\prod_{j=1,j\perp p_i}^{n}j(mod\ p_i^{k_i})$，则：

$F(n,p_i,p_i^{k_i})=\lfloor\frac{n}{p_i}\rfloor!\times p_i^{\lfloor\frac{n}{p_i}\rfloor}\times f(p_i^{k_i},p_i,p_i^{k_i})^{\lfloor\frac{n}{p_i^{k_i}}\rfloor}\times f(n\%p_i^{k_i})\%p_i^{k_i}$

递归处理即可，要用到exgcd。

复杂度好像是，$O(\sqrt{P}+m\log_{2}^{2}p_i^{k_i}\log{p_i})$不过肯定跑不满。

 #include<cstdio>
 #include<algorithm>
 #define rep(i,l,r) for (int i=l; i<=r; i++)
 typedef long long ll;
 using namespace std;

 const int N=;
 ll mod,n,m,w[],ans,x,y,Mod[N],st[N],r[N],num;

 ll ksm(ll a,ll b,ll p){
     ll res;
     for (res=; b; a=a*a%p,b>>=)
         if (b&) res=res*a%p;
     return res;
 }

 ll exgcd(ll a,ll b,ll &x,ll &y){
     ll d=a;
     if (b) d=exgcd(b,a%b,y,x),y-=a/b*x; else x=,y=;
     return d;
 }

 ll inv(ll t,ll p){ ll x,y; exgcd(t,p,x,y); return (x+p)%p; }

 ll F(ll n,ll pi,ll pk){
     if (!n) return ;
     ll ans=;
     rep(i,,pk) if (i%pi) ans=ans*i%pk;
     ans=ksm(ans,n/pk,pk);
     rep(i,,n%pk) if (i%pi) ans=ans*i%pk;
     return ans*F(n/pi,pi,pk)%pk;
 }

 ll exlucas(ll n,ll m,ll pi,ll pk){
     if (m>n) return ;
     ll a=F(n,pi,pk),b=F(m,pi,pk),c=F(n-m,pi,pk);
     ll k=;
     for (ll i=n; i; i/=pi) k+=i/pi;
     for (ll i=m; i; i/=pi) k-=i/pi;
     for (ll i=n-m; i; i/=pi) k-=i/pi;
     return a*inv(b,pk)%pk*inv(c,pk)%pk*ksm(pi,k,pk)%pk;
 }

 ll CRT(ll n,ll r[],ll m[]){
     ll M=,res=,w;
     rep(i,,n) M*=m[i];
     rep(i,,n) w=M/m[i],res=(res+w*inv(w,m[i])*r[i])%M;
     return (res+M)%M;
 }

 ll par(ll n,ll m[],ll st[]){
     ll num=;
     for (ll i=; i*i<=n; i++) if (n%i==){
         ll pk=;
         while (n%i==) pk*=i,n/=i;
         m[++num]=pk; st[num]=i;
     }
     if (n>) m[++num]=n,st[num]=n;
     return num;
 }

 ll excomb(ll n,ll m){
     rep(i,,num) r[i]=exlucas(n,m,st[i],Mod[i]);
     return CRT(num,r,Mod);
 }

 int main(){
     freopen("bzoj2142.in","r",stdin);
     freopen("bzoj2142.out","w",stdout);
     scanf("%lld\n",&mod); scanf("%lld%lld",&n,&m);
     ll sum=; rep(i,,m) scanf("%lld",&w[i]),sum+=w[i];
     if (n<sum){ puts("Impossible"); return ; }
     num=par(mod,Mod,st); ans=;
     rep(i,,m) n-=w[i-],ans=ans*excomb(n,w[i])%mod;
     printf("%lld\n",ans);
     return ;
 }