bzoj3126 [Usaco2013 Open]Photo

　　省选前最后一天填坑......

　　其实这个题早就想过，一直懒得写。我发现我写单调队列一次一个样，真是郁闷。

　　简述题意就是给你一个n长度的数轴和m个区间，每个区间里有且仅有一个点，问能有多少个点。

　　我们考虑用f[i]表示前i个位置能放多少个，每一步决策有两个限制：1.每个区间里要有一个点，这样我们可以确定决策区间左边界；2.每个区间里只能有一个点，这样我们可以确定右边界。如果有地方左边界大于右边界了就是一定不能放点了。

　　单调队列的话，首先让[ L[I],R[I] ]区间的f值入队，然后把队首不在这个决策区间里的出队，然后转移f[q[head]]就行了。

　　总结起来，单队大概有两种，一种是先转移再入队，另一种是先入队再转移。前一种大多是针对斜率优化的，因为每个点对应一个斜率来T掉队里点的，也就是说每枚举到一个i就要更新一下单队，而每得到一个新的f值下一步立即就可以参与转移；而后一种大多是针对决策单调性的，因为每个点对应一个决策区间，这个区间是不断移动的，所以每得到一个f值是不能立即参与下一步转移的，而是要通过决策区间的移动来确定单队。

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<cstring>
#define maxn 220000
#define inf 2147483647
using namespace std;

struct seg
{
    int x,y;
}a[maxn];
int l[maxn],r[maxn],q[maxn*2],f[maxn];
int n,m;

bool cmp(seg a,seg b)
{
    return a.y<b.y;
}

int main()
{
    //freopen("photo.in","r",stdin);
    scanf("%d%d",&n,&m);
    for (int i=1;i<=m;i++) 
        scanf("%d%d",&a[i].x,&a[i].y);
    sort(a+1,a+m+1,cmp);
    int mx=0;
    for (int i=1,j=1;i<=n;i++)
    {
        while (a[j].y<i&&j<=m) mx=max(mx,a[j].x),j++;
        l[i]=mx;
    }
    l[n+1]=1;
    int mi=n;
    for (int i=n,j=m;i;i--)
    {
        while (a[j].y>=i&&j) mi=min(mi,a[j].x-1),j--;
        r[i]=mi;
    }
    r[n+1]=n;
    //for (int i=1;i<=n;i++) cout<<l[i]<<' '<<r[i]<<endl;
    int head=1,tail=0;
    for (int i=1,j=0;i<=n+1;i++)
    {
        for (;j<=r[i]&&j<i;j++)
        {
            if (f[j]==-1) continue;
            while (head<=tail&&f[j]>f[q[tail]]) tail--;
            q[++tail]=j;
        }
        while (head<=tail&&q[head]<l[i]) head++;
        if (head<=tail) f[i]=f[q[head]]+(i!=n+1); else f[i]=-1;
    }
    printf("%d\n",f[n+1]);
    return 0;
}