[ural 2118]. Ciphertext

题意

……（语文水平差）

题解

首先如果加密串中同时有串0和1，那么答案为-1；如果加密串中同时没有串0和1，那么答案为(|S'|)。
否则我们假设加密串中只有0没有1。
注意到题目给出加密串没有一个是另一个前缀，则一段形如00...01这样的东西就是合法的。
我们如果找到了一个后缀，满足它不能被解密，那么从它前面的第一个1后切开，答案就是前面的1的总数+1。
（即分段的形式为00...01|00...01|...|00...01|UndecodableSuffix）
显然我们要对于所有不能被解密的后缀求一个最短的。
这个东西只要把反串建AC自动机即可。
复杂度(mathcal O(|S|k))。

#include <bits/stdc++.h>
using namespace std;
const int N = 1e4 + 5, M = 55;
int n, k, siz;
string oS, S[M];
int c[N * M][2], ed[N * M], fail[N * M];
queue <int> q;
void append (string s) {
	int len = s.size(), u = 0;
	for (int i = len - 1, x; ~i; --i) {
		x = s[i] - '0';
		if (!c[u][x]) {
			c[u][x] = ++siz;
		}
		u = c[u][x];
	}
	ed[u] = 1;
}
void build () {
	for (int i = 0; i < 2; ++i) {
		if (c[0][i]) {
			fail[c[0][i]] = 0;
			q.push(c[0][i]);
		}
	}
	for ( ; !q.empty(); q.pop()) {
		int u = q.front();
		for (int i = 0; i < 2; ++i) {
			if (c[u][i]) {
				fail[c[u][i]] = c[fail[u]][i];
				ed[c[u][i]] |= ed[c[fail[u]][i]];
				q.push(c[u][i]);
			} else {
				c[u][i] = c[fail[u]][i];
			}
		}
	}
}
int id (char c) {
	return isupper(c) ? c - 'A' + 1 : c - 'a' + 27;
}
int solve () {
	int ret = -1, fl = 0, p = 0, m = oS.size();
	for (int i = m - 1, x; i >= 0; --i) {
		x = id(oS[i]);
		for (int j = S[x].size() - 1; ~j; --j) {
			p = c[p][S[x][j] - '0'];
			ret += (S[x][j] - '0') * fl;
			if (!fl && !ed[p]) {
				fl = 1, ret = 1;
			}
		}
	}
	return ret;
}
int main () {
	cin >> n >> oS, k = 0;
	for (int i = 1; i <= n; ++i) {
		cin >> S[i];
		if (S[i].size() == 1 && S[i] == "0") {
			k |= 1;
		}
		if (S[i].size() == 1 && S[i] == "1") {
			k |= 2;
		}
	}
	if (k == 0) {
		int ans = 0;
		for (int i = 0; i < (int)oS.size(); ++i) {
			ans += S[id(oS[i])].size();
		}
		cout << ans << endl;
		return 0;
	}
	if (k == 3) {
		return cout << -1 << endl, 0;
	}
	if (k == 2) {
		for (int i = 1, len; i <= n; ++i) {
			len = S[i].size();
			for (int j = 0; j < len; ++j) {
				S[i][j] = '0' + '1' - S[i][j];
			}
		}
	}
	for (int i = 1; i <= n; ++i) {
		append(S[i]);
	}
	build();
	cout << solve() << endl;
	return 0;
}