题意：

　　有一篇由n个自然段组成的文章。希望将他们排成递增序列。只能剪贴和粘贴交替进行，剪贴时可以剪贴一段连续的自然段。

分析：

　　用IDA*算法求解。当3*d+h>maxd时剪枝。

代码：

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
string goal;
int n;
bool dfs(int d,int maxd,string now)
{
    int i,j,k;
    if(d==maxd)
    {
        return now==goal;
    }
    int h=0;
    for(i=0;i<n-1;++i)
        if(now[i+1]-now[i]!=1)
            ++h;
    if(d*3+h>3*maxd)
        return false;
    for(i=0;i<n;i++)
    {
        for(j=i;j<n;j++)
        {
            for(k=0;k<i;k++)
            {
                string p=now.substr(0,k);
                string q=now.substr(i,j-i+1);
                string r=now.substr(k,i-k);
                string t=now.substr(j+1,n-j);
                if(dfs(d+1,maxd,p+q+r+t))
                    return true;
            }
        }
    }
    return false;
}
int main()
{
    int a,cas=0;
    while(scanf("%d",&n)&&n)
    {
        string start="";
        int i;
        for(i=0;i<n;i++)
        {
            scanf("%d",&a);
            start+=('0'+a);
        }
        goal="";
        for(char c='1';c<='0'+n;++c)
            goal+=c;
        for(int maxd=0;;maxd++)
        {
            if(dfs(0,maxd,start))
            {
                printf("Case %d: %d\n",++cas,maxd);
                break;
            }

        }
    }
}