例题7-10 UVA 11212 Editing a Book （IDA*搜索）

大体题意：

给你一个n 个数全排列数组，要求你可以选择一个连续的序列 随便插到一个位置，求最少几步 能到达严格上升的序列？

思路：

正解是IDA*搜索。

一开始简单的以为是BFS ，一想 他还是一个 全排列的数组 用康托展开不正好可以完美哈希么，就写了个bfs  加了一些剪枝 ，9个数的数据跑的非常慢。

应该用dfs。

根据刘汝佳的分析，有几个地方分析的非常巧妙。

我们可以利用后继不正确的数字的个数h。 （简单来说，就是有h 对数字不满足+1的关系）。

每一层dfs 最多减少的h 是3  这个很好理解。

比如有个数组是  a b  c   e，现在变成了  a  c  b  e

那么连接点变了，a和b 之间的连接点变成了 a和c，  b 和c 变成了c 和b，c 和 e 变成了 b 和e，变化了3个  所以最多就减少了3了。

那么可以推出一个剪枝来。

3*d + h() > 3*maxd  的话 就肯定不合适了。  d 是当前层数，  maxd  是枚举的最大层数。  h 是后继不正确数字的个数。

枚举到第d 层时，最多减少了3*d  个后继不正确数字。 h() 是当前的后继不正确数字的个数，  如果加起来 超过了 maxd  最多能处理的后继不正确数字个数，那么肯定不合适了。

这个剪枝很强力，换了个类似的 就跑不出极限数据了。。。

剩下的就是枚举剪切哪一个连续的序列了，这里也有一个剪枝，就是策略3，  一个连续的不要被破坏，想一想就是正确的。。 可以看成一个整体 不用动肯定最好，否则还会增加后继不正确数字的个数。

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
int n, a[10], ks;
bool check(){
    for (int i = 0; i < n; ++i) if (a[i] != i+1) return false;
    return true;
}
int h(){
    int ans = 0;
    for (int i = 0; i < n-1; ++i) if (a[i] + 1 != a[i+1]) ++ans;
    return ans;
}
bool dfs(int d,int maxd){
    if (d > maxd) return false;
    if (3*d + h() > 3*maxd) return false;
    if (check()) return true;
    int b[10], c[10];
    memcpy(b,a,sizeof a);
    for (int i = 0; i < n; ++i){
        for (int j = i; j < n; ++j){
            bool ok = 1;
            for (int k = i+1; k <= j; ++k){
                if (a[k-1] + 1 != a[k]) {
                    ok = 0;
                    break;
                }
            }
            if (ok){
                if (j < n-1 && a[j+1] == a[j] + 1) continue;
                if (i > 0 && a[i-1] +1 == a[i]) continue;
            }
            for (int k = 0; k < i; ++k){
                int cnt=  0;
                for (int l = 0; l < k; ++l) c[cnt++] = a[l];
                for (int l = i; l <= j; ++l) c[cnt++] = a[l];
                for (int l = k; l < i; ++l) c[cnt++] = a[l];
                for (int l = j+1; l < n; ++l) c[cnt++] = a[l];
                memcpy(a,c,sizeof c);
                if (dfs(d+1,maxd)) return true;
                memcpy(a,b,sizeof b);
            }

            for (int k = j+2; k < n; ++k){
                int cnt = 0;
                for (int l = 0; l < i; ++l)c[cnt++] = a[l];
                for (int l = j+1; l < k; ++l) c[cnt++] = a[l];
                for (int l = i; l <= j; ++l) c[cnt++] = a[l];
                for (int l = k; l < n; ++l) c[cnt++] = a[l];
                memcpy(a,c,sizeof c);
                if (dfs(d+1,maxd)) return true;
                memcpy(a,b,sizeof b);
            }
        }
    }
    return false;

}
int main(){
    while(~scanf("%d",&n) && n){
        for (int i = 0; i < n; ++i) scanf("%d",a+i);
        printf("Case %d: ",++ks);
        if (check()) puts("0");
        else {
            for (int maxd = 1;; ++maxd) {
                if (dfs(0,maxd)) {
                    printf("%d\n",maxd);
                    break;
                }
            }
        }
    }
    return 0;
}