AtCoder ABC #377 (トヨタシステムズプログラミングコンテスト2024) : G - Edit to Match

割とすんなり。
https://atcoder.jp/contests/abc377/tasks/abc377_g

問題

N個の文字列S[i]が与えられる。なお、S[0]は空文字とする。
k=1～Nについて以下に答えよ。

• S[k]の末尾に1文字任意の文字を追加する、又は1文字末尾の文字を消すことを繰り返し、S[0...(k-1)]のいずれかと一致させたい。
• 操作回数の最小値を求めよ。

解法

以下を順次計算していく。
f(i,len, hash) := S[0]....S[i]のprefix i文字のハッシュ値がhashとなるようなもののうち、文字列長の最小値

S[k]について解を求めるとき、S[k]のprefixを総当たりしよう。
もしl文字のハッシュがhの場合、f(k-1,l,h)が存在するなら、|S[k]|+f(k-1,l,h)-2*lが解の候補になる。

int N;
string S[202020];
int L[202020];

map<ll,int> len[202020];

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);
	}
};
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>>N;
	len[0][0]=0;
	FOR(i,N) {
		cin>>S[i];
		L[i]=S[i].size();
		rh.init(S[i]);
		int ret=1<<30;
		for(j=0;j<=L[i];j++) {
			ll h=rh.hash(0,j-1);
			if(len[j].count(h)) {
				ret=min(ret,L[i]+len[j][h]-2*j);
				len[j][h]=min(len[j][h],L[i]);
			}
			else {
				len[j][h]=L[i];
			}
		}
		cout<<ret<<endl;
		
	}
}

まとめ

最初Trie作ろうとしてやめたんだけど、どっちが実装楽だったかな…。