Luogu 3704 [SDOI2017]数字表格

列一下式子：

　　　　　　$\prod_{i = 1}^{n}\prod_{j = 1}^{m}fib_{gcd(i, j)}$

很套路的变成这样：

　　　　　　$\prod_{d = 1}^{min(n, m)}fib_{d}^{\sum_{i = 1}^{\left \lfloor \frac{n}{d} \right \rfloor}\sum_{j = 1}^{\left \lfloor \frac{m}{d} \right \rfloor}[gcd(i, j) == 1]}$

右上角的那个东西：

　　　　　　$\sum_{i = 1}^{\left \lfloor \frac{n}{d} \right \rfloor}\sum_{j = 1}^{\left \lfloor \frac{m}{d} \right \rfloor}[gcd(i, j) == 1]$

太熟悉了。

　　　　　　$\sum_{d = 1}^{min(n, m)}\sum_{t = 1}^{min(\left \lfloor \frac{n}{d} \right \rfloor,\left \lfloor \frac{m}{d} \right \rfloor)}\mu (t) * \left \lfloor \frac{n}{td} \right \rfloor * \left \lfloor \frac{m}{td} \right \rfloor$

代回去之后按照套路枚举$T = dt$：

　　　　　　$\prod_{T = 1}^{min(n, m)}\sum_{d | T}fib^{\left \lfloor \frac{n}{T} \right \rfloor\left \lfloor \frac{m}{T} \right \rfloor \mu (\frac{T}{d})}_{d}$

这样子的话我们记$h(i) = \sum_{d | T}fib^{\mu (\frac{T}{d})}_{d}$

原式就变为：

　　　　　　$\prod_{T = 1}^{min(n, m)}h(T)^{\left \lfloor \frac{n}{T} \right \rfloor\left \lfloor \frac{m}{T} \right \rfloor}$。

发现外面已经可以整除分块了。

然而这个$h(i)$怎么办，这玩意...不能线性筛的呀。

喂喂，不能线性筛就暴力算吧，暴力...似乎并不慢啊，其实是一个$O(nlogn)$。

注意到$\mu (i) == -1$的时候其实是乘上一个逆元。

时间复杂度$O(MaxNlogMaxN + T \sqrt{n} )$。

复杂度写的并不严格。

Code：

#include <cstdio>
#include <cstring>
using namespace std;
typedef long long ll;

const int N = 1e6 + ;
const ll P = 1e9 + ;

int testCase, pCnt = , pri[N];
ll mu[N], fib[N], h[N];
bool np[N];

template <typename T>
inline void read(T &X) {
    X = ; char ch = ; T op = ;
    for(; ch > '' || ch < ''; ch = getchar())
        if(ch == '-') op = -;
    for(; ch >= '' && ch <= ''; ch = getchar())
        X = (X << ) + (X << ) + ch - ;
    X *= op;
}

inline ll pow(ll x, ll y) {
    ll res = 1LL;
    for(; y > ; y >>= ) {
        if(y & ) res = res * x % P;
        x = x * x % P;
    }
    return res;
}

ll inv(ll x) {
    return pow(x, P - );
}

void sieve() {
    fib[] = 1LL;
    for(int i = ; i < N; i++)
        fib[i] = (fib[i - ] + fib[i - ]) % P;

/*    for(int i = 1; i <= 20; i++)
        printf("%lld ", fib[i]);
    printf("\n");   */

    mu[] = ;
    for(int i = ; i < N; i++) {
        if(!np[i]) pri[++pCnt] = i, mu[i] = -;
        for(int j = ; j <= pCnt && i * pri[j] < N; j++) {
            np[i * pri[j]] = ;
            if(i % pri[j] == ) {
                mu[i *  pri[j]] = ;
                break;
            }
            mu[i * pri[j]] = -mu[i];
        }
    }

/*    for(int i = 1; i <= 20; i++)
        printf("%d ", mu[i]);
    printf("\n");   */

    for(int i = ; i < N; i++) h[i] = 1LL;
    for(int i = ; i < N; i++) {
        if(!mu[i]) continue;
        for(int j = i; j < N; j += i)
            h[j] = h[j] * ((mu[i] == ) ? fib[j / i] : inv(fib[j / i])) % P;
    }

/*    for(int i = 1; i <= 20; i++)
        printf("%lld ", h[i]);
    printf("\n");   */

    for(int i = ; i < N; i++)
        h[i] = 1LL * h[i] * h[i - ] % P;
}

inline int min(int x, int y) {
    return x > y ? y : x;
}

int main() {
    sieve();
    for(read(testCase); testCase--; ) {
        int n, m; read(n), read(m);
        int rep = min(n, m); ll ans = 1LL;
        for(int l = , r; l <= rep; l = r + ) {
            r = min((n / (n / l)), (m / (m / l)));
            ans = ans * pow(h[r] * inv(h[l - ]) % P, 1LL * (n / l) * (m / l) % (P - )) % P;
        }
        printf("%lld\n", ans);
    }
    return ;
}