【UVA-11212】Editing a Book（IDA*）

此题为紫书例题7-10，表示花了好长时间才调试正确！有以下几点总结吧：

1. 此题使用IDA*不是特别好想，笔者认为IDA*可以理解为DFS的加强版。此题使用的剪枝策略是看与后一个数字不匹配的数字个数ha，剪枝条件3*d+s.ha() > 3*maxd
2. 应该选用正确的策略，有些策略感觉是对的，实际并不是。如果WA了可以看一下数据5 4 3 2 1，应该输出3.
3. 不要忘记初始化数组和集合！没初始化导致我WA了几次找不出错误
4. 注意maxd可能为0，如1 2 3 4时应输出0

#include<bits/stdc++.h>
#define REP(i,n) for(int i=0;i<n;++i)
#define ms0(s) memset(s,0,sizeof(s))
using namespace std;
typedef long long ll;
int n,maxd;
struct State{
	int p[9];
	inline int ha(){
		int cnt=0;
		REP(i,n-1) if(p[i+1]!=p[i]+1) ++cnt;
		return cnt;
	}
	inline int code(){
		int cd=0;
		REP(i,n) cd=10*cd+p[i];
		return cd;
	}
};
State ini;
set<int> vis;
bool IDA(int d,State s){
	if(3*d+s.ha() > 3*maxd) {
		return 0;
	}
	if (d == maxd){
		if(s.ha()) return 0;
		return 1;
	}
	for(int i=1;i<n;++i){
		for(int j=i;j<n;++j){
			int len = j-i+1;
			for(int k=0;k<i;++k){
				State ss=s;
				for(int it=k;it!=k+len;++it) ss.p[it] = s.p[it+i-k];
				for(int it=k+len;it<=j;++it) ss.p[it] = s.p[it-len];
				int cc = ss.code() ;
				if(vis.count(cc)) {
					continue;
				}
				else{
					if(IDA(d+1,ss)) return 1;
				}
			}
		}
	}
	return 0;
}
int main()
{
	int kase=0;
	while(~scanf("%d",&n) && n){
		REP(i,n) scanf("%d",&ini.p[i]);
		vis.clear();
		vis.insert(ini.code());
		for(maxd=0; maxd<n; ++maxd){
			if(IDA(0,ini)) break;
		}
		printf("Case %d: %d\n",++kase,maxd);
	}
	return 0;
}