#739 (Div. 3) E 字符串模拟

补个题吧~

E. Polycarp and String Transformation
题意：
初始一个字符串 $s$ 和一个空串 $t$，每次操作把 $s$ 加到 $t$ 后边，并且选择 $s$ 字任意一种字符，并删除全部的这种字符，直至 $s$ 串为空。给你一个操作完的串 $t$，求串 $s$，不存在输出 $-1$。
思路：
从后往前扫一遍 $t$ 串，每次新出现一种字符，就是倒数第几个被删除的，vector存一下然后 reverse一下就可以得到删除字符的顺序。设 $cn{t}_i$ 为第 $i$ 个被删除的字符在 $t$ 串中出现的次数，那么这个字符在 $s$ 串中出现的次数就是 $\frac{cn{t}_i}{i}$。然后求得所有字符在 $s$ 串中出现的总长度 $len$ 即为 $s$ 串的长度，那么如果存在这样的 $s$ 串，那么 $t.substr(0,len)$ 就是 $s$串。
我们得到这个假定的 $s$ 串之后再模拟一遍构造 $t$ 串的过程，来判断这个 $s$ 串是否合法

#include<bits/stdc++.h>
#define _ 0
#define ll long long
using namespace std;
const int maxn = 1e5 + 9;
const int mod = 1e9 + 7;
int n;
int vis[30];
void work()
{
	memset(vis, 0, sizeof(vis));
	string s;
	vector <char> v;
	cin >> s;
	n = s.length();
	for(int i = n - 1; i >= 0; --i)
	{
		int now = s[i] - 'a' + 1;
		if(!vis[now])
			vis[now] = 1, v.push_back(s[i]);
		else ++vis[now];
	}
	reverse(v.begin(), v.end());
	int len = 0;
	for(int i = 0; i < v.size(); ++i)
	{
		int now = v[i] - 'a' + 1;
		if(vis[now] % (i + 1) == 0) 
			vis[now] /= i + 1, len += vis[now];
		else {
			cout << -1 << endl; return; 
		}
	}
	string ans = s.substr(0, len);
	string tmp = "";
	memset(vis, 0, sizeof(vis));
	for(int i = 0; i < v.size(); ++i)// 模拟构造过程判断是否合法 
	{
		for(int j = 0; j < ans.size(); ++j)
		{
			int now = ans[j] - 'a' + 1;
			if(!vis[now]) tmp += ans[j];
		}
		vis[v[i] - 'a' + 1] = 1;
	}
	if(tmp != s){
		cout << -1 << endl;return;
	}
	cout << ans << " ";
	for(auto x : v) cout << x;cout << endl;
}
int main()
{
	ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
	int TT;cin>>TT;while(TT--)
	work();
	return ~~(0^_^0);
}