Uva11212

... 에서 벗어나다https://www.cnblogs.com/collectionne/p/6792050.html스스로 새로운 가속 전략을 생각해 냈으니 대단하다
그리고 이 블로그는 IDA*의 기본 프레임워크를 썼습니다.https://blog.csdn.net/cFarmerReally/article/details/52124815

//Rey Uva11212  10ms
//           1 2，       
#include

const int maxn = 9;

int n,a[maxn];

inline bool End()
{
    for(int i = 1; i < n; i++){
        if(a[i] <= a[i-1]) return false;
    }
    return true;
}

inline int h()
{
    int cnt = 0;
    for(int i = 1; i < n; i++)
        if(a[i] != a[i-1]+1) cnt++;
    return cnt;
}

int maxd;
const int intsz = sizeof(int);
const int asz = sizeof(a);
bool dfs(int d)
{
    if(3*d + h() > 3*maxd) return false;
    if(d==maxd && End()) return true;

    int old[maxn];//  a
    memcpy(old,a,asz);
    int b[maxn];//   

    for(int i = 0; i < n; i++) if( i == 0 || old[i] != old[i-1] + 1) //  3                 
    for(int j = i; j < n; j++) { //       3
        while(j+1 < n && old[j+1] == old[j] + 1)j++;//  3
        memcpy(b,old+i,intsz*(j-i+1));
        //      
        for(int k = j+1;k < n;k++){//     ，                 【          ！】
            while(k+1 < n && old[k+1] == old[k] + 1)k++;//  3    
            memcpy(a+i,old+j+1,intsz*(k-j));
            memcpy(a+i+k-j,b,intsz*(j-i+1));
            if(dfs(d+1))return true;
            //  
            memcpy(a,old,asz);
        }
    }
    return false;
}

inline int solve()
{
    if(End())return 0;
    for(maxd = 1; maxd < 5 ;maxd++)
        if(dfs(0)) return maxd;
    return 5;
}
int main()
{
    //freopen("in.txt","r",stdin);
    int Cas = 0;
    while(~scanf("%d",&n)&&n) {
        for(int i = 0; i < n; i++)
            scanf("%d",a+i);
        int ans = solve();
        printf("Case %d: %d
",++Cas,ans);
    }
    return 0;
}