AtCoder ABC #268 (ユニークビジョンプログラミングコンテスト2022 夏) : Ex - Taboo

Gと使うアルゴリズムが近いけどいいのかなぁ…。
https://atcoder.jp/contests/abc268/tasks/abc268_h

問題

アルファベット小文字で構築された文字列Sと、複数の文字列T[i]が与えられる。
S中に、部分文字列としてT[i]が現れないようにしたい。
S中の文字をいくつかアスタリスクに置き換えるとき、最小何個置き換えればこの条件を達成できるか。

解法

Sを先頭から1文字ずつ見て行って、途中Tのいずれかと一致しそうになったら直前の文字列をアスタリスクに置き換えるようにしよう。
これをAho-Chorasick法を用いて実現すればよい。

TについてAho-Chorasick法のためのデータ構造を作ろう。
このデータ構造を用いて、Sを1文字ずつ見ながら状態遷移をたどる。
もし途中Tのいずれかに一致するようなノードに到達してしまった場合、最後に遷移した文字をアスタリスクに置き換えることにして、最初のノードの戻るようにしよう。

int N;
vector<string> S;
map<string,int> M;

const int NUMC=26;
class Trie {
public:
	vector<vector<int> > V;
	int tar[505050];
	
	pair<vector<int>,int> find(string s) {
		int cur=0;
		vector<int> ret;
		FORR(c,s) {
			cur=V[cur][c+1];
			if(tar[cur]!=-1) ret.push_back(tar[cur]);
		}
		return {ret,cur};
	}
	void create(vector<string> S) { // 0 is for backtrack
		V.clear();
		V.push_back(vector<int>(NUMC+1));
		MINUS(tar);
		sort(S.begin(),S.end());
		FORR(s,S) {
			int cur=0;
			FORR(c,s) {
				if(V[cur][c+1]==0) V.push_back(vector<int>(NUMC+1)),V[cur][c+1]=V.size()-1;
				cur=V[cur][c+1];
			}
		}
	}
};
Trie t;
const ll mo=998244353;
ll modpow(ll a, ll n = mo-2) {
	ll r=1;a%=mo;
	while(n) r=r*((n%2)?a:1)%mo,a=a*a%mo,n>>=1;
	return r;
}

int le[505050],mor[505050];

void solve() {
	int i,j,k,l,r,x,y; string s;
	
	cin>>N;
	FOR(i,N) {
		cin>>s;
		FORR(c,s) c-='a';
		S.push_back(s);
	}
	t.create(S);
	FOR(i,N) {
		x=t.find(S[i]).second;
		t.tar[x]=i;
	}
	FOR(i,N) {
		auto v=t.find(S[i]).first;
		v.pop_back();
		FORR(a,v) {
			le[i]++, mor[a]++;
		}
	}
	
	FOR(i,N) {
		int oth=N-1-le[i]-mor[i];
		ll a=(1+le[i]+oth*modpow(2))%mo;
		cout<<a<<endl;
		
	}
}

まとめ

D,E,Gよりかかった時間短いんだが…。