UVA-1611（构造）--纪念自己真正意义上的第一道构造题

曲师大终于放假啦，我终于找到能够充电的自习室了，寒假就一直屯在这里学习吧
emmmm今天下午还是继续肝紫书，就遇到了这一道构造题，想题的时候一直在想二分+分治的解法，感觉有一点思路但有的操作并不能够实现，因为进行一次操作的时候就会影响到其他的的位置，就一直没有思路。
后来看了题解之后才知道这是一道构造题，以前一直对这个概念没什么印象。这差不多也算是自己的第一道构造题，构造杀我…
emmmm回到正题
题意：任意给定n的一个排列，可选定一个偶数长度的连续序列，将序列前半部分和后半部分进行移位，最后将该序列搞成升序，并规定操作数<=9e6。
思路：定义i，让i从1到n遍历序列，若a[i]=i,则continue;
若a[i]!=i,则从i+1开始遍历序列找到a[j]=i，进行如下操作：
（1）若2j-1-i<=n，则swap(i,2j-1-i);
（2）否则,如果i—j之间数的个数是偶数的话，t=i;奇数则t=i+1,swap(t,j);并更新j=（t+j）/2;再swap(i,j)即可；
最后将结果保存在ans里输出即可。
附上AC代码

#include <bits/stdc++.h>
#define FOPI freopen("INPUT.TXT", "r", stdin)
#define DOPI freopen("OUTPUT.TXT", "w", stdout)
#define FOR(i, x, y) for(int i = x; i <= y; i ++)
#define ROF(i, x, y) for(int i = x; i >= y; i --)
using namespace std;
typedef long long int ll;
const int ind=0x3f3f3f3f,N=1e4+10;
int a[N];
typedef pair<int,int> p;
const ll inlld=0x3f3f3f3f3f3f3f3f,mod=998244353;
vector<p> ans;
void Swap(int x,int y)
{
    int m=x+(y-x)/2;
    int j=1;
    for(int i=x;i<=m;i++){
        int t=a[j+m];
        a[j+m]=a[i];
        a[i]=t;j++;
    }
}
int main()
{
    ios::sync_with_stdio(false);
    int t;cin>>t;
//    DOPI;
    while(t--){
        ans.clear();
        int n;cin>>n;
        for(int i=1;i<=n;i++)cin>>a[i];
        for(int i=1;i<=n;i++){
            if(a[i]==i)continue;
            else {int j;
                for( j=i+1;j<=n;j++){
                    if(a[j]==i)break;
                }
                if(2*j-1-i>n){
                    int t=i;
                    if((j-i)&1) t=i;
                    else t=i+1;
                    ans.push_back(p(t,j));
                    Swap(t,j);
//                    j=(j-t+1)/2;
                    j=(j+t)/2;
//                    Swap(i,t+(j-t)/2);
                }
//                else {
                    Swap(i,2*j-1-i);
                    ans.push_back(p(i,2*j-1-i));
//                    }
            }
        }
//        for(int i=1;i<=n;i++) cout << a[i];
//        cout << endl;
        cout << ans.size() << endl;
        for(int i=0;i<ans.size();i++)cout << ans[i].first << ' ' << ans[i].second << endl;
    }
    return 0;
}
/*
2
6
5 4 6 3 2 1
5
1 2 3 4 5

2
5
5 4 3 2 1
6
6 4 3 5 1 2
*/