2021牛客暑期多校训练营2 Stack（思维）

题意

已知若干时刻的栈大小，构造一个序列，依次加进栈中，如果栈顶的元素比加入的这个元素大，则弹出栈顶的元素再加入这个元素；

思路

统计每个时刻栈的大小的次数，然后进行前缀和处理，前缀和数组 ans 是单调递增的；

b数组是非递减序列；

当 i 时刻和 j 时刻栈的大小一样，则就是说 i 时刻到 j 时刻弹出了 j - i 个数，就可以让 i 时刻的a[i] = ans[b[i]]，j 时刻的a[j] = ans[b[i]] - 1；（b[i] = b[j]）；

因为 ans 为递增，且 b 为非递减，所以可以证得 a[j] 是肯定比 a[i] 到 a[j] 之间的数小的，我们就可以把这之间的数和 a[i] 弹出去；

不得不说，北大的大佬思路太妙了QWQ；

AC代码

#include <iostream>
#include <cstring>
#include <cmath>
#include <cstdio>
#include <string>
#include <algorithm>
#include <queue>
#include <utility>
#include <stack>
#include <map>
#include <vector>
#include <set>
#include <iomanip>
#include <unordered_map>
#define hz020 return
#define mes memset
#define mec memcpy
#define x first
#define y second

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pii;
typedef pair<ll,ll> PII;

const double pi = acos(-1);
const int N = 1000010;
const int null = 0x3f3f3f3f,INF = 1e9;
const ll mod = 998244353;

int n, k;
int b[N], a[N], ans[N];

int main()
{
	cin >> n >> k;
	
	while (k --)
	{
		int p,x;
		cin >> p >> x;
		b[p] = x;
	}
	
	int flag = 0;
	for (int i = 1; i <= n; i ++ )
	{
		if (!b[i]) b[i] = b[i - 1] + 1;
		if(i > 1 && b[i] - b[i - 1] > 1) flag = 1;
	}
	
	if(flag) cout << -1 << endl;
	else
	{
		for (int i = 1; i <= n; i ++ ) ans[b[i]] ++;
		
		for (int i = 1; i <= n; i ++ ) ans[i] += ans[i - 1];
		
		for (int i = 1; i <= n; i ++ ) cout << ans[b[i]] -- << " \n"[i == n];
	}
	
	hz020 0;
}  

END