题目描述

对于Febonacci数列，求第n项和第m项的最大公约数是多少？(n,m<=1e9>)。对于最后的结果只要输出最后的8位数字就可以了。

思路

首先注意到的是数据量巨大(1e9)，数组开不下；即使使用Febonacci递推公式也会超时。不过好在Febonacci数列是有通项公式的。因为，解特征方程得到解，再代入，就可以解的最终的通项公式是。

求两个数的最大公约数可以用 辗转相除法

typedef long long LL;
LL gcd(LL a, LL b) {
    return (b ? gcd(b, a % b) : a); 
}

不过这里的数字会非常巨大，并且也不是一个整数，用快速幂的时候对double做%运算似乎会报错……

题解

正解用到了 矩阵加速 和 一个Febonacci的结论。 矩阵加速并不是必须的，但是能减少不少计算量。先看看矩阵加速的巧妙之处：

矩阵加速

如果已知：，那么要求，只需要乘一个矩阵：

其实这里已经能看出用矩阵的方式表达Febonacci数列的递推关系。如果初始化矩阵为 ，那么通项公式为：

这样做就能使用 矩阵快速幂 减小复杂度到 O(logn) 算得 F[n]。

再看一下这道题的 关键之处

一个Febonacci的结论

先看结论：

这个结论似乎很好记，但是不是很直接，Febonacci数列的第n项和第m项的最大公约数居然正好等于第项的值？

详细的推导过程是这样的：

1. 如果
2. 那么, , ... ,
3. 所以有
4. 这样，,
5. 其中是的倍数，因此上式转为
6. 可以通过递推证明:
7. 因此，即

这样求解的目标就化简为求第项了。

代码

#include <cstring>
#include <iostream>
#define MOD 100000000

using namespace std;
typedef long long LL;

LL gcd(LL a, LL b) {
    return (b ? gcd(b, a%b) : a);
}

struct Mat {
    LL mat[2][2];
    int h, w;
    Mat(int _h=2, int _w=2) {
        h = _h, w = _w;
        memset(mat, 0, sizeof(mat));
    }
};

Mat Multiply(const Mat &a, const Mat &b) {
    Mat ret(a.h, b.w);
    for (int i = 0; i < a.h; ++i)
    for (int j = 0; j < b.w; ++j)
    for (int k = 0; k < a.w; ++k) {
        LL tmp = a.mat[i][k] * b.mat[k][j] % MOD;
        ret.mat[i][j] = (ret.mat[i][j] + tmp) % MOD;
    }
    return ret;
}

int main() {
    LL n, m;
    cin >> n >> m;
    LL gcd_nm = gcd(n, m);
    if (gcd_nm <= 2) cout << 1 << endl;
    else {
        Mat raw(2, 1);
        raw.mat[0][0] = raw.mat[1][0] = 1;
        Mat f(2, 2);
        f.mat[0][0] = f.mat[0][1] = f.mat[1][0] = 1;
        gcd_nm -= 2;
        while (gcd_nm) {
            if (gcd_nm & 1)
                raw = Multiply(f, raw);
            f = Multiply(f, f);
            gcd_nm >>= 1;
        }
        cout << raw.mat[0][0] << endl;
    }
    return 0;
}