zoukankan      html  css  js  c++  java
  • 2020杭电HDU-6755多校第一场Fibonacci Sum(斐波那契+二次剩余+玩命优化)

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=6755

    Problem Description

    The Fibonacci numbers are defined as below:
    在这里插入图片描述
    在这里插入图片描述
    Given three integers N, C and K, calculate the following summation:

    Since the answer can be huge, output it modulo 1000000009 (10^9+9).

    Input
    The first line contains an integer T (1≤T≤200), denoting the number of test cases. Each test case contains three space separated integers in the order: N, C, K (1≤N,C≤1018,1≤K≤105).

    Output
    For each test case, output a single line containing the answer.

    Sample Input
    2
    5 1 1
    2 1 2

    Sample Output
    12
    2

    update 2020/7/23:emmm,昨天的博客园太炸了,今天想到了使用博客园的Markdown编辑器来编写,应该就不会出太多的锅了,所以就将昨天的炸了的那篇给删了
    emmm,比赛的时候随便都能水过去。。。赛后就疯狂T了。。。所以就要拼命优化代码了

    update 2020/7/22:博客园公式全部炸了,可能一篇白板了。。。。如果是加载不出来的话请到我的CSDN博客享用:

    好吧,如果没有逛过我博客园的话我就放一下我的链接吧,目前只补了几个题QAQ
    https://www.cnblogs.com/lonely-wind-/

    首先我们讲讲它的做法吧。很显然,nc过于庞大,即使采用矩阵快速幂也是惘然的,那么我们只有在它的通项公式上做些手脚了,对于一个斐波那契数列,它的通项公式为(博客园公式编辑感觉炸了。。。怎么写都展示不了。。。只能放个图片了QAQ)

    (F(n)=frac{1}{sqrt{5}} [(frac{1+sqrt{5}}{2})^{n} - (frac{1-sqrt{5}}{2})^{n}])

    虽然公式中含有根号,但是我们知道(F(n))是一个整数,而且5是模1e9+9的二次剩余,那么就可以通过逆元和二次剩余的转化来做比如根号5(公式又炸了这里改成文字了。。。)就可以用(x^2equiv 5(mod1e9+9))中的(x)来代替。

    以下为了方便我们将令

    (a=frac{1+sqrt{5}}{2}) (b=a=frac{1-sqrt{5}}{2}) (p=sqrt{5})

    那么式子就可以简化为(f_n=frac{1}{p}(a^n-b^n) ightarrow f_{nc}^k=(frac{1}{p})^k(a^{nc}-b^{nc})^k)

    那么将((a^{nc}-b^{nc})^k)二项式展开就会得到:

    (C_k^0(a^{nc})^k+C_k^1(a^{nc})^{k-1}(-b)^{nc}+cdots C_k^r(a^{nc})^{k-r}((-b)^{nc})^r+cdots)

    (C_k^0(a^k)^{nc}+(-1)^1C_k^1(a^{k-1})^{nc}b^{nc}+cdots (-1)^rC_k^r(a^{k-r})^{nc}(b^{r})^{nc}+cdots)

    那么他们的合式则有:

    (sum_{i=1}^{n}sum_{r=0}^{k}(-1)^rC_k^{r}(a^{k-r})^{ic}(b^r)^{ic} ightarrow sum_{r=0}^{k}sum_{i=1}^{n}(-1)^rC_k^{r}(a^{k-r})^{ic}(b^r)^{ic})

    那么继续变化则有

    (sum_{r=0}^{k}(-1)^rC_k^{r}sum_{i=1}^{n}(a^{k-r})^{ic}(b^r)^{ic} ightarrow sum_{r=0}^{k}(-1)^rC_k^{r}sum_{i=1}^{n}((a^{k-r})^{c}(b^r)^{c})^i)

    我们令(t=(a^{k-r})(b^r))

    那么式子可简化为(sum_{r=0}^{k}(-1)^rC_k^{r}sum_{i=1}^{n}(t^c)^i)里面是个等比数列求和,其公比为(t^c)

    那么于是此题便结束了。。。。(真的吗)

    这里给出一个看似已经OK的代码:

    #include <bits/stdc++.h>
    using namespace std;
    
    typedef long long ll;
    const int mac=1e5+10;
    const ll mod=1000000009;
    const ll ad=691504013;
    const ll de=308495997;
    
    ll fac[mac],A[mac],B[mac];
    
    ll qpow(ll a,ll b)
    {
        ll ans=1;
        a%=mod;
        while (b){
            if (b&1) ans=ans*a%mod;
            a=a*a%mod;
            b>>=1;
        }
        return ans;
    }
    
    ll solve(ll n,ll c,ll k)
    {
        ll ans=0;
        for (int r=0; r<=k; r++){
            ll t=A[k-r]*B[r]%mod;
            ll fz=fac[k];
            ll fm=fac[k-r]*fac[r]%mod;
            ll C=fz*qpow(fm,mod-2)%mod;
            t=qpow(t,c);
            ll tmp=t*(qpow(t,n)-1)%mod*qpow(t-1,mod-2)%mod;
            if (t==1) tmp=n%mod;
            tmp=tmp*C%mod;
            if (r&1) ans-=tmp;
            else ans+=tmp;
            ans=(ans+mod)%mod;
        }
        ll inv=qpow(383008016,mod-2);
        ans=ans*qpow(inv,k)%mod;
        return ans%mod;
    }
    
    void init()
    {
        fac[0]=1;
        for (int i=1; i<mac; i++)
            fac[i]=fac[i-1]*i%mod;
        A[0]=B[0]=1;
        for (int i=1; i<mac; i++){
            A[i]=A[i-1]*ad%mod;
            B[i]=B[i-1]*de%mod;
        }
    }
    
    int main(int argc, char const *argv[])
    {
        int t;
        ll n,c,k;
        init();
        scanf ("%d",&t);
        while (t--){
            scanf ("%lld%lld%lld",&n,&c,&k);
            printf("%lld
    ",solve(n,c,k));
        }
        return 0;
    }
    

    这个就会T了。。。。T飞了。。。

    现在我们要考虑优化了,我们考虑优化掉几个快速幂,对于组合数,我们可以考虑用预处理分母中每个阶乘的逆元来代替在循环中的快速幂,即:

    fac[0]=1;
    for (int i=1; i<mac; i++)
        fac[i]=(ll)fac[i-1]*i%mod;
    fac_inv[1]=1,fac_inv[0]=1;
    for (int i=2; i<mac-5; i++) fac_inv[i]=qpow(fac[i],mod-2);
    

    那么对于组合数(C_k^r)的计算就可以直接一句话带走了:

    int C=(ll)fac[k]*fac_inv[k-r]%mod*fac_inv[r]%mod;
    

    OK,已经优化掉一个快速幂了,我们尝试着交一发(当然里面的long long全部都改成了int,必要的时候强转long long)。。。还是T了。

    我们继续优化快速幂,我们看(t=t^c)这个东西,实际上他是可以推过来的。我们观察一下前两个t:

    (t_0^c=(a^k)^c,t_1^c=(a^{k-1}b)^c)

    也就是说(t)的变化是每次乘以b再除以a再c次方,即(t_i^c=t_{i-1}^c imes (b imes inv(a))^c),那么每个公比(t^c)的计算就可以变成:

    int q=(ll)A[k]*B[0]%mod;
    q=qpow(q,c);//公比
    int tui=qpow((ll)de*qpow(ad,mod-2)%mod,c);//公比每次要乘的数,(b/a)^c
    for (r,0,k) {
        int tmp=(ll)q*(qpow(q,n)-1+mod)%mod*qpow(q-1,mod-2)%mod;
        q=(ll)q*tui%mod;
    }
    

    于是我们再次优化掉一个快速幂_

    交一发。。。。还是T的。。。(实际上我们做个欧拉降幂的话优化到这里就可以过了,只不过要跑1800ms+)

    然后我们考虑,既然我们将公比(t^c)优化掉了,那么((t^c)^n)应该可以优化掉的。

    于是,这里就没了。为了方便令(s=(t^c)^n),那么刚开始的时候,(s=q^n),然后怎么递推呢,实际上就是每次乘上(tui^n)就行了。最终就变成了如下版本:

    int q=(ll)A[k]*B[0]%mod;
    q=qpow(q,c);//公比
    int tui=qpow((ll)de*qpow(ad,mod-2)%mod,c);//公比每次要乘的数,(b/a)^c
    int fz=qpow(q,n);//递推t^c((t^c)^n)
    int tui_fz=qpow(tui,n);
    for (r,0,k) {
        int C=(ll)fac[k]*fac_inv[k-r]%mod*fac_inv[r]%mod;
        int tmp=(ll)q*(fz-1+mod)%mod*qpow(q-1,mod-2)%mod;
        q=(ll)q*tui%mod;
        fz=(ll)fz*tui_fz%mod;
    }
    

    再交一发。。。。emmm,A了,800ms+

    以下是AC代码:

    #include <cstdio>
    
    typedef long long ll;
    const int mac=1e5+10;
    const int mod=1000000009;
    const int ad=691504013;
    const int de=308495997;
    
    int fac[mac],A[mac],B[mac],inv;
    int fac_inv[mac];
    
    inline int qpow(int a,ll b)
    {
        int ans=1;
        a%=mod;
        while (b){
            if (b&1) ans=(ll)ans*a%mod;
            a=(ll)a*a%mod;
            b>>=1;
        }
        return ans;
    }
    
    inline int solve(ll n,ll c,int k)
    {
        int ans=0;
        int q=(ll)A[k]*B[0]%mod;
        q=qpow(q,c);//公比
        int tui=qpow((ll)de*qpow(ad,mod-2)%mod,c);//公比每次要乘的数,(b/a)^c
        int fz=qpow(q,n);//递推t^c((t^c)^n)
        int tui_fz=qpow(tui,n);
        for (int r=0; r<=k; r++){
            int C=(ll)fac[k]*fac_inv[k-r]%mod*fac_inv[r]%mod;
            int tmp=(ll)q*(fz-1+mod)%mod*qpow(q-1,mod-2)%mod;
            if (q==1) tmp=n%mod;
            tmp=(ll)tmp*C%mod;
            if (r&1) ans-=tmp;
            else ans+=tmp;
            if (ans<0) ans=(ans+mod)%mod;
            else ans%=mod;
            q=(ll)q*tui%mod;
            fz=(ll)fz*tui_fz%mod;
        }
        ans=(ll)ans*qpow(inv,k)%mod;
        return ans%mod;
    }
    
    inline void init()
    {
        inv=qpow(383008016,mod-2);
        fac[0]=1;
        for (int i=1; i<mac; i++)
            fac[i]=(ll)fac[i-1]*i%mod;
        A[0]=B[0]=1;
        for (int i=1; i<mac; i++){
            A[i]=(ll)A[i-1]*ad%mod;
            B[i]=(ll)B[i-1]*de%mod;
        }
        fac_inv[1]=1,fac_inv[0]=1;
        for (int i=2; i<mac-5; i++) fac_inv[i]=qpow(fac[i],mod-2);
    }
    
    int main(int argc, char const *argv[])
    {
        int t,k;
        ll n,c;
        init();
        scanf ("%d",&t);
        while (t--){
            scanf ("%lld%lld%d",&n,&c,&k);
            printf("%d
    ",solve(n,c,k));
        }
        return 0;
    }
     
    
    路漫漫兮
  • 相关阅读:
    【转-整理】win764bit plsql 登录oracle11g ora-12154 问题汇总
    【转-整理】log4j 简单解释,配置
    sparsity and density
    转:Recsys2013论文导读
    学院研究生论坛-如何做研究
    推荐系统开源软件列表
    linux下如何用GDB调试c++程序
    全国大学生数据挖掘邀请赛中的NDCG
    网络科学自学资料
    科普文:从人人网看网络科学(Network Science)的X个经典问题
  • 原文地址:https://www.cnblogs.com/lonely-wind-/p/13364393.html
Copyright © 2011-2022 走看看