P3084 [USACO13OPEN]照片Photo

单调队列DP/差分约束

差分约束会TLE

讲解在这里

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

#define go(i,a,b) for(int i=a;i<=b;++i)
#define com(i,a,b) for(int i=a;i>=b;--i)
#define mem(a,b) memset(a,b,sizeof(a))

const int inf=0x3f3f3f3f,N=1000010;

int n,m,l[N],r[N],q[N],f[N];

void read(int &x){
	x=0;int f=1;char c=getchar();
	while(!isdigit(c)){ if(c=='-') f=-1;c=getchar();}
	while(isdigit(c)){ x=x*10+c-'0';c=getchar();}
	x*=f;
}

void gmin(int &x,const int &y){ x=x<y?x:y; }
void gmax(int &x,const int &y){ x=x>y?x:y; }

int main(){
	//freopen("input.txt","r",stdin);
	read(n),read(m);
	go(i,1,n+1) r[i]=i-1;
	int a,b;
	go(i,1,m){
		read(a),read(b);
		gmax(l[b+1],a);//虽然>b+1的也可以更新，但我们选择更有代表性的b+1 
		gmin(r[b],a-1);//虽然<b的的也可以更新，但我们选择更有代表性的b
	}
	go(i,2,n+1) gmax(l[i],l[i-1]);
	com(i,n,1) gmin(r[i],r[i+1]);
	//注意！l[i]，r[i]单调递增,f[i]要尽可能大（其实可以用线段树？）
	//若x<y&&f[x]<=f[y],则x无用 
	int L=1,R=1,j=0;
	q[1]=0;//初状态为f[0]哇！ 
	go(i,1,n+1){
		while(j<r[i]&&j++<n){
			if(f[j]==-1) continue;
			while(L<=R&&f[q[R]]<f[j]) --R;
			q[++R]=j;
		}
		while(L<=R&&q[L]<l[i]) ++L;
		if(L>R) f[i]=-1;
		else f[i]=f[q[L]]+(i!=n+1?1:0);
	}
	printf("%d",f[n+1]);
	return 0;
}