【二分匹配+字典序】P1963 [NOI2009]变换序列

题目链接：https://www.luogu.org/problem/P1963

题目大意：

假想一个环（环上按顺序有n个点），i（取值为0-n-1）是环上的点，然后Ti（取值为0-n-1）也是环上的点，i与Ti的距离是Di.

现在知道Di,求字典序最小的Ti。

题目思路：

Ti的取值与i相关，要满足i与Ti的距离是Di，所以对于i而言它可以有两个Ti

Ti'=(i+d[i])%n，Ti''=(i-d[i]+n)%n

i与Ti的二分匹配（序号都为0-n-1）

知道它是二分匹配之后，我们思考一下如何处理二分匹配所得的Ti的字典序要最小?

如果想要保证在前面的数字尽可能小，那么只需要让它优先匹配标号小的节点就好。

但是这里存在一个问题：如果从前到后依次匹配的话，为了保证不把前面的最优选择替换，你就必须特判很多东西。

而实际上，只需要让X集合从后向前匹配（从X集合每个顶点倒序查找增广路，就可以保证最后的最优），然后X匹配时尽可能选最小数字，这样得到的一定是最优解（字典序最小）。

代码：

#include<bits/stdc++.h>
#define maxn 20005
using namespace std;
int D[maxn],T[maxn][2],X[maxn],Y[maxn],used[maxn];
int solve(int u){
	for(int i=0;i<2;i++){
		int v=T[u][i];
		if(!used[v]){
			used[v]=1;//漏了，MLE 
			if(X[v]==-1||solve(X[v])){
				X[v]=u;
				Y[u]=v;
				return 1;
			}
		}
	}
	return 0;
}
int main(){
    int n;
	cin>>n;
	for(int i=0;i<n;i++){
		cin>>D[i];
		T[i][0]=(i+D[i])%n,T[i][1]=(i-D[i]+n)%n;
		if(T[i][0]>T[i][1]) swap(T[i][0],T[i][1]);
		X[i]=Y[i]=-1;
	//	cout<<T[i][0]<<" "<<T[i][1]<<endl;
	}	
	for(int i=n-1;i>=0;i--){
	    memset(used,0,sizeof(used));
	    if(!solve(i)){
	    	printf("No Answer\n");
	    	return 0;
	    }
	}
	for(int i=0;i<n;i++){
		cout<<Y[i]<<" ";
	}
} 

 

优秀博客讲解：https://www.byvoid.com/zhs/blog/noi-2009-transform