【Uva11212】 Editing a Book（IDA*）

【题意】

　　有n个数字的全排列，每次可以剪切一段粘贴到某个位置。问最后变成升序最少多少步。

如“｛2，4，1，5，3，6｝要2步

｛3，4，5，1，2｝只要一步

【分析】

　　迭代深搜真的AC了也觉得慌= =

　　【其实看到这题不应该想到宽搜么???

　　全排列只有9！=362880个

　　这题的IDA*的估价函数特别机智：

　　n<=9,最多2需要8步，深度上限为8。

　　考虑后继不正确的赎回自个数h，可以证明每次剪切时候h最多减少3，因此当3*d+h>3*maxd时可以剪枝。

　　【证明上面那个画一下就知道，一次复制粘贴只有3个东西的后继被影响。【机智ORZ　　....　　

 #include<cstdio>
 #include<cstdlib>
 #include<cstring>
 #include<iostream>
 #include<algorithm>
 #include<queue>
 #include<cmath>
 using namespace std;
 #define Maxn 15
 
 int a[Maxn][Maxn],v[Maxn];
 int maxd,n;
 bool ok;
 
 bool ffind(int x,int h)
 {
     if(x==maxd)
     {
         if(h!=) return ;
         ok=;return ;
     }
     if(*x+h>*maxd) return ;
     for(int i=;i<=n;i++)
      for(int j=i;j<=n;j++)
      {
         for(int k=;k<i;k++)
         {
             for(int l=i;l<=j;l++) a[x+][k+l-i]=a[x][l];
             for(int l=k;l<i;l++) a[x+][l+j-i+]=a[x][l];
             for(int l=;l<k;l++) a[x+][l]=a[x][l];
             for(int l=j+;l<=n;l++) a[x+][l]=a[x][l];
             h=;
             for(int l=;l<n;l++) if(a[x+][l+]!=a[x+][l]+) h++;
 
             ffind(x+,h);
             if(ok==) return ;
         }
         for(int k=j+;k<=n;k++)
         {
             for(int l=i;l<=j;l++) a[x+][k+l-j]=a[x][l];
             for(int l=;l<i;l++) a[x+][l]=a[x][l];
             for(int l=j+;l<=k;l++) a[x+][l-j+i-]=a[x][l];
             for(int l=k+;l<=n;l++) a[x+][l]=a[x][l];
             h=;
             for(int l=;l<n;l++) if(a[x+][l+]!=a[x+][l]+) h++;
             ffind(x+,h);
             if(ok==) return ;
         }
      }
     return ;
 }
 
 int main()
 {
     int kase=;
     while()
     {
         ok=;
         scanf("%d",&n);
         if(n==) break;
         for(int i=;i<=n;i++) scanf("%d",&a[][i]);
         int h=;
         for(int i=;i<n;i++) if(a[][i+]!=a[][i]+) h++;
         printf("Case %d: ",++kase);
         for(maxd=;maxd<=n-;maxd++)
         {
             if(ffind(,h)) {printf("%d",maxd);break;}
         }
         printf("\n");
     }
     return ;
 }

2016-11-15 09:13:56