【noi2009 变换序列】二分图匹配

每年noi还真是会留道水题给大家哈皮哈皮，今年也不例外

好了，废话不多说，进入这道题

首先容易将原序列和新序列弄成一个二分图模型，因为都是n的排列，那么必须一一对应

题目其实就是求一个字典序最小的完备匹配

这个嘛，不用官方题解那么麻烦的搞法，就按字典序从小到大连边，然后字典序从大到小for原序列那一排点直接匈牙利就可以了

可以这样理解，我们去匹配一个点，先匹配上了一条边后面的就不会去试了，所以对于每个原序列中的点连出去的边要按字典序从小到大

而for一排点的时候，越靠后的点就越不会被别的点增广掉，也就是越靠后for的点“优先级”越高，越后面的点连出字典序小的边的“权利”更大，也就是保证了字典序最小

对了，如果不存在完备匹配就是No Answer

代码：

program syj; {erfentu} var e,n,i,j,k1,k2,z,ans:longint; h,a,b,p:array[0..10005]of longint; next,point:array[1..20005]of longint; v:array[0..10005]of boolean; procedure link(x,y:longint); begin inc(e); next[e]:=h[x];point[e]:=y;h[x]:=e; end; function find(i:longint):boolean; var j,k:longint; begin j:=h[i]; while j<>0 do begin k:=point[j]; if not v[k] then begin v[k]:=true; if (p[k]=-1) or find(p[k]) then begin p[k]:=i; exit(true); end; end; j:=next[j]; end; find:=false; end; begin assign(input,'transform.in');reset(input); assign(output,'transform.out');rewrite(output); readln(n); fillchar(p,sizeof(p),$FF); for i:=0 to n-1 do read(a[i]); for i:=0 to n-1 do begin j:=a[i]; if i-j>=0 then k1:=i-j else k1:=i-j+n; if i+j<n then k2:=i+j else k2:=i+j-n; if k1<k2 then begin z:=k1;k1:=k2;k2:=z; end; link(i,k1);link(i,k2); end; for i:=n-1 downto 0 do begin fillchar(v,sizeof(v),0); if find(i) then inc(ans); end; if ans=n then begin for i:=0 to n-1 do b[p[i]]:=i; for i:=0 to n-1 do write(b[i],' '); writeln; end else begin writeln('No Answer'); end; close(input); close(output); end.

不知道这个做法是不是完全正确的，但还是ac了 -_-!