[CF804E]The same permutation

题目大意

一个长度为$n$的排列，现在你要构造一个长度为$\frac{n(n-1)}{2}$的操作序列，每个操作形如$(x,y)$满足$x\lt y$，其效果是交换第$x$和第$y$个位置。每种本质不同的操作只能用一次。
这个操作序列需要满足，从头开始执行，最终序列变回原样。
要求判断无解。

做法

先考虑如何判断无解。
当$n\ mod\ 4\gt 1$时是无解的，此时操作序列长度是奇数。
可以发现，每次交换操作都会改变逆序对的奇偶性，因此操作序列长度为奇数显然无解。
其余情况均有解。
先考虑$n=4$的解：
1 2 3 4
3 4 1 2
2 1 4 3
1 2 3 4
然后考虑$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$是4的倍数怎么做：
4个为一块，分成若干块。
每个块内内部做一遍$n=4$。
然后任意两块间尝试用完所有操作，且分别不变：
块内两个为一单位再隔开，然后每次从不同块里分别找一个单位，先交叉互换，再对应换回。
那么$n$模4余1也很好做了，只需要把$n$和每块做一遍$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();
        }
    }
}