USACO13OPEN Photo G 题解

题目传送门

题目大意： 有一个 $1$ ~ $n$ 的序列，给出 $m$ 个区间 $[a,b]$，表示每个区间内都恰好有一只斑点牛，问最多有几只斑点牛。

题解

太秀了这个 $dp$  orz orz。

每个区间内恰好有一个，可以转化为至少有一个和至多有一个。

设 $f[i]$ 表示第 $i$ 个位置有斑点牛，最多有几只斑点牛。

显然，如果位置 $i$ 有斑点牛，那么所有包含 $i$ 的区间内都不能再有斑点牛了（至多一个）。

然后，如果 $f[i]$ 从 $f[j]$ 转移来，那么 $j$ 到 $i$ 之间不能有一整块区间，不然这块区间里面没有牛是不符合要求的（至少一个）。

于是设 $l[i]$ 表示最左边但不包含 $i$ 的区间的左端点，$r[i]$ 表示所有包含 $i$ 的区间的最左端点 $-1$，那么 $j$ 的枚举区间就是 $l[i]$ ~ $r[i]$ 了，然后显然 $l[i]$ 和 $r[i]$ 都单调不减，于是用单调队列优化一下就是 $O(n)$ 的了。

然后考虑求 $l[i],r[i]$：比较显然的，$l[i]$ 和 $r[i]$ 的初值分别为 $0$ 和 $i-1$。对于区间 $[a,b]$，有 $l[b+1]=a,r[b]=a-1$。然后，假如 $r[i+1]<i$，那么包含 $i+1$ 的拥有最左端点的区间也一定包含 $i$，所以 $r[i]$ 要和 $r[i+1]$ 取个 $\min$，同理，在 $i-1$ 左边的区间也一定在 $i$ 的左边，所以 $l[i]$ 要和 $l[i-1]$ 取个 $\max$。

以及，可以利用 $f[n+1]$ 来求出最后的答案，这个操作真的秀傻我了。

代码如下：

#include <cstdio>
#include <algorithm>
using namespace std;
#define maxn 200010

int n,m,l[maxn],r[maxn];
int q[maxn],st=1,ed=1,f[maxn],ans=0;
void add(int x){while(st<=ed&&f[x]>f[q[ed]])ed--;q[++ed]=x;}

int main()
{
	scanf("%d %d",&n,&m);
	for(int i=1;i<=n+1;i++)l[i]=0,r[i]=i-1;
	for(int i=1,x,y;i<=m;i++)
	scanf("%d %d",&x,&y),l[y+1]=max(l[y+1],x),r[y]=min(r[y],x-1);
	for(int i=n;i>=1;i--)r[i]=min(r[i],r[i+1]);
	for(int i=2;i<=n+1;i++)l[i]=max(l[i],l[i-1]);
	int now=1;
	for(int i=1;i<=n+1;i++)
	{
		while(now<=r[i])
		{
			if(f[now]!=-1)add(now);
			now++;
		}
		while(st<=ed&&q[st]<l[i])st++;
		if(st<=ed)f[i]=f[q[st]]+1;
		else f[i]=-1;
	}
	printf("%d",max(f[n+1]-1,-1));
}