CF-Round #637-div2-C题

CF-Round #637-div2-C题

C. Nastya and Strange Generator

传送门

这道题就是一个模拟题~
这期的题目看得我真的够呛=-=emmm，也可能是没用心的缘故把qwq；

题目大意：丹尼尔买了一个序列数生成器，其中这个序列数生成器的生成算法如下：
生成的序列是存储在arr[]中的，并且生成顺序是从1~n；
定义了两个数组：r[], cnt[];
r[]数组：r[i]表示从当前i下标开始往后走，对应到arr[i]往后走，第一个没有被填充数据的位置下标。
cnt[]数组：cnt[i]表示在r[]数组中的值等于i的个数是多少。
然后这套算法就根据cnt[]数组中的值选择一个最大的值，把序列数填在下标为对应cnt[]中最大值下标的arr[]中。如果有多个最大值，那么这套算法可以从最大值中任意挑选一个。
然后给你已经生成的序列，问能不能由上述算法生成。
下标均从1开始。

举个例子：
样例：
5
2 3 4 5 1
第一次当我们选数字1的位置时：
r[]数组为：1 2 3 4 5；（因为arr[]数组现在是空的嘛，所以从当前下标开始往后走空着的最小下标就是自己本身了）
cnt[]数组为：1 2 3 4 5 （因为cnt[]下标对应到r[]数组中下标出现的个数都是1）
按照所给的样例，数字1选择了下标为5的位置；
所以arr[]数组更新为：X X X X 1(X代表还没有填充的，空的）

第二次选择数字2的位置的时候r[]和cnt[]的更新原理和上面相同：
r[]: 1 2 3 4 X (X代表undefine,因为这是最后一个位置，后面位置就越界啦~)；
cnt[] : 1 1 1 1 0(数字5在r[]数组中出现的次数为0次）
按照所给的样例，数字1选择了下标为1的位置；
所以arr[]数组更新为：2 X X X 1(X代表还没有填充的，空的）

第三次选择数字3的位置时r[]和cnt[]的更新：
r[] : 2 2 3 4 X (X代表undefine)；
cnt[] : 0 2 1 1 0(数字1，5在r[]数组中出现的次数为0次）
现在最大的下标就是2，只能选择下标为2的地方填数字3，按照所给的样例，符合要求；
所以arr[]数组更新为：2 3 X X 1(X代表还没有填充的，空的）

第四次选择数字4的位置时r[]和cnt[]的更新：
r[] : 3 3 3 4 X (X代表undefine)；
cnt[] : 0 0 3 1 0(数字1，2，5在r[]数组中出现的次数为0次）
现在最大的下标就是3，只能选择下标为3的地方填数字4，按照所给的样例，符合要求；
所以arr[]数组更新为：2 3 4 X 1(X代表还没有填充的，空的）

第五次选择数字5的位置时r[]和cnt[]的更新：
r[] : 4 4 4 4 X (X代表undefine)；
cnt[] : 0 0 0 4 0(数字1，2，3，5在r[]数组中出现的次数为0次）
现在最大的下标就是4，只能选择下标为4的地方填数字5，按照所给的样例，符合要求；
所以arr[]数组更新为：2 3 4 5 1(X代表还没有填充的，空的）

结束，因此所给的序列可以由改算法生成。
经过上面分析我们可以发现：其实如果一个数字不是填在下标为n的位置或者当前数字填完后，后面的下标都已经填满了。那么我们在操作下一个数字的时候必然要填在上一个数字的后面。否则无法用上述算法实现。

所以归结为要么arr[i + 1] = a[i] + 1，要么就是a[i] > a[i + 1]；
对应查找所给的序列的各个位置是否成立，不成立直接输出No即可。

上面的思想就可以归结为：如果a[i + 1] - a[i] >= 2的话就是无法用上述算法实现的情况。

题目看懂了就很好实现了。

代码部分：

#include <bits/stdc++.h>
using namespace std;

int main()
{
	int t;
	cin >> t;
	while (t--)
	{
		int n;
		scanf ("%d", &n);
		vector<int> v(n);
		for (int i = 0; i < n; i++)
		{
			scanf ("%d", &v[i]); 
		}
		int flag = 0;
		for (int i = 0; i < n - 1 && !flag; i++)
		{
			if (v[i + 1] - v[i] >= 2)
			{
				flag = 1;
			}
		}
		flag ? cout << "No\n" : cout << "Yes\n";
	} 
	return 0;
}