結果
| 問題 |
No.1597 Matrix Sort
|
| コンテスト | |
| ユーザー |
mugen_1337
|
| 提出日時 | 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;
}
mugen_1337