Chino with Equation/**求组合数(Lacus定理)*/

题目地址:https://ac.nowcoder.com/acm/contest/553/D
来源:牛客网

我先来介绍解决组合数使用的方法： 1.n,m比较小时：C(n,m)=C(n-1,m)+C(n-1,m-1); 2.n,m比较大时：C(n,m)%mod=C(n%mod,m%mod)*C(n/mod,m/mod)%mod;(卢卡斯定理,不做证明)

  接下来我们看题： 1.正整数解的个数我们可以抽象为： 有n个相同的球和m个相同的盒子，不允许盒子为空，那么有多少种放法？ 我们先把n个球放成一排，我们的目的是把它分成m份，此时我们采用隔板法，n个球之间有n-1个空, 我们需要放置m-1个隔板才能将它分成m份，此时的结果就是：C(n-1,m-1)

  2.非负整数解的个数我们可以抽象为： 有n个相同的球和m个相同的盒子，允许盒子为空，那么有多少种放法？ 我们此时不能保证每一个盒子都有一个球，所以此时就不能使用隔板法，但是我们如果从外面拿来m个 球，保证每个盒子至少有一个球，那么我们把n+m个球摆成一排，那么我们要分成m份就是在n+m-1个 空中放置m-1个隔板，等到我们放置完了以后，分别从没一个盒子拿出来一个球，那么我们就分配好了。 此时的九个就是：C(n+m-1,m-1)

//卢卡斯定理模板
#include <bits/stdc++.h>
using namespace std;

typedef long long LL;
const int mod=1e9+7;
const int Max_n=1e5+5;

LL mul(LL a,LL b){
    LL ans=0;
    LL res=a;
    while(b){
        if(b&1) ans=(ans+res)%mod;
        res=(res+res)%mod;
        b>>=1;
    }
    return ans;
}

LL q_pow(LL a,LL b){
    LL ans=1;
    LL res=a%mod;
    while(b){
        if(b&1) ans=mul(res,ans);
        res=mul(res,res);
        b>>=1;
    }
    return ans%mod;
}

LL comb(int a,int b){//组合数原始公式
    if(a<b) return 0;
    if(a==b) return 1;
    if(b>a-b) b=a-b;
    LL ca=1,cb=1;
    for(int i=0;i<b;i++){
        ca=ca*(a-i)%mod;//上
        cb=cb*(b-i)%mod;//下
    }
    LL ans=ca*q_pow(cb,mod-2)%mod;
    return ans;
}

LL Lacus(int n,int m){
    return m?comb(n%mod,m%mod)*Lacus(n/mod,m/mod)%mod:1;//m为0是组合数是1
}

int main(){
    ios::sync_with_stdio(false);
    int n,m;
    cin>>m>>n;
    cout<<Lacus(n-1,m-1)<<" "<<Lacus(n+m-1,m-1)<<endl;
    return 0;
}