結果
問題 | No.1597 Matrix Sort |
ユーザー |
![]() |
提出日時 | 2021-07-09 22:07:29 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
TLE
|
実行時間 | - |
コード長 | 3,891 bytes |
コンパイル時間 | 2,634 ms |
コンパイル使用メモリ | 215,920 KB |
最終ジャッジ日時 | 2025-01-22 21:53:24 |
ジャッジサーバーID (参考情報) |
judge4 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 MLE * 1 |
other | AC * 5 WA * 5 TLE * 2 MLE * 15 |
ソースコード
#include<bits/stdc++.h> #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") 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; } struct FastFourierTransform{ using Real = double; using C=complex<Real>; const Real PI=acosl(-1); int base; vector<C> rts; vector<int> rev; FastFourierTransform():base(1){ rts.emplace_back(0,0); rts.emplace_back(1,0); rev.push_back(0); rev.push_back(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); 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]); 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]; a[i+j+k]=a[i+j]-z; a[i+j]=a[i+j]+z; } } // C[k] = sum_i A[i] * B[k-i] vector<long long> multiply(const vector<int> &a,const vector<int> &b) { int need=(int)a.size()+(int)b.size()-1; int nbase=1; 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]-conj(fa[i]*fa[i]))*r; fa[j]=(fa[i]*fa[i]-conj(fa[j]*fa[j]))*r; 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].imag():fa[i>>1].real()); return ret; } }; signed main(){ int N,P;ll K;cin>>N>>K>>P; vector<int> A(P,0),B(P,0); rep(i,N){ int x;cin>>x;A[x]++; } rep(i,N){ int x;cin>>x;B[x]++; } FastFourierTransform FFT; auto C=FFT.multiply(A,B); int S=0; rep(i,P){ S+=C[i]; if(i+P<(int)C.size()) S+=C[i+P]; if(S>=K){ cout<<i<<endl; return 0; } } return 0; }