AT2435 舞踏會

一、題目

點此看題

二、解法

把這個轉化成樹，大約就是這個樣子：

根就是答案，我們可以二分答案$mid$，我們設每個點大於$mid$需要的自由點個數（大於等於$mid$的個數）$f[i]$，轉移就是三個兒子的最小的$f$值之和。考慮一下初始化，如果當前的點是已經固定的，如果值小於$mid$那麼$f$是$inf$，否則爲$0$；如果未固定$f$值爲$1$，不難看出這樣的複雜度是$O(n)$

但是答案好像沒有單調性啊，比如如果值都是$1e9$但是$1$這個答案就是不可取的，我們會把他判合法，而且一定有一個更大的答案，所以我們可以使用二分。

#include <cstdio>
#include <iostream>
using namespace std;
const int M = 400005;
#define inf 0x3f3f3f3f
int read()
{
    int x=0,flag=1;char c;
    while((c=getchar())<'0' || c>'9') if(c=='-') flag=-1;
    while(c>='0' && c<='9') x=(x<<3)+(x<<1)+(c^48),c=getchar();
    return x*flag;
}
int n,m,ans,a[M],b[M],f[M];
int cal(int a,int b,int c)
{
	return a+b+c-max(a,max(b,c));
}
bool check(int x)
{
	int cnt=0,l=1,r=n;
	for(int i=m+1;i<=n;i++)
		if(a[i]>=x) cnt++;
	for(int i=1;i<=n;i++)
	{
		if(b[i]==0) f[i]=1;
		else if(b[i]>=x) f[i]=0;
		else f[i]=inf;
	}
	while(l<r)
	{
		int t=cal(f[l],f[l+1],f[l+2]);
		if(t>inf) t=inf;l+=3;
		f[++r]=t;
	}
	return f[l]<=cnt;
}
int main()
{
	n=read();m=read();
	for(int i=1;i<=m;i++)
	{
		a[i]=read();int p=read();
		b[p]=a[i];
	}
	for(int i=m+1;i<=n;i++)
		a[i]=read();
	int l=1,r=1e9;
	while(l<=r)
	{
		int mid=(l+r)>>1;
		if(check(mid)) ans=mid,l=mid+1;
		else r=mid-1;
	}
	printf("%d\n",ans);
}