HDU 5773 The All-purpose Zero （LIS）

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=5773

最大上升子序列，不过子序列中的0可以变成任意的数。

0可以转化成任意整数，包括负数，显然求LIS时尽量把0都放进去必定是正确的。因此我们可以把0拿出来，对剩下的做O(nlogn)的LIS，统计结果的时候再算上0的数量。为了保证严格递增，我们可以将每个权值S[i]减去i前面0的个数，再做LIS，就能保证结果是严格递增的。

理解得不是很清楚，为什么减去前面0的个数就能保证严格递增呢，好神奇....

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <queue>
using namespace std;
int a[100100], b[100100];
int main() {
	int t;
	scanf("%d", &t);
	int kase = 1;
	while(t--) {
		memset(b, 0, sizeof(b));
		int n;
		scanf("%d", &n);
		int i = 0, j = 0;
		int n0 = 0;
		int flag = 0; //考虑全0的情况 
		while(n--) {
			scanf("%d", a + i);
			if(a[i] == 0) n0++, i--; //记录好0的数量，删除0 
			else {
				a[i] -= n0; //每个数都减少其前面零的个数 
				flag = 1; //表示不是全零 
			}
			i++;
		}
		//求新序列的最大递增子序列 
		int k = 1;
		b[0] = a[0];
		for(j = 1; j < i; j++) {
			int pos = lower_bound(b, b + k, a[j]) - b;
			b[pos] = a[j];
			if(pos == k) k++;
		}
		if(!flag) printf("Case #%d: %d\n", kase++, n0); //全零的话k = 1，不应该加上 
		else printf("Case #%d: %d\n", kase++, k + n0);
	}
	return 0;
}