Atcoder Regular contest 085F NRE 线段树+DP

题意：给你两个序列，a全部为0，b给出，给出一些区间，可以把a上的这些区间变为全1，要求操作以后两个序列对应位置不相同的个数最小，n<=2e5.
说实话这种区间操作很容易想到线段树，但是我没想到DP，水了水了。。
主要还是题目的模型没化出来吧，直接做其实是不可做的。。
把(ai,bi)看成是一个数对，那么答案其实就是(1,0)和(0,1)的数量，也就相当于(0,1)+(0/1,0)-(0,0)的最小值，注意到(0/1,0)的数量是固定的，那么要求的实际就是(0,1)-(0,0)的最小值.
设f[i][j]表示以i为起点，终点在j的最优答案，其中前i个已经计算完了，那么我们只要算出这个区间(i,j)的答案即可更新。
由于是区间01的数量用线段树优化即可。注意到开始可以不选，所以起始点为0.

#include
#include
#include
#include
#define pb push_back
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fd(i,a,b) for(int i=a;i>=b;i--)
using namespace std;
int n,m;
const int inf=2e9;
const int N=2e5+5;
int b[N],sum[N],f[N];
struct node
{
    int l,r;
}a[N];
struct tree
{
    int l,r,mn;
}t[N*20];
vector<int>g[N];
inline void build(int x,int l,int r)
{
    t[x].l=l,t[x].r=r;
    if (l==r)
    {
        t[x].mn=f[l]-sum[l];
        return;
    }
    int mid=(l+r)>>1;
    build(x<<1,l,mid);
    build(x<<1|1,mid+1,r);
    t[x].mn=min(t[x<<1].mn,t[x<<1|1].mn);
}
inline void change(int x,int pos)
{
    if (t[x].l==t[x].r)
    {
        t[x].mn=f[t[x].l]-sum[t[x].l];
        return;
    }
    int mid=(t[x].l+t[x].r)>>1;
    if(pos<=mid)change(x<<1,pos);
    else change(x<<1|1,pos);
    t[x].mn=min(t[x<<1].mn,t[x<<1|1].mn);   
}
inline int query(int x,int l,int r)
{
    if (l<=t[x].l&&t[x].r<=r)return t[x].mn;
    int mid=(t[x].l+t[x].r)>>1;
    int ret=inf;
    if (l<=mid)ret=query(x<<1,l,r);
    if (r>mid)ret=min(ret,query(x<<1|1,l,r));
    return ret;
}
int main()
{
    scanf("%d",&n);
    fo(i,1,n)
    {
        scanf("%d",&b[i]);
        sum[i]=sum[i-1]+(b[i]^1);
    }
    scanf("%d",&m);
    fo(i,1,m)
    {
        scanf("%d%d",&a[i].l,&a[i].r);
        g[a[i].l-1].pb(a[i].r);
    }
    fo(i,1,n)f[i]=inf;
    build(1,0,n);
    fo(i,0,n)
    {
        if (i)
        {
            f[i]=min(f[i],f[i-1]+b[i]);
            change(1,i);
        }
        for(int j=0;jint tmp=query(1,i,g[i][j]-1);
            f[g[i][j]]=min(f[g[i][j]],tmp+sum[g[i][j]]);
            change(1,g[i][j]);
        }
    }
    printf("%d\n",f[n]);
}