「BZOJ 3033」太鼓达人

温馨链接

BZOJ3033

问题重述

给定一个整数 $K$，构造一个长度为 $2^K$ 的 $01$ 环状序列，使得任意一个长为 $K$ 的子序列互不相同。

题解

显然是用贪心来做。各位大佬的欧拉回路的做法蒟蒻实在是没看明白。

初始时将序列的前 $K$ 位填入 $0$，将后 $K$ 位填入 $1$。同时将这两部分相接后会出现的所有子序列转换会 $10$ 进制标记为「已出现」。

从左到右处理区间 $[K+1,n-K]$。若当前处理到第 $i$ 位，填入 $0$ 后，判断如果序列 $[i-K,i]$ 与之前的标记产生冲突，那么改填入 $1$。标记这个新的子序列。

由于字典序的判定由两者从左到右第一个不相同的元素决定，则以上贪心策略可保证正确性。

附上完整代码。

#include<cstdio>
#include<iostream>
using namespace std;
constexpr int N = (1 << 11) + 23;
bool v[N], s[N];
int k, m, x, xq, fct[23];
int main(){
	cin >> k, m = 1 << k; fct[0] = 1, v[xq] = true;
	for(int i = 1; i <= 11; i++) fct[i] = fct[i - 1] << 1;
	for(int i = 1; i <= k; i++) s[i] = 0, s[m - i + 1] = 1;
	for(int i = 1; i <= k; i++) xq += fct[k - i], v[xq] = true;
	for(int i = k + 1; i <= m - k; ++i){
		x -= s[i - k] * fct[k - 1], x <<= 1;
		if(v[x]) ++x, s[i] = 1;
		v[x] = true;
	}
	cout << m << (char)32;
	for(int i = 1; i <= m; i++) printf("%d", s[i]);
	cout << endl;
	return 0;
}

感谢观看，作者蒟蒻，如有错误敬请指教。

2019.9.12 结尾撒花?