洛谷 P3084 [USACO13OPEN]照片Photo

https://daniu.luogu.org/problem/show?pid=3084
单调性dp
我靠你看到这个题目，怎么看都和查分约束有点关系对不对；
估计是我差分约束学的不好，也找不到为什么不能用差分约束，就是构造不出来；
我们思考dp
f[i]表示到igxe点切i点有一头斑点牛的最大值
显然有些位置是一定不能放斑点牛的；
那么对于可以放牛的i点我们有2个限制
每一个区间最多一头奶牛
每一个区间最少一头奶牛
这两个限制让我们发现了一个区间
有第一个限制我萌可以得到这个区间的右端点为所有覆盖i点的区间里的min（左端点）
第二个限制我们可以得到这个区间的左端点为所有没覆盖i点的区间里的max(左端点)
这个区间里的j才可以更新f[i]
f[i]=f[j]+1//f[j]!=-1
因为我们在这个区间里放一奶牛，才不适破坏限制；
那么之后我们只要去一个区间最大值就好啦
单调dp可以很好的做到这一点；
具体实现的话我就不讲了，自己感觉好难写

#include<bits/stdc++.h>
#define Ll long long
using namespace std;
inline Ll RR(){Ll v=0,k=1;char c=0;while('0'>c||c>'9'){if(c=='-')k=-1;c=getchar();}while('0'<=c&&c<='9')v=v*10+c-48,c=getchar();return v*k;}
inline void W(Ll x){if(x<0)putchar('-'),x=-x;if(x>9)W(x/10);putchar(x%10+48);}
inline void WW(Ll x){W(x);puts("");}
inline void read(int &x,int &y){x=RR();y=RR();}
const int N=2e5+5;
int L[N],R[N],f[N],q[N];//L[i]表示f[i]的区间的左端点-1，R[i]为右端点-1 
int x,y,n,m,l,r;
void add(int x){
    if(f[x]==-1)return;
    while(r>=l&&f[q[r]]<=f[x])r--;
    q[++r]=x;
}
int main()
{
    read(n,m);
    for(int i=0;i<=n+1;i++)R[i]=i-1,L[i]=-1;
    for(int i=1;i<=m;i++){
        read(x,y);
        R[y]=min(R[y],x-1);
        L[y+1]=max(L[y+1],x-1);
    }
    for(int i=1;i<=n+1;i++)L[i]=max(L[i-1],L[i]);
    for(int i=n;i>=1;i--)R[i]=min(R[i+1],R[i]);
    l=1;r=0;
    for(int i=1;i<=n+1;i++){
        for(int j=R[i-1];j<=R[i];j++)add(j);
        while(r>=l&&q[l]<=L[i])l++;
        if(r<l)f[i]=-1;else f[i]=f[q[l]]+1;
    }
    printf("%d",max(f[n+1]-1,-1));
}