[2017纪中11-1]序列 搜索+IDA*

题面
每次将 n 翻转到 x1 再翻转到 xn，可以得到一个不超过2n-2 步的做法。由于步数不多，我们可以使用迭代加深搜索。
我们发现每次翻转只会改变一对相邻数对，因此对于一个状态求出相差>1 的相邻数对的数量，剩余步数一定大于这个值。加上这个剪枝就能通过本题。
代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
using namespace std;
int n,m,a[30];
bool pd;
inline void reverse(int k)
{
    for(int i=1;i<=(k>>1);i++)
        swap(a[i],a[k-i+1]);
}
inline bool check()
{
    for(int i=1;i<=n;i++)
        if(a[i]!=i) return 0;
    return 1;   
}
inline void dfs(int d)
{
    int k=0;
    for(int i=1;i<n;i++)
        k+=(abs(a[i]-a[i+1])>1);
    if(d+k>m) return;
    if(check()){pd=1;return;}
    for(int i=2;i<=n;i++)
    {
        reverse(i);
        dfs(d+1);
        reverse(i);
        if(pd) return ;
    }
}
int main()
{
    int ca;
    scanf("%d",&ca);
    while(ca--)
    {
        scanf("%d",&n);
        for(int i=1;i<=n;i++)
            scanf("%d",&a[i]);
        for(m=0;;m++)
        {
            pd=0;
            dfs(0);
            if(pd) break;
        }
        printf("%d\n",m);
    }
    return 0;
}