D. Rating Compression（思维 + 双指针）

Codeforces Global Round 12

Problem

给出一个长度为n的数组a，其中 $1\le a[i]\le n$。
$b[j]=mi{n}_{j\le i\le j+k-1}a[i]$
判断 k = 1 ~ n 时，得到的b数组是否是一个排列。

Solution

1. 1是最小的一个数，且只能位于a数组的开头或者结尾，且只能出现一次。
   否则，$an{s}_{k=n}=1,an{s}_{1\le k\le n-1}=0$。
2. 当a数组本身是一个排列时，$an{s}_1=1$
3. 维持一个区间 $[l,r]$，循环 j = 1， 2， 3，···。
   当$a_l或者a_r$ 等于 i 的时候，且$min(a[l,r])=i+1$,
   则$an{s}_{n-i}=1$， 否则则程序终止。
   最终当 $2\le k<n-i$时，ans = 0； 当 $n-i\le k\le n$时, ans = 1。

本题与其说是思维，不如说是结论题。其实排列自身的一个特点。此类的算法需要多做题总结。

Code

时间复杂度 $O(n)$

const int N = 3e5 + 5, M = 1e6 + 7;

int a[N], ans[N], cnt[N];

int main()
{
	IOS;
	int T; cin >> T;
	while (T--)
	{
		int n; cin >> n;
		for (int i = 1; i <= n; i++)
			cnt[i] = ans[i] = 0;

		for (int i = 1; i <= n; i++)
		{
			cin >> a[i];
			cnt[a[i]]++;
		}

		//k = 1
		int  f = 1;
		for (int i = 1; i <= n; i++)
			if (cnt[i] == 0) f = 0;
		if (f) ans[1] = 1;
		//k = n
		if (cnt[1]) ans[n] = 1;

		//1 < k < n
		int l = 1, r = n;
		int j = 1;
		while (l < r)
		{
			//--cnt[j]保证左右端点只能有一个等于j
			if (--cnt[j] == 0 && (a[l] == j || a[r] == j) && cnt[j + 1])
			{
				ans[n - j] = 1;
				l += a[l] == j;
				r -= a[r] == j;
				j++;
			}
			else break;
		}


		for (int i = 1; i <= n; i++)
			cout << ans[i];
		cout << "\n";
	}


	return 0;
}