[USACO13OPEN] Photo G

洛谷[USACO13OPEN] Photo G

题目大意

有$n$头奶牛，编号为$1$到$n$。有$m$个区间$[l,r]$，每个区间$[l,r]$都有且只有一头有斑点的奶牛。求这些牛中最多有多少头有斑点的奶牛。如果出现矛盾，则输出$-1$。

$1\le n\le 2\times 10^5,1\le m\le 10^5$

题解

设$f_i$表示第$i$头奶牛是有斑点的奶牛时前$i$头奶牛中最多有多少头有斑点的奶牛，那么转移式为

$f_i=\max (f_j)+1$

其中$j<i$且$j$满足一定条件。

对于$j$转移到$i$，即$j$和$i$都是有斑点的奶牛，$[j+1,i-1]$上都是没有斑点的奶牛。

依题意，每个区间$[l,r]$都有且只有一头有斑点的奶牛，我们可以把这个条件转化为每个区间最多有一条奶牛，最少有一条奶牛。

最多有一头奶牛

如果$i$和$j$在同一个区间$[l,r]$中，则这个区间会有两头奶牛。那么，对于任意包含$i$的区间$[l,r]$，$j$需要满足小于$l$。

设$m{n}_i$表示包含$i$的区间中最小的$l$，则

$m{n}_i=\min (右端点为i的区间的最小的l,m{n}_{i+1})$

即在右端点等于$i$和右端点大于$i$的所有区间中求出最小的左端点。

最少有一头奶牛

如果区间$[l,r]$在$i$和$j$之间，则这个区间没有奶牛。那么，对于任意$r<i$的区间，$j$需要满足大于等于$l$。

设$m{x}_i$表示右端点小于$i$的区间中最大的$l$，则

$m{x}_i=\max (右端点为i-1的区间的最大的l,m{x}_{i-1})$

即在右端点等于$i-1$或右端点小于$i-1$的所有区间中求出最大的左端点。

转移式

那么，我们就能得到$f_i$的转移式：

$f_i=f_j+1(m{x}_i\le j<m{n}_j)$

我们可以在最后设一个点$n+1$来统计答案。

因为$m{x}_j$和$m{n}_j$都单调不下降，所以我们可以用单调队列来优化。

时间复杂度为$O(n)$。

code

#include<bits/stdc++.h>
using namespace std;
int n,m,hd=1,tl=0,mn[200005],mx[200005],q[200005],f[200005];
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n+1;i++) mn[i]=i;
	for(int i=1,l,r;i<=m;i++){
		scanf("%d%d",&l,&r);
		mn[r]=min(mn[r],l);
		mx[r+1]=max(mx[r+1],l);
	}
	for(int i=n;i>=1;i--){
		mn[i]=min(mn[i],mn[i+1]);
	}
	for(int i=1;i<=n+1;i++){
		mx[i]=max(mx[i],mx[i-1]);
	}
	q[++tl]=0;
	for(int i=1,j=1;i<=n+1;i++){
		for(;j<mn[i];j++){
			if(f[j]==-1) continue;
			while(hd<=tl&&f[q[tl]]<f[j]) --tl;
			q[++tl]=j; 
		}
		while(hd<=tl&&q[hd]<mx[i]) ++hd;
		if(hd<=tl) f[i]=f[q[hd]]+(i!=n+1);
		else f[i]=-1;
	}
	printf("%d",f[n+1]);
	return 0;
}