Codeforces 847B. Preparing for Merge Sort【二分】

题目链接

题意

给一个数组，从中找出若干组递增系列，每次从左往右，优先取没有使用过的符合递增的数
拿第一组样例来解释
5
1 3 2 5 4
第一次取从1开始，第二个取3，然后取5，第一次结束
第二次取从2开始，然后4，第二次结束，数组取完了，所以输出
1 3 5
2 4

思路

最差情况就是数组递减，你们就有n组，我们先开n个queue，用于装每组的数，我们开一个数组b用于装每组的最后一个元素；然后遍历数组，在遍历到a[i]时在b数组中去二分找到第一个(这里的第一个，是从后面开的组开始数的第一个)比a[i]大的数的前一个就是他应该放进的组（因为我是从后往前装，所以是前一个）；
我们来看组样例
1 3 2 8 7 4 5
这组当遍历5时各组元素如下
1 3 8
2 7
4
（从这里往上面找第一个，最后一个元素比a[i]大的组）

我们找到第一个比5大的数就是7，因为7比5大所以不能放这，而前一个就是比5小的可以放的，而可能前面还有比5小的组为什么我们不放呢，我们想想，1 3 8是答案中第一组中的元素，2 7是第二组，虽然可能我们前面的组有比5小的，但是他是在4这组（即第三组）找完后重新开的组，而在第三组找的时候，出现了一个符合递增的数，那么他应该被第三组取走，而不应该出现在后面的组。
（比赛时已经完全想到方法了，但是没有证明出最后一个元素是按顺序的，以为要一直sort后才可以二分就没有写）

代码

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

int a[200100], b[200100];

queue<int> q[200100];

int main(){
	int n;
	scanf("%d", &n);
	for(int i = 0; i < n; i++){
		scanf("%d", &a[i]);
	}
	q[n-1].push(a[0]);
	b[n-1] = a[0];
	int cnt = n-1;
	for(int i = 1; i < n; i++){
		int p = lower_bound(b, b + n, a[i]) - b - 1;
		q[p].push(a[i]);
		b[p] = a[i];
		cnt = min(cnt, p);
	}
	for(int i = n - 1; i >= cnt; i--){
		while(!q[i].empty()){
			int temp = q[i].front();
			q[i].pop();
			if(q[i].empty())
				printf("%d\n", temp);
			else
				printf("%d ", temp);
		}
	}
}