結果
| 問題 |
No.206 数の積集合を求めるクエリ
|
| コンテスト | |
| ユーザー |
mugen_1337
|
| 提出日時 | 2021-04-09 08:35:34 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 127 ms / 7,000 ms |
| コード長 | 4,591 bytes |
| コンパイル時間 | 2,319 ms |
| コンパイル使用メモリ | 204,248 KB |
| 最終ジャッジ日時 | 2025-01-20 13:11:29 |
|
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 28 |
ソースコード
#include<bits/stdc++.h>
using namespace std;
#define ALL(x) begin(x),end(x)
#define rep(i,n) for(int i=0;i<(n);i++)
#define debug(v) cout<<#v<<":";for(auto x:v){cout<<x<<' ';}cout<<endl;
#define mod 1000000007
using ll=long long;
const int INF=1000000000;
const ll LINF=1001002003004005006ll;
int dx[]={1,0,-1,0},dy[]={0,1,0,-1};
// ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}
template<class T>bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;}
template<class T>bool chmin(T &a,const T &b){if(b<a){a=b;return true;}return false;}
struct IOSetup{
IOSetup(){
cin.tie(0);
ios::sync_with_stdio(0);
cout<<fixed<<setprecision(12);
}
} iosetup;
template<typename T>
ostream &operator<<(ostream &os,const vector<T>&v){
for(int i=0;i<(int)v.size();i++) os<<v[i]<<(i+1==(int)v.size()?"":" ");
return os;
}
template<typename T>
istream &operator>>(istream &is,vector<T>&v){
for(T &x:v)is>>x;
return is;
}
namespace FastFourierTransform{
using real = long double;
// 複素数型
struct C{
real x, y;
C() : x(0), y(0) {}
C(real x, real y) : x(x), y(y) {}
inline C operator+(const C &c)const{ return C(x+c.x, y+c.y);}
inline C operator-(const C &c)const{ return C(x-c.x, y-c.y);}
inline C operator*(const C &c)const{ return C(x*c.x - y*c.y, x*c.y + y*c.x);}
inline C conj() const{return C(x, -y);}
};
const real PI=acosl(-1);
int base=1;
vector<C> rts={{0, 0},
{1, 0}};
vector<int> rev={0, 1};
//何してるか全然わからん
void ensure_base(int nbase){
if(nbase<=base) return;
rev.resize(1<<nbase);
rts.resize(1<<nbase);
for(int i=0;i<(1<<nbase);i++) {
rev[i]=(rev[i>>1]>>1)+((i&1)<<(nbase-1));
}
while(base<nbase) {
real angle=PI*2.0/(1<<(base+1));
for(int i=1<<(base-1);i<(1<<base);i++) {
rts[i<<1]=rts[i];
real angle_i=angle*(2*i+1-(1<<base));
rts[(i<<1)+1]=C(cos(angle_i), sin(angle_i));
}
++base;
}
}
void fft(vector<C> &a, int n){
assert((n&(n-1))==0);// nは2べきか
int zeros = __builtin_ctz(n);
ensure_base(zeros);
int shift=base-zeros;
for(int i=0;i<n;i++){
// バタフライ演算用の並び変え
if(i < (rev[i]>>shift)) swap(a[i], a[rev[i]>>shift]);
}
//k:ブロックサイズの半分,nになったら終わりここがO(logn)
for(int k=1;k<n;k<<=1){
for(int i=0;i<n;i+=2*k){
for(int j=0;j<k;j++){
//バタフライ演算
C z=a[i+j+k]*rts[j+k];//rtsは掛けるときの重み?
a[i+j+k]=a[i+j]-z;//更新
a[i+j]=a[i+j]+z;
}
}
}
}
// 畳み込み,返り値のvectorのサイズはa.size+b.size()-1
vector<long long> multiply(const vector< int > &a, const vector< int > &b) {
int need=(int)a.size()+(int)b.size()-1;
int nbase=1;// fftするために2ベキのサイズに変更
while((1<<nbase)<need) nbase++;
ensure_base(nbase);//わからん
int sz=(1<<nbase);
vector<C> fa(sz);
for(int i=0;i<sz;i++){
int x=(i<(int)a.size() ? a[i] : 0);
int y=(i<(int)b.size() ? b[i] : 0);
fa[i] = C(x, y);
}
fft(fa, sz);
C r(0, -0.25/(sz >> 1)), s(0, 1), t(0.5, 0);
for(int i=0;i<=(sz>>1);i++) {
int j=(sz-i)&(sz-1);
C z=(fa[j]*fa[j]-(fa[i]*fa[i]).conj())*r;// conjは共役複素数を求める
fa[j]=(fa[i]*fa[i]-(fa[j]*fa[j]).conj())*r;// c++の複素数型complexとかにもあるやつ
fa[i]=z;
}
for(int i=0;i<(sz>>1);i++){
C A0=(fa[i]+fa[i+(sz>>1)])*t;
C A1=(fa[i]-fa[i+(sz>>1)])*t*rts[(sz>>1)+i];
fa[i]=A0+A1*s;
}
fft(fa, sz >> 1);
vector<long long> ret(need);
for(int i=0;i<need;i++) {
ret[i]=llround(i&1? fa[i>>1].y : fa[i>>1].x);
}
return ret;
}
};
signed main(){
int N,M,S;
cin>>N>>M>>S;
vector<int> A(S+1),B(S+1);
rep(i,N){
int p;cin>>p;
A[p]++;
}
rep(j,M){
int p;cin>>p;
B[p]++;
}
reverse(ALL(B));
auto C=FastFourierTransform::multiply(A,B);
int Q;cin>>Q;
rep(i,Q) cout<<C[S+i]<<"\n";
return 0;
}
mugen_1337