• 清华集训2016 组合数问题[NOIP2016组合数加强版]


    #275. 【清华集训2016】组合数问题

    统计

    组合数 $C_n^m$ 表示的是从 $n$ 个物品中选出 $m$ 个物品的方案数。举个例子,从 $(1,2,3)$ 三个物品中选择两个物品可以有 $(1,2),(1,3),(2,3)$ 这三种选择方法。根据组合数的定义,我们可以给出计算组合数 $C_n^m$ 的一般公式:

    $$C_n^m=frac{n!}{m!(n-m)!}$$

    其中 $n!=1 imes2 imescdots imes n$。(额外的,当 $n=0$ 时, $n!=1$)

    小葱想知道如果给定 $n,m$ 和 $k$,对于所有的 $0leq ileq n,0leq jleq min left ( i, m ight )$ 有多少对 $(i,j)$ 满足 $C_i^j$ 是 $k$ 的倍数。

    答案对 $10^9 + 7$ 取模。

    输入格式

    第一行有两个整数 $t,k$,其中 $t$ 代表该测试点总共有多少组测试数据。

    接下来 $t$ 行每行两个整数 $n,m$。

    输出格式

    $t$ 行,每行一个整数代表所有的 $0leq ileq n,0leq jleq min left ( i, m ight )$ 中有多少对 $(i,j)$ 满足 $C_i^j$ 是 $k$ 的倍数。

    样例一

    input

    1 2
    3 3
    
    

    output

    1
    
    

    explanation

    在所有可能的情况中,只有 $C_2^1=2$ 是 $2$ 的倍数。

    样例二

    input

    2 5
    4 5
    6 7
    
    

    output

    0
    7
    
    

    样例三

    input

    3 23
    23333333 23333333
    233333333 233333333
    2333333333 2333333333
    
    

    output

    851883128
    959557926
    680723120
    
    

    限制与约定

    对于 $20\%$ 的测试点,$1leq n,mleq 100$;

    对于另外 $15\%$ 的测试点,$nleq m$;

    对于另外 $15\%$ 的测试点, $k=2$;

    对于另外 $15\%$ 的测试点, $mleq 10$;

    对于 $100\%$ 的测试点, $1leq n,mleq 10^{18},1 leq t,kleq 100$,且 $k$ 是一个质数。

    时间限制:$1 exttt{s}$

    空间限制:$512 exttt{MB}$

    下载

    样例数据下载

    数据范围很大,并且涉及的是求值,没法用矩阵乘法考虑。考虑用数位DP来解决。
    发现(k)的限制是,(k)是一个质数,那么在大组合数模小质数的情况下可以考虑使用卢卡斯定理。
    卢卡斯定理写出来是(Lucas(n,m)=Lucas(n/K,m/K)*Lucas(n\%K,m\%K))

    LUCAS定理我们可以这样表示:

    (C_n^m equiv prod C_{a_i}^{b_i})

    (ai与bi为K进制拆分后的两个数的每一位数,若一个数的位数不足另一个数,则以前导零填充


    显然只要有任何一个(Lucas(n\%K,m\%K)=C_{n\%K}^{m\%K})(K)的倍数那么当前数就会是(K)的倍数。因为(K)是质数,并且组合数的上下都小于(K),因此这个值是(K)的倍数的时候,当且仅当(m\%K>n\%K)。那么整个式子我们理解为,把(n,m)按照(K)进制分解,当且仅当存在至少一位上有(m)的这一位大于(n)的这一位成立。分解为(K)进制之后最多(logn)大概是(60)位,可以大力考虑(dp)
    (f[i][0/1][0/1][0/1][0/1])表示当且考虑到了第(i)位,第一个数是否卡在上界(n),第二个数是否卡在上界(m),第二个数是否卡在上界第一个数,前面是否至少已经存在一位满足第二个数大于第一个数了。

    #include<stdio.h>
    #include<string.h>
    #include<iostream>
    using std::max;
    #define m(x,t) memset(x,t,sizeof x);
    const int N=70,mod=1e9+7;
    int T,K,cnta,cntb,a[N],b[N],f[N][2][2][2][2];long long n,m;
    int dfs(int cur,bool flg,bool fl,bool fa,bool fb){
        int &res=f[cur][flg][fl][fa][fb];
        if(~res) return res;
        if(!cur) return res=flg;
        res=0;
        int upa=fa?K-1:a[cur],upb=fb?K-1:b[cur];
        for(int i=0;i<=upa;i++)
            for(int j=0;(j<=i||fl)&&j<=upb;j++)
                res=(res+dfs(cur-1,flg||i<j,fl||i>j,fa||i<upa,fb||j<upb))%mod;
        return res;
    }
    int main(){
        for(scanf("%d%d",&T,&K);T--;){
            scanf("%lld%lld",&n,&m);
            m(f,-1);m(a,0);m(b,0);cnta=cntb=0;
            for(;n;a[++cnta]=n%K,n/=K);
            for(;m;b[++cntb]=m%K,m/=K);
            printf("%d
    ",dfs(max(cnta,cntb),0,0,0,0));
        }
        return 0;
    }
  • 相关阅读:
    [原]Linux ssh远程连接断开问题处理办法
    【网摘】CURL常用命令
    【树莓派】在树莓派中进行截图
    【树莓派】树莓派移动网络连接(配置4G网卡)
    【树莓派】基于TinyProxy搭建HTTP代理服务器
    【树莓派】制作树莓派所使用的img镜像(二)
    【树莓派】制作树莓派所使用的img镜像(一)
    macaca运行报错之chrome-driver问题处理,关闭 Chrome 的自动更新
    Git使用
    Longest Consecutive Sequence leetcode java
  • 原文地址:https://www.cnblogs.com/shenben/p/12261628.html
Copyright © 2020-2023  润新知