Codeforces #951 : Div2 D. Fixing a Binary String

妙に時間かかってるな。一時離席したかな？
https://codeforces.com/contest/1979/problem/D

問題

N文字のバイナリ文字列Sが与えられる。
以下の処理を1回だけ行えるとする。

• 整数Pを選択し、Sの先頭P文字を反転させた後、後ろに移動する。

文字列SがK-properであるとは、111000111....のように0/1がK文字ごとに切り替わるものをいう。
処理後に条件を満たすPを1つ求めよ。

解法

K-properな文字列は0始まりか1始まりの2通りである。
そこで、ローリングハッシュなど使って、処理後の文字列が、その2通りのいずれかと一致するか判定すればよい。

int T,N,K;
string S;

using VT = string;

struct RollingHash {
	static const ll mo0=1000000021,mo1=1000000009;
	static ll mul0,mul1;
	static const ll add0=1000010007, add1=1003333331;
	static vector<ll> pmo[2];
	VT s; int l; vector<ll> hash_[2];
	void init(VT s) {
		this->s=s; l=s.size(); int i,j;
		hash_[0]=hash_[1]=vector<ll>(1,0);
		if(!mul0) mul0=10009+(((ll)&mul0+time(NULL))>>5)%1259,mul1=10007+(time(NULL)+((ll)&mul1)>>5)%2257;
		if(pmo[0].empty()) pmo[0].push_back(1),pmo[1].push_back(1);
		FOR(i,l) hash_[0].push_back((hash_[0].back()*mul0+add0+s[i])%mo0);
		FOR(i,l) hash_[1].push_back((hash_[1].back()*mul1+add1+s[i])%mo1);
	}
	pair<ll,ll> hash(int l,int r) { // s[l..r]
		if(l>r) return make_pair(0,0);
		while(pmo[0].size()<r+2)
			pmo[0].push_back(pmo[0].back()*mul0%mo0), pmo[1].push_back(pmo[1].back()*mul1%mo1);
		return make_pair((hash_[0][r+1]+(mo0-hash_[0][l]*pmo[0][r+1-l]%mo0))%mo0,
			             (hash_[1][r+1]+(mo1-hash_[1][l]*pmo[1][r+1-l]%mo1))%mo1);
	}
	pair<ll,ll> hash(VT s) { init(s); return hash(0,s.size()-1); }
	static pair<ll,ll> concat(pair<ll,ll> L,pair<ll,ll> R,int RL) { // hash(L+R) RL=len-of-R
		while(pmo[0].size()<RL+2) pmo[0].push_back(pmo[0].back()*mul0%mo0), pmo[1].push_back(pmo[1].back()*mul1%mo1);
		return make_pair((R.first + L.first*pmo[0][RL])%mo0,(R.second + L.second*pmo[1][RL])%mo1);
	}
};
vector<ll> RollingHash::pmo[2]; ll RollingHash::mul0,RollingHash::mul1;
RollingHash rh;

void solve() 
{
	int i,j,k,l,r,x,y; string s;
	
	cin>>T;
	while(T--) {
		cin>>N>>K>>S;
		string A,B;
		FOR(i,N) {
			A+='0'+(i/K)%2;
			B+='0'+(i/K+1)%2;
		}
		auto pa=rh.hash(A);
		auto pb=rh.hash(B);
		string S2=S;
		reverse(ALL(S2));
		RollingHash rh1,rh2;
		rh1.init(S);
		rh2.init(S2);
		
		if(S==A||S==B) {
			cout<<N<<endl;
			continue;
		}
		int ret=-1;
		
		for(int p=1;p<N;p++) {
			auto h1=rh1.hash(p,N-1);
			auto h2=rh2.hash(N-p,N-1);
			auto h3=rh1.concat(h1,h2,p);
			if(h3==pa||h3==pb) ret=p;
		}
		
		
		
		cout<<ret<<endl;
	}
}

まとめ

いまいち何をさせたいかわからない問題だったな。