2021牛客多校第二场K

题意：有一个单调栈，你需要往里面放 n个数，这些数是一个排列。给你k个p和x，你要保证，放入第p个数的时候单调栈的大小为x，求出一个可能的排列，没有输出-1

首先，根据贪心，因为b[i+1]-b[i]<=1,所以对于空白的b数组用b[i]=b[i-1]+1来补充，这样我们就拥有了一个完整的b数组

接下来就是到着模拟一遍

比如说，我们先一直循环递增直到找到了一个数t>=b[n],同时一直递增t，和cnt,并存下temp[t]=cnt,代表在不考虑前边b值得情况下，b[i]=t时能存的最小数字

此时就可以a[n]=temp[t],t--

然后继续判断b[n-1]，如果满足t>=b[n-1]的状态，说明a[n]没有从栈中剔除，因此直接a[n-1]=temp[t],t--；如果不满足，说明至少a[n]要被剔除，说明a[n-1]>a[n],所以继续增加当前的t和cnt，并使temp[t]=cnt；直至满足条件，就这样一直推到a[1]即可

其实就相当于是一个栈的逆推,手推一下就懂了

代码：

#include <bits/stdc++.h>
using namespace std;
const int N = 1000010;
int b[N], a[N];
int temp[N];

int main()
{
	int n, k;
	cin >> n >> k;
	while (k--)
	{
		int p, x;
		cin >> p >> x;
		b[p] = x;
	}
	for (int i = 1; i <= n; i++)
	{
		if (!b[i])
		{
			b[i] = b[i - 1] + 1;
		}
	}
	for (int i = 1; i <= n; i++)
	{
		if (b[i] - b[i - 1] > 1)
		{
			cout << "-1" << endl;
			return 0;
		}
	}
	int t = 0, cnt = 0;
	for (int i = n; i >= 1; i--)
	{
		while (t < b[i])
		{
			t++, cnt++;
			temp[t] = cnt;
		}
		a[i] = temp[t];
		t--;
	}
	for (int i = 1; i <= n; i++)
	{
		cout << a[i] << ' ';
	}
	return 0;
}