HDU-4850-Wow! Such String!

HDU-4850-Wow! Such String!

传送门

这道题是欧拉回路~

题目大意:给你一个数字n，让你构造一个长度为n的字符串使得长度大于等于4的子串都不一样。输出构造出的字符串。

这道题目实际上如果满足了长度为4的任意子字符串都不一样的话，那么长度大于4的肯定也不一样了。因为在长度大于4的字符串里面长度为4的可以在作为子字符串嘛。
所以这道题变化成构造长度为n的字符串其中长度为4的子字符串都不一样

因为构造出来的要求是小写字母，总之26个字母。
我们可以把一个字符看成一个结点，然后长度为3的字符串看作一条边。
那么一个结点+一条边可以构成长度为4的字符串。
如果两个长度为4的字符串，其中一个的后三个字符是另一个的前三个字符。那么这两个结点有一条边。
这样抽象下来，我们把所有的边不重复的走一遍就是欧拉回路了。
如图所示：

于是我们就有26个结点（因为有26个字母嘛）
3^26次方条边。
我们构造的方式如下：
首先构造出子字符串长度为4的全部相等的字符：
aaaabbbbccccdddd…zzzz（按照字典序构造出来）
我们用vis[][][][]四维数组标记当前子字符串是否存在。
所以我们上面构造出来的字符串中
vis[i][i][i][i]， vis[i][i][i][i + 1], vis[i][i][i + 1][i + 1]， vis[i][i + 1][i + 1][i + 1]需要被标记。
举个例子aaaa, aaab, aabb, abbb都已经被构造出来了，后面不允许再出现。

之后我们在这个基础上进行枚举，判断标记进行即可，在后面添加的顺序方面从a~z或者从z ~ a都可以。

这道题最好不要使用递归（dfs）因为递归深度可以达到4^26,极容易爆栈。

代码部分：

#include <bits/stdc++.h>
#define mst(a, n) memset(a, n, sizeof(a))
using namespace std;
const int N = 5e5 + 10;

char s[N];
int vis[26][26][26][26];
int n;
int t;

void solve()
{
	for (int i = 0; i < 26; i++)
	{
		for (int j = 0; j < 4; j++)
		{
			s[n++] = i + 'a';
		}
	}
	for (int i = 0; i < 25; i++)
	{
		vis[i][i][i][i] = 1;
		vis[i][i][i][i + 1] = 1;
		vis[i][i][i + 1][i + 1] = 1;
		vis[i][i + 1][i + 1][i + 1] = 1;
	}
	vis[25][25][25][25] = 1;
	while (1)
	{
		int i = 25;
		while (i >= 0)
		{
			if (!vis[s[n - 3] - 'a'][s[n - 2] - 'a'][s[n - 1] - 'a'][i])
			{
				vis[s[n - 3] - 'a'][s[n - 2] - 'a'][s[n - 1] - 'a'][i] = 1;
				s[n++] = i + 'a';
				break;
			}
			i--;
		}
		if (i < 0)
		{
			break;
		}
	}
}

int main()
{
	solve();
	while (~scanf ("%d", &t))
	{
		if (t > n)
		{
			cout << "Impossible\n";
			continue;
		}
		for (int i = 0; i < t; i++)
		{
			cout << s[i];
		}
		cout << endl;
	}
	return 0;
}