[CodeForces - 1316C] Primitive Primes【假FFT?】

[CodeForces - 1316C] Primitive Primes

题意：

• 两个函数的系数卷积？得到新的函数。问新函数哪个系数和p互质？

思路：

对于$C_{i+j}{x}^{i+j}$，我们假设$a_i$是第一个与p互质的$f(x)$系数，$b_j$是第一个与p互质的$g(x)$系数。
那么，$C_{i+j}=(a_0{b}_{i+j}+a_1{b}_{i+j-1}+...+a_{i-1}{b}_{j+1})+a_i{b}_j+(a_{i+1}{b}_{j-1}+a_{i+2}{b}_{j-2}+...+a_{i+j}{b}_0)$
前面说了，因为$a_i$和$b_j$都是第一个与p互质的系数，那么可以知道$a_k\%p==0(k<i)$， $b_k\%p==0(k<j)$
所以上面$C_{i+j}$的表达式中，括号中的都肯定%p为0，所以最后$C_{i+j}\%p=a_i{b}_j\%p\ne 0$

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
inline int read()
{
    int x = 0, f = 1; char c = getchar();
    while(c < '0' || c > '9') { if(c == '-') f = -f; c = getchar(); }
    while(c >= '0' && c <= '9') { x = x * 10 + c - '0'; c = getchar(); }
    return x * f;
}

const int maxN = 1000006;

int n, m, p;
int a[maxN], b[maxN];

int main()
{
    n = read(); m = read(); p = read();
    for(int i = 0; i < n; ++ i )
        a[i] = read();
    for(int i = 0; i < m; ++ i)
        b[i] = read();
    int ans;
    for(int i = 0; i < n; ++ i )
        if(a[i] % p) { ans = i; break; }
    for(int i = 0; i < m; ++ i )
        if(b[i] % p) { ans += i; break; }
    cout << ans << endl;
    return 0;
}