zoukankan      html  css  js  c++  java
  • 洛谷P1306 斐波那契公约数

    题目描述

    对于Fibonacci数列:1,1,2,3,5,8,13......大家应该很熟悉吧~~~但是现在有一个很“简单”问题:第n项和第m项的最大公约数是多少?

    输入输出格式

    输入格式:

    两个正整数n和m。(n,m<=10^9)

    注意:数据很大

    输出格式:

    Fn和Fm的最大公约数。

    由于看了大数字就头晕,所以只要输出最后的8位数字就可以了。

    输入输出样例

    输入样例#1:
    4 7
    输出样例#1:
    1

    说明

    用递归&递推会超时

    用通项公式也会超时

    题解:

    这道题自己实在想不出来,看的题解,看到了那个可爱的性质gcd(f[n],f[m])=f[gcd(n,m)]    (f数组表示斐波那契数列)

    超级可爱有木有!

    于是我就想它是怎么证出来的

    参考网上各方题解加上自己的总结理解 证明过程如下:

    先可证引理一:gcd(f[n],f[n+1])=1

    由辗转相除 gcd(f[n],f[n+1]) = gcd(f[n],f[n+1]-f[n]) = gcd(f[n],f[n-1]) = gcd(f[n-1],f[n-2]) = …= gcd(f[2],f[1]) = 1

    引理二:f[m+n]=f[m] * f[n-1] + f[m-1] * f[n]

    可直接根据斐波那契数列性质(f[n]=f[n-1]+f[n-2])推

    f[m+n]=f[m+n-1] + f[m+n-2]

              =f[m+n-2] + f[m+n-3] + f[m+n-2] = f[m+n-2] * 2 + f[m+n-3]

              =f[m+n-3] * (2+1) + f[m+n-4] * 2 = f[m+n-3] * 3 + f[m+n-4] * 2

              =f[m+n-4] * (3+2) + f[m+n-5] * 3 = f[m+n-4] * 5 + f[m+n-5] * 3

              =f[m+n-5] * 8 + f[m+n-6] * 5    (发现规律了吗?)

              =f[m+n-5] * f[6] + f[m+n-6] * f[5]

              =f[m+n-x] * f[x+1] + f[m+n-x-1] * f[x]

              =f[m] * f[n+1] + f[m-1] * f[n]     (上一行的式子将n代入x)

    引理三:gcd(f[n+m],f[m])=gcd(f[m],f[n])

    gcd(f[n+m],f[m]) = gcd(f[m] * f[n+1] + f[m-1] * f[n],f[n]) (由引理二)

                              = gcd(f[n],f[m] * f[n+1])    (由辗转相除)

                              = gcd(f[m],f[n])     (由引理一,gcd(f[n],f[n+1])=1)

    接下来,自认为很重要的最后一步

    (各路大神写的题解这块儿都太简略了,我都看不明白怎么弄出来的……感谢小伙伴帮忙,我才弄懂了这一步)

    gcd(f[n],f[m]) = gcd(f[n-m],f[m]) = gcd(f[n%m],f[m])

    此时我们发现f[]下标的变化与辗转相除的变化是一样的对不对

    那么 原式就会如辗转相除一样变为gcd(f[gcd(n,m)],f[0])=gcd(f[gcd(n,m)],0)=f[gcd(n,m)]

    感觉真是太神奇了!!

    这条可爱的性质推出后,剩下的就很easy了

    辗转相除法求gcd + 矩阵快速幂求斐波那契数列第x项

    代码:

     1 #include<cstdio>
     2 #include<iostream>
     3 #include<algorithm>
     4 #include<string.h>
     5 #define P 100000000
     6 using namespace std;
     7 
     8 typedef long long ll;
     9 struct matrix{
    10     int a[2][2];
    11     void clear(){
    12         for(int i=0;i<2;i++)
    13             for(int j=0;j<2;j++) 
    14                 if(i==j) a[i][j]=1;
    15                 else a[i][j]=0;    
    16     }
    17     void clear_all(){
    18         for(int i=0;i<2;i++)   
    19             for(int j=0;j<2;j++) a[i][j]=0;  
    20     }
    21     matrix operator * (const matrix &b) const{
    22         matrix c;
    23         for(int i=0;i<2;i++)
    24             for(int j=0;j<2;j++){
    25                 c.a[i][j]=0;
    26                 for(int k=0;k<2;k++)
    27                     c.a[i][j]=(c.a[i][j]+((ll)a[i][k]*b.a[k][j])%P)%P;
    28             }
    29         return c;
    30     }
    31 };
    32 
    33 matrix Power_Mod(matrix b,int x){
    34     matrix c;
    35     c.clear();
    36     while(x){
    37         if(x&1) c=c*b;
    38         b=b*b;
    39         x>>=1;         
    40     }
    41     return c;
    42 }
    43 int gcd(int x,int y){
    44     if(y==0) return x;
    45     return gcd(y,x%y);    
    46 }
    47 
    48 int main()
    49 {
    50     int n,m,w,i,j;
    51     scanf("%d%d",&n,&m);
    52     w=gcd(n,m);
    53     
    54     matrix c,b;
    55     b.clear_all();
    56     b.a[1][0]=b.a[0][1]=b.a[1][1]=1;
    57     c.clear_all();
    58     c.a[0][1]=c.a[0][0]=1;
    59     b=Power_Mod(b,w-1);
    60     c=c*b;
    61     
    62     printf("%d
    ",c.a[0][0]);
    63     
    64     return 0;
    65 }
    View Code
    既然选择了远方,便只顾风雨兼程
  • 相关阅读:
    webpack + vue 向本地后端发送http请求跨域问题
    用FileReader对象从本地读取文件
    oninput与onchange比较
    height: 100% 无效问题
    关于html布局
    圣诞节给自己的犒劳
    django学习之——模版
    django学习之——我的 Hello World
    django学习之——创建项目
    python and pycharm and django 环境配置
  • 原文地址:https://www.cnblogs.com/lindalee/p/7706225.html
Copyright © 2011-2022 走看看