多项式操作公式记录

多项式操作公式记录
不证明了。

以下默认 (A(x)) 为 ((n - 1)) 次多项式 (A(x) = sum_{i = 0}^{n - 1} a_i x^i)，且 (n) 为 (2) 的整数幂。

快速傅里叶变换/数论变换
[A_(omega_n^k)~=~A_0(omega_m^k) + omega_n^kA_1(omega_m^k) ]
[A(omega_n^{k + m})~=~A_0(omega_m^k) - omega_n^kA_1(omega_m^k) ]
其中 (m = frac{n - 1}{2})，(A_0(x) = sum_{i = 0}^m a_{2i} x^i)，(A_1(x) = sum_{i = 0}^m a^{2i + 1}x^i)。(omega_n) 代表最小的 (n) 次单位根/原根。

求乘法逆
(A(x) B(x) equiv 1 pmod {x^n})

[B_{2k}(x) equiv 2 B_{k}(x) - A_{2k}(x) imes B_{k}^{2}(x) pmod {x^{2k}} ]
其中 (A_k(x)) 代表 (A) 的前 (k) 项；(B_k(x)~=~A_k^{-1}(x))。

注意：(B_k(x)) 不一定是 (A_n(x)) 乘法逆的前 (k) 项，它只是 (A_n(x)) 前 (k) 项的乘法逆。

求对数函数
[B(x) = ln A(x) ]
有

[B'(x)~equiv~A'(x) A^{-1}(x) pmod {x^n} ]
则

