結果

問題 No.206 数の積集合を求めるクエリ
ユーザー ei1333333ei1333333
提出日時 2018-06-27 02:17:35
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 78 ms / 7,000 ms
コード長 2,648 bytes
コンパイル時間 2,305 ms
コンパイル使用メモリ 206,228 KB
実行使用メモリ 20,460 KB
最終ジャッジ日時 2023-09-13 14:21:58
合計ジャッジ時間 4,717 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 1 ms
4,376 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 3 ms
4,376 KB
testcase_07 AC 3 ms
4,376 KB
testcase_08 AC 3 ms
4,376 KB
testcase_09 AC 4 ms
4,380 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 2 ms
4,380 KB
testcase_12 AC 3 ms
4,380 KB
testcase_13 AC 4 ms
4,380 KB
testcase_14 AC 3 ms
4,380 KB
testcase_15 AC 3 ms
4,376 KB
testcase_16 AC 3 ms
4,380 KB
testcase_17 AC 69 ms
20,288 KB
testcase_18 AC 59 ms
20,244 KB
testcase_19 AC 68 ms
20,192 KB
testcase_20 AC 59 ms
20,128 KB
testcase_21 AC 62 ms
20,288 KB
testcase_22 AC 62 ms
20,232 KB
testcase_23 AC 68 ms
20,288 KB
testcase_24 AC 78 ms
20,188 KB
testcase_25 AC 75 ms
20,136 KB
testcase_26 AC 67 ms
20,460 KB
testcase_27 AC 63 ms
20,288 KB
testcase_28 AC 69 ms
20,180 KB
testcase_29 AC 70 ms
20,288 KB
testcase_30 AC 65 ms
20,132 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>

using namespace std;

template< int mod, int primitiveroot >
struct NumberTheoreticTransform {
  vector< vector< int > > rts, rrts;

  void ensure_base(int N) {
    if(rts.size() >= N) return;
    rts.resize(N), rrts.resize(N);
    for(int i = 1; i < N; i <<= 1) {
      if(rts[i].size()) continue;
      int w = mod_pow(primitiveroot, (mod - 1) / (i * 2));
      int rw = inverse(w);
      rts[i].resize(i), rrts[i].resize(i);
      rts[i][0] = 1, rrts[i][0] = 1;
      for(int k = 1; k < i; k++) {
        rts[i][k] = mul(rts[i][k - 1], w);
        rrts[i][k] = mul(rrts[i][k - 1], rw);
      }
    }
  }

  inline int mod_pow(int x, int n) {
    int ret = 1;
    while(n > 0) {
      if(n & 1) ret = mul(ret, x);
      x = mul(x, x);
      n >>= 1;
    }
    return ret;
  }

  inline int inverse(int x) {
    return mod_pow(x, mod - 2);
  }

  inline int add(int x, int y) {
    x += y;
    if(x >= mod) x -= mod;
    return x;
  }

  inline int mul(int a, int b) {
    return int(1LL * a * b % mod);
  }

  void DiscreteFourierTransform(vector< int > &F, bool rev) {
    const int N = (int) F.size();
    ensure_base(N);
    for(int i = 0, j = 1; j + 1 < N; j++) {
      for(int k = N >> 1; k > (i ^= k); k >>= 1);
      if(i > j) swap(F[i], F[j]);
    }
    for(int i = 1; i < N; i <<= 1) {
      for(int j = 0; j < N; j += i * 2) {
        for(int k = 0; k < i; k++) {
          int s = F[j + k], t = mul(F[j + k + i], rev ? rrts[i][k] : rts[i][k]);
          F[j + k] = add(s, t), F[j + k + i] = add(s, mod - t);
        }
      }
    }
    if(rev) {
      int temp = inverse(N);
      for(int i = 0; i < N; i++) F[i] = mul(F[i], temp);
    }
  }

  vector< int > Multiply(const vector< int > &A, const vector< int > &B) {
    int sz = 1;
    while(sz < A.size() + B.size() - 1) sz <<= 1;
    vector< int > F(sz), G(sz);
    for(int i = 0; i < A.size(); i++) F[i] = A[i];
    for(int i = 0; i < B.size(); i++) G[i] = B[i];
    DiscreteFourierTransform(F, false);
    DiscreteFourierTransform(G, false);
    for(int i = 0; i < sz; i++) F[i] = mul(F[i], G[i]);
    DiscreteFourierTransform(F, true);
    F.resize(A.size() + B.size() - 1);
    return F;
  }
};

int main() {
  int N, M, P;
  scanf("%d %d %d", &N, &M, &P);
  vector< int > A(P), B(P);
  for(int i = 0; i < N; i++) {
    int x;
    scanf("%d", &x);
    A[x - 1] = 1;
  }
  for(int i = 0; i < M; i++) {
    int x;
    scanf("%d", &x);
    B[x - 1] = 1;
  }
  reverse(begin(B), end(B));
  NumberTheoreticTransform< 1012924417, 5 > ntt;
  auto C = ntt.Multiply(A, B);
  int Q;
  scanf("%d", &Q);
  for(int i = 0; i < Q; i++) printf("%d\n", C[P + i - 1]);
}
0