LeetCode Weekly Contest 415 : 3292. Minimum Number of Valid Strings to Form Target II

難易度7でもいい気がするな…。
https://leetcode.com/problems/minimum-number-of-valid-strings-to-form-target-ii/description/

問題

文字列の集合Wと、文字列Tが与えられる。
Wに含まれる文字列のprefixを連結して、Tを構築したい。(W中の同じ文字列を複数回選択してもよい)
最少何個のprefixを連結すればよいか。

解法

RollingHash+二分探索などで、Tの各文字から初めて、最大何文字がW中の文字列のprefixと一致し得るか求めよう。
あとはDPなりダイクストラ法なりで必要なprefixの個数の最小値を求めればよい。

unordered_set<ll> S[50505];

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);
	}
	/*以下ll版*/
	ll hash(int l,int r) { // s[l..r]
		if(l>r) return 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 (((hash_[0][r+1]+(mo0-hash_[0][l]*pmo[0][r+1-l]%mo0))%mo0)<<32) | 
			             ((hash_[1][r+1]+(mo1-hash_[1][l]*pmo[1][r+1-l]%mo1))%mo1);
	}
	ll hash(VT s) { init(s); return hash(0,s.size()-1); }
	static ll concat(ll L ,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);
		ll La=L>>32,Lb=(L<<32)>>32,Ra=R>>32,Rb=(R<<32)>>32;
		return (((Ra + La*pmo[0][RL])%mo0)<<32)|((Rb + Lb*pmo[1][RL])%mo1);
	}
};
vector<ll> RollingHash::pmo[2]; ll RollingHash::mul0,RollingHash::mul1;

RollingHash rh;
int dp[50505];
vector<pair<int,int>> E[50505];


class Solution {
public:
    int minValidStrings(vector<string>& words, string target) {
		int i,j,N=target.size();
		FOR(i,50501) S[i].clear(),E[i].clear(),dp[i]=1<<20;
		dp[0]=0;
		FOR(i,N) E[i+1].push_back({i,0});
		
		FORR(w,words) {
			rh.init(w);
			for(i=1;i<=w.size();i++) S[i].insert(rh.hash(0,i-1));
		}
		rh.init(target);
		FOR(i,N) {
			int len=0;
			for(j=20;j>=0;j--) if(i+len+(1<<j)<=N&&S[len+(1<<j)].count(rh.hash(i,i+len+(1<<j)-1))) len+=(1<<j);
			if(len) E[i].push_back({i+len,1});
		}
		
		priority_queue<pair<int,int>> Q;
		Q.push({0,0});
		while(Q.size()) {
			int co=-Q.top().first;
			int cur=Q.top().second;
			Q.pop();
			FORR(e,E[cur]) if(dp[e.first]>co+e.second) {
				dp[e.first]=co+e.second;
				Q.push({-dp[e.first],e.first});
			}
			
		}
		if(dp[N]>=1<<20) return -1;
		return dp[N];
        
    }
};

まとめ

LeetCodeはSegTreeやRollingHashを使うと難易度高めに判定されるね。