大体题意:
给你一个n 个数全排列数组,要求你可以选择一个连续的序列 随便插到一个位置,求最少几步 能到达严格上升的序列?
思路:
正解是IDA*搜索。
一开始简单的以为是BFS ,一想 他还是一个 全排列的数组 用康托展开不正好可以完美哈希么,就写了个bfs 加了一些剪枝 ,9个数的数据跑的非常慢。
应该用dfs。
根据刘汝佳的分析,有几个地方分析的非常巧妙。
我们可以利用后继不正确的数字的个数h。 (简单来说,就是有h 对数字不满足+1的关系)。
每一层dfs 最多减少的h 是3 这个很好理解。
比如有个数组是 a b c e,现在变成了 a c b e
那么连接点变了,a和b 之间的连接点变成了 a和c, b 和c 变成了c 和b,c 和 e 变成了 b 和e,变化了3个 所以最多就减少了3了。
那么可以推出一个剪枝来。
3*d + h() > 3*maxd 的话 就肯定不合适了。 d 是当前层数, maxd 是枚举的最大层数。 h 是后继不正确数字的个数。
枚举到第d 层时,最多减少了3*d 个后继不正确数字。 h() 是当前的后继不正确数字的个数, 如果加起来 超过了 maxd 最多能处理的后继不正确数字个数,那么肯定不合适了。
这个剪枝很强力,换了个类似的 就跑不出极限数据了。。。
剩下的就是枚举剪切哪一个连续的序列了,这里也有一个剪枝,就是策略3, 一个连续的不要被破坏,想一想就是正确的。。 可以看成一个整体 不用动肯定最好,否则还会增加后继不正确数字的个数。
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
int n, a[10], ks;
bool check(){
for (int i = 0; i < n; ++i) if (a[i] != i+1) return false;
return true;
}
int h(){
int ans = 0;
for (int i = 0; i < n-1; ++i) if (a[i] + 1 != a[i+1]) ++ans;
return ans;
}
bool dfs(int d,int maxd){
if (d > maxd) return false;
if (3*d + h() > 3*maxd) return false;
if (check()) return true;
int b[10], c[10];
memcpy(b,a,sizeof a);
for (int i = 0; i < n; ++i){
for (int j = i; j < n; ++j){
bool ok = 1;
for (int k = i+1; k <= j; ++k){
if (a[k-1] + 1 != a[k]) {
ok = 0;
break;
}
}
if (ok){
if (j < n-1 && a[j+1] == a[j] + 1) continue;
if (i > 0 && a[i-1] +1 == a[i]) continue;
}
for (int k = 0; k < i; ++k){
int cnt= 0;
for (int l = 0; l < k; ++l) c[cnt++] = a[l];
for (int l = i; l <= j; ++l) c[cnt++] = a[l];
for (int l = k; l < i; ++l) c[cnt++] = a[l];
for (int l = j+1; l < n; ++l) c[cnt++] = a[l];
memcpy(a,c,sizeof c);
if (dfs(d+1,maxd)) return true;
memcpy(a,b,sizeof b);
}
for (int k = j+2; k < n; ++k){
int cnt = 0;
for (int l = 0; l < i; ++l)c[cnt++] = a[l];
for (int l = j+1; l < k; ++l) c[cnt++] = a[l];
for (int l = i; l <= j; ++l) c[cnt++] = a[l];
for (int l = k; l < n; ++l) c[cnt++] = a[l];
memcpy(a,c,sizeof c);
if (dfs(d+1,maxd)) return true;
memcpy(a,b,sizeof b);
}
}
}
return false;
}
int main(){
while(~scanf("%d",&n) && n){
for (int i = 0; i < n; ++i) scanf("%d",a+i);
printf("Case %d: ",++ks);
if (check()) puts("0");
else {
for (int maxd = 1;; ++maxd) {
if (dfs(0,maxd)) {
printf("%d\n",maxd);
break;
}
}
}
}
return 0;
}