[cf1662J]Training Camp
对于一个元素,注意到其不合法当且仅当满足以下条件之一:
- 自身、同行比其小、同列比其大 的元素均未选
- 自身、同行比其大、同列比其小 的元素均未选
将同行同列值相邻的元素连边,每个条件中的元素即构成一条从\(1\)到\(n\)的链
另外,若某行/某列元素均未选,也会产生一条从\(1\)到\(n\)的链
换言之,不存在从\(1\)到\(n\)的链是合法的充分条件,而事实上也是必要的
反证法,假设合法但存在这样的链,考虑链上的第一个"拐点":
不妨假设为行$\rightarrow $列,由于合法,列上必然选择一个比其大的元素
在此基础上,列上比其小的元素均未选,即可将行的部分转换到列上
根据结论,转化为最小割即可,为保证恰选择\(n\)个,可以将流量加上\(C>n\)
时间复杂度为\(O({\rm max\ flow}(n^{2},n^{2}))\)
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=200;
int n,x,a[N][N],p[N];
int id(int x,int y){
return (x-1)*n+y;
}
namespace Dinic{
const int N=40000,M=60000;
int S,T,E,head[N],Head[N],d[N];
ll ans;queue<int>q;
struct edge{
int nex,to;ll len;
}e[M<<1];
void init(){
E=0;
memset(head,-1,sizeof(head));
}
void add(int x,int y,ll z){
e[E]=edge{head[x],y,z},head[x]=E++;
e[E]=edge{head[y],x,0},head[y]=E++;
}
bool bfs(){
memset(d,-1,sizeof(d));
d[S]=0,q.push(S);
while (!q.empty()){
int k=q.front();q.pop();
for(int i=head[k];i!=-1;i=e[i].nex){
int u=e[i].to;
if ((e[i].len)&&(d[u]<0))d[u]=d[k]+1,q.push(u);
}
}
return d[T]>=0;
}
ll dfs(int k,ll s){
if (k==T)return s;
ll ans=0;
for(int &i=head[k];i!=-1;i=e[i].nex){
int u=e[i].to;
if ((e[i].len)&&(d[u]==d[k]+1)){
ll p=dfs(u,min(s,(ll)e[i].len));
e[i].len-=p,e[i^1].len+=p,s-=p,ans+=p;
if (!s)return ans;
}
}
return ans;
}
ll query(int s,int t){
S=s,T=t,ans=0;
memcpy(Head,head,sizeof(head));
while (bfs()){
ans+=dfs(S,1e18);
memcpy(head,Head,sizeof(head));
}
return ans;
}
};
int main(){
scanf("%d",&n);
Dinic::init();
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++){
scanf("%d",&a[i][j]);
if (a[i][j]==1)Dinic::add(0,id(i,j),1e18);
if (a[i][j]==n)Dinic::add(id(i,j)+n*n,2*n*n+1,1e18);
}
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++){
scanf("%d",&x);
Dinic::add(id(i,j),id(i,j)+n*n,n+(x^1)+1);
}
for(int i=1;i<=n;i++){
for(int j=1;j<=n;j++)p[a[i][j]]=j;
for(int j=1;j<n;j++)Dinic::add(id(i,p[j])+n*n,id(i,p[j+1]),1e18);
}
for(int j=1;j<=n;j++){
for(int i=1;i<=n;i++)p[a[i][j]]=i;
for(int i=1;i<n;i++)Dinic::add(id(p[i],j)+n*n,id(p[i+1],j),1e18);
}
printf("%lld\n",n-(Dinic::query(0,2*n*n+1)-(ll)n*(n+1)));
return 0;
}