結果

問題 No.2254 Reverse Only
ユーザー 沙耶花沙耶花
提出日時 2023-03-24 21:39:14
言語 C++17(gcc12)
(gcc 12.3.0 + boost 1.87.0)
結果
AC  
実行時間 163 ms / 2,000 ms
コード長 2,697 bytes
コンパイル時間 4,744 ms
コンパイル使用メモリ 266,024 KB
実行使用メモリ 7,920 KB
最終ジャッジ日時 2024-09-18 16:53:23
合計ジャッジ時間 10,727 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 47
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001

struct rolling_hash{

	long long t_hash;
	static inline vector<long long> power;
	static const long long MOD = (1LL<<61)-1;
	static const long long b = 123456;
	int sz;
	
	rolling_hash(){		
		sz = 0;
		t_hash = 0;
	}
	
	rolling_hash(long long c){
		sz = 1;
		t_hash = b*c;
	}

	long long mul(__int128 x,__int128 y){
		__int128 t = x*y;
		t = (t>>61) + (t&MOD);
		
		if(t>=MOD)t -= MOD;
		return t;
	}
	
	long long get_pow(int sz){
		if(power.size()>sz)return power[sz];
		
		while(power.size()<=sz){
			if(power.size()==0)power.push_back(1);
			else power.push_back(mul(power.back(),b));
		}
		return power.back();
		
	}
	
	rolling_hash &operator+=(const rolling_hash &another){
		
		(*this).t_hash = mul((*this).t_hash,get_pow(another.sz));
		(*this).t_hash += another.t_hash;
		if((*this).t_hash>=MOD)(*this).t_hash -= MOD;
			
		(*this).sz += another.sz;
		
		return (*this);
	}
	
	rolling_hash operator+(const rolling_hash &another)const{
		return (rolling_hash(*this)+=another);
	}
	
	rolling_hash &operator-=(const rolling_hash &another){

		(*this).t_hash += MOD - mul(another.t_hash,get_pow((*this).sz-another.sz));
		if((*this).t_hash>=MOD)(*this).t_hash -= MOD;
			
		(*this).sz -= another.sz;

		return (*this);
	}
	
	rolling_hash operator-(const rolling_hash &another)const{
		return (rolling_hash(*this)-=another);
	}
	
	bool operator<(const rolling_hash &another)const{
		if((*this).t_hash!=another.t_hash)return (*this).t_hash<another.t_hash;
		return (*this).sz<another.sz;
	}
	
	bool operator==(const rolling_hash &another)const{
		return ((*this).t_hash==another.t_hash && (*this).sz==another.sz);
	}

	
};


int main(){
	
	int N,K;
	cin>>N>>K;
	
	vector<int> a(N),b(N);
	rep(i,N)cin>>a[i];
	rep(i,N)cin>>b[i];
	
	if(a==b){
		cout<<"Yes"<<endl;
		return 0;
	}
	{
		auto c = a,d = b;
		sort(c.begin(),c.end());
		sort(d.begin(),d.end());
		if(c!=d){
			cout<<"No"<<endl;
			return 0;
		}
	}
	if(K>N){
		cout<<"No"<<endl;
		return 0;
	}
	
	if(K<=N-2){
		cout<<"Yes"<<endl;
		return 0;
	}
	if(K==N){
		reverse(a.begin(),a.end());
		if(a==b){
			cout<<"Yes"<<endl;
		}
		else{
			cout<<"No"<<endl;
			return 0;
		}
		return 0;
	}
	
	rep(_,2){
		rolling_hash x,y;
		rep(i,N)x = x+rolling_hash(a[i]);
		rep(i,N)y = y+rolling_hash(b[i]);
		rep(i,N){
			y = y - rolling_hash(b[i]);
			y = y+rolling_hash(b[i]);
			if(x==y){
				cout<<"Yes"<<endl;
				return 0;
			}
		}
		reverse(b.begin(),b.end());
	}
	cout<<"No"<<endl;
	
	return 0;
}
0