BZOJ4985 评分（二分答案+树形dp）

　　首先二分答案简化一下问题，现在只有0和1了，要求最后剩下的是1。再简化一下考虑没有已固定的位置怎么做。考虑每个位置由其合并到的位置连边，显然这样形成了一棵三叉树。设f[i]为使得某位置为1其子树至少要放多少个1即可，转移显然。加上已固定位置也类似，修改dp初值即可。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
#define ll long long
#define N 100010
char getc(){char c=getchar();while ((c<'A'||c>'Z')&&(c<'a'||c>'z')&&(c<''||c>'')) c=getchar();return c;}
int gcd(int n,int m){return m==?n:gcd(m,n%m);}
int read()
{
    int x=,f=;char c=getchar();
    while (c<''||c>'') {if (c=='-') f=-;c=getchar();}
    while (c>=''&&c<='') x=(x<<)+(x<<)+(c^),c=getchar();
    return x*f;
}
int n,m,cnt,p[N<<][],a[N],b[N],c[N],f[N<<],ans;
void dfs(int k)
{
    if (k<=n) {f[k]=c[k]>=?(c[k]?:N):;return;}
    dfs(p[k][]),dfs(p[k][]),dfs(p[k][]);
    f[k]=min(min(f[p[k][]]+f[p[k][]],f[p[k][]]+f[p[k][]]),f[p[k][]]+f[p[k][]]);
}
bool check(int k)
{
    memset(f,,sizeof(f));
    memset(c,,sizeof(c));
    for (int i=;i<=m;i++) c[b[i]]=a[i]>=k?:;
    int tot=;
    for (int i=m+;i<=n;i++) tot+=a[i]>=k;
    dfs(cnt);
    return f[cnt]<=tot;
}
int main()
{
#ifndef ONLINE_JUDGE
    freopen("bzoj4985.in","r",stdin);
    freopen("bzoj4985.out","w",stdout);
    const char LL[]="%I64d\n";
#else
    const char LL[]="%lld\n";
#endif
    n=read(),m=read();
    int l=,r=;
    for (int i=;i<=m;i++) r=max(r,a[i]=read()),b[i]=read();
    for (int i=m+;i<=n;i++) r=max(r,a[i]=read());
    cnt=n;
    for (int i=;i<=(n->>);i++) cnt++,p[cnt][]=i*-,p[cnt][]=i*-,p[cnt][]=i*;
    while (l<=r)
    {
        int mid=l+r>>;
        if (check(mid)) ans=mid,l=mid+;
        else r=mid-;
    }
    cout<<ans;
    return ;
}