官方题解:http://c-sunshine.blog.uoj.ac/blog/1860
首先你需要发现只要覆盖了“自己是黑色节点,且子树内没有其他黑色节点了的点”即可。然后你每次覆盖的一定是一段连续的右儿子+一段连续的左儿子。而且这样是一一对应的。然后我们可以对每个点往可能的后继连边,这样就得到了一张DAG,于是问题转化成最小路径覆盖问题。
带上下界最小流即可。
#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 4010
inline char gc(){
static char buf[1<<16],*S,*T;
if(S==T){T=(S=buf)+fread(buf,1,1<<16,stdin);if(T==S) return EOF;}
return *S++;
}
inline int read(){
int x=0,f=1;char ch=gc();
while(ch<'0'||ch>'9'){if(ch=='-') f=-1;ch=gc();}
while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=gc();
return x*f;
}
int n,h[N*7],num=1,s,t,S,T,owo=0,col[N<<1],cur[N*7],lev[N*7],in[N<<1];
bool flag=1;
struct edge{
int to,next,val;
}data[N<<5];
inline void add(int x,int y,int val){
data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].val=val;
data[++num].to=x;data[num].next=h[y];h[y]=num;data[num].val=0;
}
inline int build(int l,int r,int op){
int p=++owo;add(s,p,1);add(p+2*n-1,t,1);
add(4*n-2+l,p,inf);if(op&&r+1<=n) add(p+2*n-1,4*n-2+r+1,inf);
if(!op) add(5*n-2+l,p,inf);
if(!op&&r+1<=n) add(p+2*n-1,5*n-2+r+1,inf);
col[p]=read();if(l==r) return p;int mid=read();
int lc=build(l,mid,0),rc=build(mid+1,r,1);
if(col[lc]||col[rc]){if(!col[p]) flag=0;col[p]=2;}return p;
}
inline bool bfs(){
queue<int>q;memset(lev,0,sizeof(lev));
q.push(S);lev[S]=1;
while(!q.empty()){
int x=q.front();q.pop();
for(int i=h[x];i;i=data[i].next){
int y=data[i].to;if(!data[i].val||lev[y]) continue;
lev[y]=lev[x]+1;if(y==T) return 1;q.push(y);
}
}return 0;
}
inline int dinic(int x,int low){
if(x==T) return low;int tmp=low;
for(int &i=cur[x];i;i=data[i].next){
int y=data[i].to;if(lev[y]!=lev[x]+1||!data[i].val) continue;
int res=dinic(y,min(tmp,data[i].val));
if(!res) lev[y]=0;else tmp-=res,data[i].val-=res,data[i^1].val+=res;
if(!tmp) return low;
}return low-tmp;
}
int main(){
// freopen("a.in","r",stdin);
n=read();s=0;t=6*n-2+1;S=t+1;T=S+1;int tot=0,ans=0;
build(1,n,0);if(!flag){puts("OwO");return 0;}
for(int i=1;i<=owo;++i){
if(!col[i]) continue;add(i,i+owo,inf);
if(col[i]==1) in[i]--,in[i+owo]++;
}for(int i=1;i<=owo*2;++i){
if(in[i]>0) add(S,i,in[i]),tot+=in[i];
else add(i,T,-in[i]);
}while(bfs()){memcpy(cur,h,sizeof(h));ans+=dinic(S,inf);}
printf("%d\n",tot-ans);
return 0;
}