UVA11212 编辑书稿 Editing a Book

知识点：深搜，迭代加深，IDA*

这个题算是IDA*算法的练习题，和POJ的booksort基本是一样的，那个题的数据是16，但是限制是5层，这两个题仅仅是数据不一样但是方法是一样的，这个题首先就是估算一个状态的分支有多少，比如说有连着两块A和B，我们把A放到B的后面和把B放到A的前面是等价的，所以我们粘贴的时候，统一只往后面粘贴，然后枚举长度，起点的位置，可得到几种可选择的位置，这样以16为例，每个状态的分支是560，十分大，可以使用双向BFS，或者IDA*算法，

另一个思考的角度是我们发现长度为n的序列最多用n次就可以把整个序列排序完成，这也算是限制了搜索的深度，所以可以用IDA*算法，

然后就是估价函数，因为这个是排列，我们可以从后继或者前驱的角度去思考，N个数就有N个前驱，那么什么时候序列是有序的，所有的数字和前驱的差值是1那么这个序列就是有序的，所以我们先统计和前驱差值不是1的个数，然后我们发现每次复制粘贴，最多改变三个元素的前驱，如果是两端则是仅仅会改变两个，符合不超过三个，估价函数的设计准则是乐观估计，所以，即使最乐观的情况下，每次改变3个元素的前驱，那么从当前状态到有序的终点状态，也最少需要不是1的个数除以3向上取整，这个就是估价函数了，第一次遇见还是想不出来的，最后就是函数的实现，用到了memcpy，会简化一下代码的实现，最后60ms，实在不知道怎么优化了

其实这个题抽象出来的搜索的模型是我们在一个序列里面找出一个连续的子序列，然后这个连续的子序列再分成两半，互换位置，这算是一次的操作，问最少几次操作能让序列有序，所以我们选择连续的子序列分成两半的时候，我们不要把一个连续的子序列给拆开，这样做显然不会让结果更优，但是加上了这个剪枝，还是60ms，时间也没变快，刘汝佳还给了别的剪枝，但是说正确性不保证，他都说正确性不保证了给不出证明那我也就不思考了

#include <bits/stdc++.h>

using namespace std;

const int N = 10;

int n, a[N], max_d, flag, b[N][N];

void dfs(int dep) {
	if (flag) return;
	int cnt = 0;
	for (int i = 1; i <= n; i++) {
		if (a[i - 1] + 1 != a[i]) cnt++;
	}
	if (!cnt) {
		flag = 1;
		return;
	}
	if ((cnt + 2) / 3 + dep > max_d || dep == max_d) return;
	for (int len = 1; len <= n - 1; len++) {
		for (int l = 1; l <= n - len; l++) {
			for (int u = l + len; u <= n; u++) {
				int r = l + len - 1;
				memcpy(b[dep], a, sizeof(a));
				for (int i = l; i <= l + len - 1; i++) a[i + u - r] = b[dep][i];
				for (int i = l + len; i <= u; i++) a[i - len] = b[dep][i];
				dfs(dep + 1);
				memcpy(a, b[dep], sizeof(a));
			}
		}
	}
}

int main() {
	int Case = 1;
	while (scanf("%d", &n) && n) {
		for (int i = 1; i <= n; i++) {
			scanf("%d", &a[i]);
		}
		flag = 0;
		for (max_d = 0; ; max_d++) {
			dfs(0);
			if (flag) { printf("Case %d: %d\n", Case++, max_d); break; }
		}
	}
	return 0;
}