题目大意
一个长度为
n
n
的排列,现在你要构造一个长度为的操作序列,每个操作形如
(x,y)
(
x
,
y
)
满足
x<y
x
<
y
,其效果是交换第
x
x
和第个位置。每种本质不同的操作只能用一次。
这个操作序列需要满足,从头开始执行,最终序列变回原样。
要求判断无解。
做法
先考虑如何判断无解。
当
n mod 4>1
n
m
o
d
4
>
1
时是无解的,此时操作序列长度是奇数。
可以发现,每次交换操作都会改变逆序对的奇偶性,因此操作序列长度为奇数显然无解。
其余情况均有解。
先考虑
n=4
n
=
4
的解:
1 2 3 4
3 4 1 2
2 1 4 3
1 2 3 4
然后考虑
n=5
n
=
5
的解:
1 2 3 4 5
5 1 3 4 2
3 4 5 1 2
3 4 1 2 5
2 1 4 3 5
1 2 3 4 5
现在考虑
n
n
是4的倍数怎么做:
4个为一块,分成若干块。
每个块内内部做一遍。
然后任意两块间尝试用完所有操作,且分别不变:
块内两个为一单位再隔开,然后每次从不同块里分别找一个单位,先交叉互换,再对应换回。
那么
n
n
模4余1也很好做了,只需要把和每块做一遍
n=5
n
=
5
。
#include<cstdio>
#include<algorithm>
#define fo(i,a,b) for(i=a;i<=b;i++)
using namespace std;
const int maxn=1000+10;
int a[4],b[4];
int i,j,k,l,t,n,m;
void work(){
int i,j,l,r;
fo(i,0,1)
fo(j,0,1){
l=i*2;r=j*2;
printf("%d %d\n",a[l],b[r+1]);
printf("%d %d\n",a[l+1],b[r]);
printf("%d %d\n",a[l],b[r]);
printf("%d %d\n",a[l+1],b[r+1]);
}
}
void solve4(){
printf("%d %d\n",a[0],a[2]);
printf("%d %d\n",a[1],a[3]);
printf("%d %d\n",a[0],a[3]);
printf("%d %d\n",a[1],a[2]);
printf("%d %d\n",a[0],a[1]);
printf("%d %d\n",a[2],a[3]);
}
void solve5(){
printf("%d %d\n",a[0],n);
printf("%d %d\n",a[1],n);
printf("%d %d\n",a[0],a[2]);
printf("%d %d\n",a[1],a[3]);
printf("%d %d\n",a[3],n);
printf("%d %d\n",a[2],n);
printf("%d %d\n",a[0],a[3]);
printf("%d %d\n",a[1],a[2]);
printf("%d %d\n",a[0],a[1]);
printf("%d %d\n",a[2],a[3]);
}
int main(){
scanf("%d",&n);
if (n%4>1) printf("NO\n");
else{
printf("YES\n");
fo(i,1,n/4)
fo(j,i+1,n/4){
fo(k,0,3) a[k]=(i-1)*4+k+1;
fo(k,0,3) b[k]=(j-1)*4+k+1;
work();
}
fo(i,1,n/4){
fo(k,0,3) a[k]=(i-1)*4+k+1;
if (n%4==0) solve4();else solve5();
}
}
}