#include<cstdio>
#include<cstring>
using namespace std;
const int maxn = 9;
int n, a[maxn];
bool is_sorted()//判断是否得到正确结果
{
for(int i = 0; i < n-1; i++)
if(a[i] >= a[i+1]) return false;
return true;
}
int h()//求有几个数的后继不正确
{
int cnt = 0;
for(int i = 0; i < n-1; i++)
if(a[i]+1 != a[i+1]) cnt++;
if(a[n-1] != n) cnt++;
return cnt;
}
bool dfs(int d, int maxd)
{
if(d*3 + h() > maxd*3) return false;//剪枝关键,当前深度加上当前后继不正确数除以三如果大于最大限度(就是当前剪辑次数d加上还得需要的剪辑次数h/3如果大于最多剪辑次数),则说明无法成功(这也是考虑最好的情况下,即每次剪辑都会使h取最大值3)
if(is_sorted()) return true;
int b[maxn], olda[maxn];
memcpy(olda, a, sizeof(a));//把当前这个dfs的a复制一遍用来储存
for(int i = 0; i < n; i++)//这两层循环是枚举要剪下来的片段,枚举了首尾节点
for(int j = i; j < n; j++)
{
int cnt = 0;
for(int k = 0; k < n; k++)
if(k < i || k > j) b[cnt++] = a[k];//把剪辑下来剩下的存在b数组中
for(int k = 0; k <= cnt; k++)//在剩下的长度下重新排列a,也就是把剪辑下来的片段插进剩下的片段
{
int cnt2 = 0;
for(int p = 0; p < k; p++) a[cnt2++] = b[p];//先在剩下的片段里面选前k个组成新的a
for(int p = i; p <= j; p++) a[cnt2++] = olda[p];//把剪辑出来的跟在后面
for(int p = k; p < cnt; p++) a[cnt2++] = b[p];//再把剪辑剩下的放在新的a最后面,这三步总的说就是把一段剪辑出来插入剪辑剩下的那一段中组成新的a
if(dfs(d+1, maxd)) return true;//递归新的a,这个地方会有一个新的a和原始的a一样,但是递归深度加一了
memcpy(a, olda, sizeof(a));//记得把原来的a在复制回去
}
}
return false;
}
int solve()
{
if(is_sorted()) return 0;
int max_ans = 5;
for(int maxd = 1; maxd < max_ans; maxd++)//这个地方在枚举最大的深度,至于为什么是5我还不知道,可以改成8
if(dfs(0, maxd)) return maxd;
return max_ans;
}
int main()
{
int kase = 0;
while(scanf("%d", &n) == 1 && n)
{
for(int i = 0; i < n; i++) scanf("%d", &a[i]);
printf("Case %d: %d\n", ++kase, solve());
}
return 0;
}
第一次做IDA*,代码是刘汝佳的。总体思路就是,这个剪辑操作状态太多,所以要想办法让它不超时,所以用启发函数,就是那个d*3+h()>maxd*3来提前计算下当前状态能否剪辑成功,就是一种剪枝。