kmjp's blog

競技プログラミング参加記です

Codeforces #475 D. Frequency of String

これも微妙に間に合わないし…。
http://codeforces.com/contest/963/problem/D

問題

文字列Sに対し、下記クエリに順次答えよ。
クエリは整数値kと文字列mからなる。
Sの部分文字列のうち、mをsubstringとしてk回含む最短の長さの物を求めよ。

解法

事前にSのSuffix Arrayを求めておけば、Substringのうちmで始まる位置が何個あるかわかる。
あとはその位置をソートして、尺取り法の要領でそのようなmをk個分含む位置の最小数を求めればよい。

struct SuffixArray {
	int N; vector<int> rank,lcp,sa,rsa; string S;
	
	SuffixArray(string S) : S(S){
		int i,h=0; vector<int> tmp;
		N=S.size(); rank.resize(N+1); sa.resize(N+1); tmp.resize(N+1);
		FOR(i,N+1) sa[i]=i, rank[i]=i==N?-1:S[i];
		
		for(int k=1; k<=N; k<<=1) {
			auto pred2 = [k,this](int& a,int &b)->bool{ return (((a+k<=N)?rank[a+k]:-1)<((b+k<=N)?rank[b+k]:-1));};
			auto pred = [pred2,k,this](int& a,int &b)->bool{ return (rank[a]!=rank[b])?(rank[a]<rank[b]):pred2(a,b);};
			int x=0;
			if(k!=1) for(i=1;i<N+1;i++) if(rank[sa[i]]!=rank[sa[x]]) sort(sa.begin()+x,sa.begin()+i,pred2), x=i;
			sort(sa.begin()+x,sa.end(),pred);
			FOR(i,N+1) tmp[sa[i]]=(i==0)?0:tmp[sa[i-1]]+pred(sa[i-1],sa[i]);
			swap(rank,tmp);
		}
		lcp.resize(N+1); rsa.resize(N+1);
		FOR(i,N+1) rsa[sa[i]]=i;
		FOR(i,N) {
			int j=sa[rsa[i]-1];
			for(h=max(h-1,0);i+h<N && j+h<N; h++) if(S[j+h]!=S[i+h]) break;
			lcp[rsa[i]-1]=h;
		}
	}
};

string S;
int L,N;
int K[101010];
string M[101010];
int LL[101010];
int RR[101010];
int rev[404040];


void solve() {
	int i,j,k,l,r,x,y; string s;
	
	cin>>S;
	L=S.size();
	cin>>N;
	S+="{";
	FOR(i,N) {
		cin>>K[i]>>M[i];
		rev[S.size()]=100000+i;
		S+=M[i]+"@";
		rev[S.size()]=200000+i;
		S+=M[i]+"}";
	}
	
	SuffixArray sa(S);
	vector<int> V;
	FORR(v,sa.sa) {
		if(v>=L) {
			if(rev[v]>=100000&&rev[v]<200000) LL[rev[v]-100000]=V.size();
			if(rev[v]>=200000) RR[rev[v]-200000]=V.size();
		}
		else {
			V.push_back(v);
		}
	}
	
	FOR(i,N) {
		vector<int> W;
		for(j=LL[i];j<RR[i];j++) W.push_back(V[j]);
		if(W.size()<K[i]) {
			cout<<-1<<endl;
			continue;
		}
		sort(ALL(W));
		int mi=101010;
		for(j=K[i]-1;j<W.size();j++) mi=min(mi,W[j]+(int)M[i].size()-W[j-(K[i]-1)]);
		cout<<mi<<endl;
	}
	
	
}

まとめ

計算量不安だったけど通るのね。