洛谷 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 longusing 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));}