zoukankan      html  css  js  c++  java
  • [AT5203][AGC038F]Two Permutations(网络流)

    [AT5203][AGC038F]Two Permutations(网络流).md

    题面

    给出两个排列(P,Q).要求构造两个排列(A,B).
    要求:(A_i)要么等于(i),要么等于(P_i);(B_i)要么等于(i),要么等于(Q_i)
    最大化(A_i eq B_i)的下标(i)数量

    分析

    注意原题的排列是从0开始的,为讨论方便,我们统一转化为从1开始的。
    考虑对于每个排列,把(i)(P_i)连边,那么就会形成很多个环。比如排列({3,2,4,1}),其中(3,4,1)(2)分别形成两个环(1-3-4-1)(2-2)。我们令(A_i=P_i),实际上就是把环上的数(P_i)选转过来(当然理解成把(i)转过来也可以,只是环上点权设置的问题).令(A_i=i)就是不旋转。对于一个环,环上的点选择的方案应该是一致的(全都等于(i)或全都不等于(i)),否则就会存在某个数不合法。

    因为每个环只能选择旋转或不旋转,这就成了一个用最小割表示冲突的建图题,类似[LuoguP4313] 文理分科.我们把每个环看成一个点,记(idp_i)(P_i)在哪个环上,(idq_i)(Q_i)在哪个环上。

    我们尝试让割的大小为(A_i=B_i)的下标数量,这样n-最小割就是答案。p分入S集合表示旋转,q分入T集合表示旋转.

    1. (P_i=Q_i),无论如何(A_i=B_i),不连边,直接令答案-1.
    2. (P_i=i,Q_i eq i),(idq_i)不能旋转,连边((idq_i,T,1)),割去这条边表示(idq_i)不旋转
    3. (P_i eq i,Q_i=i),(idp_i)不能旋转,连边((S,idp_i,1)),割去这条边表示(idp_i)不旋转
    4. (P_i eq i,Q_i eq i),(idp_i,idq_i)都不能旋转,连边((q_i,p_i,1)),割去这条边表示(idp_i,idq_i)都不能旋转
    5. (P_i=Q_i eq i),(idp_i,idq_i)可以同时旋转或不旋转,连边((q_i,p_i,1))((p_i,q_i,1))表示两种选择

    因为建出的图是二分图。时间复杂度(O(nsqrt n))略微卡常,记得Dinic要加当前弧优化

    代码

    #include<iostream>
    #include<cstdio>
    #include<cstring>
    #include<queue> 
    #include<algorithm>
    #define INF 0x3f3f3f3f
    #define maxn 200000
    #define maxm 1000000
    using namespace std;
    template<typename T> void qread(T &x){
    	x=0;
    	T sign=1;
    	char c=getchar();
    	while(c<'0'||c>'9'){
    		if(c=='-') sign=-1;
    		c=getchar();
    	}
    	while(c>='0'&&c<='9'){
    		x=x*10+c-'0';
    		c=getchar();
    	}
    	x=x*sign; 
    } 
    
    struct edge{
    	int from;
    	int to;
    	int next;
    	int flow;
    }E[maxm*2+5];
    int sz=1;
    int head[maxn+5];
    int cur[maxn+5];//当前弧优化 
    void add_edge(int u,int v,int w){
    //	printf("%d->%d %d
    ",u,v,w);
    	sz++;
    	E[sz].from=u;
    	E[sz].to=v;
    	E[sz].next=head[u];
    	E[sz].flow=w;
    	head[u]=sz;
    	sz++;
    	E[sz].from=v;
    	E[sz].to=u;
    	E[sz].next=head[v];
    	E[sz].flow=0;
    	head[v]=sz;
    }
    int deep[maxn+5];
    bool bfs(int s,int t){
    	for(int i=s;i<=t;i++) deep[i]=0;
    	queue<int>q;
    	q.push(s);
    	deep[s]=1;
    	while(!q.empty()){
    		int x=q.front();
    		q.pop();
    		for(int i=head[x];i;i=E[i].next){
    			int y=E[i].to; 
    			if(E[i].flow&&!deep[y]){
    				deep[y]=deep[x]+1;
    				q.push(y);
    			}
    		}
    	}
    	return deep[t]>0;
    } 
    int dfs(int x,int t,int minf){
    	if(x==t) return minf;
    	int rest=minf,k;
    	for(int &i=cur[x];i;i=E[i].next){
    		int y=E[i].to;
    		if(E[i].flow&&deep[y]==deep[x]+1){
    			k=dfs(y,t,min(rest,E[i].flow));
    			E[i].flow-=k;
    			E[i^1].flow+=k;
    			rest-=k; 
    			if(k==0) deep[y]=0;
    			if(rest==0) break;
    		}
    	}
    	return minf-rest;
    }
    int dinic(int s,int t){
    	int ans=0,now=0;
    	while(bfs(s,t)){
    		for(int i=s;i<=t;i++) cur[i]=head[i];
    		while((now=dfs(s,t,maxm+1))) ans+=now;
    	}
    	return ans;
    } 
    
    int n;
    int p[maxn+5],q[maxn+5];
    int cnt=0;//环个数 
    int idp[maxn+5],idq[maxn+5];//所在环编号
    void mark(int *id,int *a,int x){
    	while(!id[x]){
    		id[x]=cnt;
    		x=a[x];
    	}
    }
    int main(){
    	qread(n);
    	for(int i=1;i<=n;i++){
    		qread(p[i]);
    		p[i]++; 
    	}
    	for(int i=1;i<=n;i++){
    		qread(q[i]);
    		q[i]++;
    	}
    	for(int i=1;i<=n;i++){//找出每个环 
    		if(!idp[i]){
    			cnt++;
    			mark(idp,p,i);
    		} 
    	}
    	for(int i=1;i<=n;i++){
    		if(!idq[i]){
    			cnt++;
    			mark(idq,q,i);
    		}
    	}
    	int s=0,t=cnt+1;
    	int eq=0;//相等的个数 
    	for(int i=1;i<=n;i++){
    		if(p[i]==i&&q[i]==i) eq++;
    		else if(p[i]==i&&q[i]!=i) add_edge(idq[i],t,1);
    		else if(p[i]!=i&&q[i]==i) add_edge(s,idp[i],1);
    		else if(p[i]!=q[i]) add_edge(idq[i],idp[i],1);
    		else{
    			add_edge(idq[i],idp[i],1);
    			add_edge(idp[i],idq[i],1);
    		}
    	}
    	eq+=dinic(s,t);
    	printf("%d
    ",n-eq);
    }
    
  • 相关阅读:
    【sqli-labs】 less52 GET -Blind based -Order By Clause -numeric -Stacked injection(GET型基于盲注的整型Order By从句堆叠注入)
    【sqli-labs】 less51 GET -Error based -Order By Clause -String -Stacked injection(GET型基于错误的字符型Order By从句堆叠注入)
    How to create a site with AJAX enabled in MVC framework.
    ASP.NET AJAX web chat application
    Asp.Net MVC4入门指南(1): 入门介绍
    跟我一起学习ASP.NET 4.5 MVC4.0 (转)
    VisualStudio2012轻松把JSON数据转换到POCO的代码(转)
    博客园自定义地址栏logo
    博客园侧边栏修改随笔分类为3D样式
    license.json
  • 原文地址:https://www.cnblogs.com/birchtree/p/12786064.html
Copyright © 2011-2022 走看看