uva 11212編集原稿の反復が深まります.

is_success()//    
h()//    ，    
dfs()//  
{
    is_success();
    h();//  h()        
    for()//    
    {
              。
              。
            。//    memcpy()    
    }
}
solve()//        
{
    if(is_success)//         。
    int max_ans;//     
    for(maxd = 0;;maxd++)
    {
        if(dfs(0,maxd))
            return maxd;
    }
    return max_ans;
}

#include 
#include 
#include 

using namespace std;
const int maxn = 10;

int n, book[maxn];

bool is_goal() {//      
    bool ok = true;
    for(int i = 0; i < n; i++) {
        if(book[i] != i + 1) {
            ok = false;
            break;
        }
    }
    return ok;
}

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


bool dfs(int d, int maxd) {
    if(3 * d + h() > maxd * 3)  return false;           //  ，                
    if(is_goal())               return true;

                                                        //            
    int old_book[maxn];                                 //       book     ，       book
    int past_to[maxn];                                  //         
    for(int i = 0; i < n; i++)
    for(int j = i; j < n; j++) {                        //          ，i     ，j     
        memcpy(old_book, book, sizeof(book));           //    book

        int cnt = 0;
        for(int k = 0; k < n; k++)
            if(k < i || k > j)
                past_to[cnt++] = book[k];               //      

        for(int k = 0; k <= cnt; k++) {                 //        k    
            int cnt2 = 0;                               //      
            for(int p = 0; p < k; p++)      book[cnt2++] = past_to[p];
            for(int p = i; p <= j; p++)     book[cnt2++] = old_book[p];
            for(int p = k; p < cnt; p++)    book[cnt2++] = past_to[p];

            if(dfs(d + 1, maxd))    return true;        //    
            memcpy(book, old_book, sizeof(old_book));   //                    
        }//        ，        。
    }
    return false;
}

int solve() {//        
    if(is_goal())   return 0;
    for(int maxd = 0; maxd < 9; maxd++)                 //    ，     9 dfs      
        if(dfs(0, maxd))    return maxd;
    return -1;
}

int main()
{
    //freopen("input.txt", "r", stdin);
    int kase = 0;
    while(~scanf("%d", &n) && n) {
        memset(book, 0, sizeof(book));
        for(int i = 0; i < n; i++)  scanf("%d", &book[i]);
        printf("Case %d: %d
", ++kase, solve());
    }
    return 0;
}