結果

問題 No.206 数の積集合を求めるクエリ
ユーザー tsutajtsutaj
提出日時 2018-06-27 08:51:55
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 247 ms / 7,000 ms
コード長 1,927 bytes
コンパイル時間 876 ms
コンパイル使用メモリ 86,564 KB
実行使用メモリ 27,932 KB
最終ジャッジ日時 2024-06-30 23:07:38
合計ジャッジ時間 4,549 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 2 ms
6,944 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 5 ms
6,944 KB
testcase_07 AC 4 ms
6,940 KB
testcase_08 AC 4 ms
6,940 KB
testcase_09 AC 5 ms
6,944 KB
testcase_10 AC 2 ms
6,940 KB
testcase_11 AC 2 ms
6,944 KB
testcase_12 AC 9 ms
6,944 KB
testcase_13 AC 8 ms
6,944 KB
testcase_14 AC 8 ms
6,944 KB
testcase_15 AC 9 ms
6,940 KB
testcase_16 AC 8 ms
6,944 KB
testcase_17 AC 120 ms
27,788 KB
testcase_18 AC 93 ms
27,840 KB
testcase_19 AC 112 ms
27,700 KB
testcase_20 AC 90 ms
27,892 KB
testcase_21 AC 98 ms
27,836 KB
testcase_22 AC 97 ms
27,872 KB
testcase_23 AC 114 ms
27,844 KB
testcase_24 AC 247 ms
27,856 KB
testcase_25 AC 245 ms
27,680 KB
testcase_26 AC 222 ms
27,788 KB
testcase_27 AC 178 ms
27,932 KB
testcase_28 AC 227 ms
27,724 KB
testcase_29 AC 230 ms
27,680 KB
testcase_30 AC 220 ms
27,680 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cstdio>
#include <vector>
#include <algorithm>
#include <cassert>
#include <iostream>
#include <complex>
using namespace std;
using ll = long long int;

// FFT (高速フーリエ変換)
// Verified: 高速フーリエ変換 (ATC 001 C)

using Complex = complex<double>;
vector<Complex> dft(vector<Complex> A, int N, int sgn = 1) {
    for(int i=0, j=1; j<N-1; j++) {
        for(int k=N >> 1; k>(i ^= k); k >>= 1);
        if(j < i) swap(A[i], A[j]);
    }

    for(int m=2; m<=N; m*=2) {
        Complex zeta(cos(2.0 * M_PI / m), sin(2.0 * M_PI / m) * sgn);

        for(int i=0; i<N; i+=m) {
            Complex zeta_pow = 1;
            for(int u=i, v=i+m/2; v<i+m; u++, v++) {
                Complex vl = A[u], vr = zeta_pow * A[v];
                A[u] = vl + vr;
                A[v] = vl - vr;
                zeta_pow = zeta_pow * zeta;
            }
        }
    }
    return A;
}

vector<Complex> inv_dft(vector<Complex> A, int N) {
    A = dft(A, N, -1);
    for(int i=0; i<N; i++) {
        A[i] /= N;
    }
    return A;
}

vector<Complex> multiply(vector<Complex> A, vector<Complex> B) {
    int sz = A.size() + B.size() + 1;
    int N = 1; while(N < sz) N *= 2;

    A.resize(N), B.resize(N);
    A = dft(A, N), B = dft(B, N);

    vector<Complex> F(N);
    for(int i=0; i<N; i++) {
        F[i] = A[i] * B[i];
    }
    return inv_dft(F, N);
}

int main() {
    int L, M, N; cin >> L >> M >> N;

    vector<int> A(N), B(N);
    vector<Complex> X(N), Y(N);
    for(int i=0; i<L; i++) {
        int val; cin >> val; val--;
        A[val]++;
    }
    for(int i=0; i<M; i++) {
        int val; cin >> val;
        B[N - val]++;
    }

    for(int i=0; i<N; i++) {
        X[i] = Complex(A[i]);
        Y[i] = Complex(B[i]);
    }

    vector<Complex> ans = multiply(X, Y);

    int Q; cin >> Q;
    for(int i=0; i<Q; i++) {
        cout << (int)(ans[N+i-1].real() + 0.5) << endl;
    }
    return 0;
}
0