首先二分答案简化一下问题,现在只有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 ;
}