[B(x)~=~int B'(x) ext{d}x ]
求导、积分公式：

[f(x) = Cx^a~~Rightarrow~~ f'(x) = C(a - 1)x^{a - 1} ]
[f(x) = Cx^a~~ ~~Rightarrow~~ int f(x) ext{d}x = frac{C}{a + 1} x^{a + 1} ]
其中 (C) 是常数。对于多项式，二者均是线性可加的。

求指数函数
[B(x) = e^{A(x)} ]
有递推式

[B_{2k}(x)~=~B_k(x) imes(1 - ln B_k(x) + A_{2k}(x)) ]
其中下标代表多项式的前几项。

递归求解即可。

多项式 (k) 次幂
[B(x) equiv (A(x))^k pmod {x^n} ]
(B(x) = exp (k ln A(x)))

多项式开根
即多项式 (2^{-1}) 次幂。

封装代码
namespace Poly {

const int G = 3;
const int MOD = 998244353;
const int PHI = 998244352;
const int DPHI = 998244351;
const int SzI = sizeof(int);
const int SzL = sizeof(long long int);

void Init(int *const A, const int N) {
  for (int i = 0; i < N; ++i) {
    qr(A[i]);
  }
}

void Print(const int *const A, const int N) {
  int DN = N - 1;
  for (int i = 0; i < DN; ++i) {
    qw(A[i], ' ', true);
  }
  qw(A[DN], '
', true);
}

void GetN(int n, int &N) {
  N = 1;
  while (N < n) N <<= 1;
}

int mpow(int x, int y) {
  int _ret = 1;
  while (y) {
    if (y & 1)  _ret = 1ll * x * _ret % MOD;
    x = 1ll * x * x % MOD;
    y >>= 1;
  }
  return _ret;
}

int tax[maxn], taxlen;

void GetRev(const int N) {
  int p = 1, d = N >> 1;
  for (int w = p; w < N; w = p) {
    for (int i = 0; i < w; ++i) {
      tax[p++] = tax[i] | d;
    }
    d >>= 1;
  }
  taxlen = N;
}

void MakeRev(int *const A, const int N) {
  for (int i = 1; i < N; ++i) if (tax[i] > i) {
    std::swap(A[i], A[tax[i]]);
  }
}

void Modint(int &x) {
  while (x >= MOD) x -= MOD;
  while (x < 0) x += MOD;
}

void NTT(int *const A, const int N) {
  if (taxlen != N) {
    GetRev(N);
  }
  MakeRev(A, N);
  for (int w = 2, M = 1; w <= N; w <<= 1) {
    int Wn = mpow(G, PHI / w);
    for (int L = 0; L < N; L += w) {
      ll g = 1;
      for (int i = L, lm = L + M, j = lm; i < lm; ++i, ++j) {
        ll x = A[i], y = A[j];
        A[i] = (x + g * y) % MOD; A[j] = (x - g * y) % MOD;
        (g *= Wn) %= MOD;
      }
    }
    M = w;
  }
  for (int i = 0; i < N; ++i) {
    Modint(A[i]);
  }
}

void GetInv(const int *const A, int *const B, const int N) {
  static int C[maxn];
  B[0] = mpow(A[0], DPHI);
  for (int w = 2, M = 4; w <= N; M <<= 1) {
    memcpy(C, A, w * SzI);
    NTT(B, M); NTT(C, M);
    for (int i = 0; i < M; ++i) {
      B[i] = (B[i] << 1) % MOD - 1ll * C[i] * B[i] % MOD * B[i] % MOD;
      Modint(B[i]);
    }
    NTT(B, M);
    std::reverse(B + 1, B + M);
    for (int i = 0, iv = mpow(M, DPHI); i < w; ++i) {
      B[i] = 1ll * B[i] * iv % MOD;
    }
    memset(B + w, 0, w * SzI);
    w = M;
  }
  memset(C, 0, (N << 1) * SzI);
}

void GetDer(const int *const A, int *const B, const int N) {
  for (int i = 1; i < N; ++i) {
    B[i - 1] = 1ll * A[i] * i % MOD;
  }
  B[N - 1] = 0;
}

void GetInte(const int *const A, int *const B, const int N) {
  B[0] = 0;
  for (int i = 1; i < N; ++i) {
    B[i] = 1ll * A[i - 1] * mpow(i, DPHI) % MOD;
  }
}

void GetLn(const int *const A, int *const B, const int N) {
  static int C[maxn];
  GetDer(A, B, N);
  GetInv(A, C, N);
  int M = N << 1;
  NTT(B, M); NTT(C, M);
  for (int i = 0; i < M; ++i) {
    C[i] = 1ll * B[i] * C[i] % MOD;
  }
  NTT(C, M);
  std::reverse(C + 1, C + M);
  for (int i = 0, iv = mpow(M, DPHI); i < N; ++i) {
    C[i] = 1ll * C[i] * iv % MOD;
  }
  GetInte(C, B, N);
  memset(B + N, 0, N * SzI);
  memset(C, 0, M * SzI);
}

void GetExp(const int *const A, int *const B, const int N) {
  static int C[maxn];
  if (N == 1) {
    B[0] = 1;
    return;
  }
  GetExp(A, B, N >> 1);
  GetLn(B, C, N);
  int M = N << 1;
  for (int i = 0; i < N; ++i) {
    C[i] = -C[i] + A[i];
    Modint(C[i]);
  }
  C[0] += 1;
  NTT(C, M); NTT(B, M);
  for (int i = 0; i < M; ++i) {
    B[i] = 1ll * B[i] * C[i] % MOD;
  }
  NTT(B, M);
  std::reverse(B + 1, B + M);
  for (int i = 0, iv = mpow(M, DPHI); i < N; ++i) {
    B[i] = 1ll * B[i] * iv % MOD;
  }
  memset(B + N, 0, N * SzI);
  memset(C, 0, M * SzI);
}

void GetPow(const int *const A, const int k, int *const B, const int N) {
  static int C[maxn];
  GetLn(A, C, N);
  for (int i = 0; i < N; ++i) {
    C[i] = 1ll * C[i] * k % MOD;
  }
  GetExp(C, B, N);
  memset(C, 0, N * SzI);
}

}