Acwing 180.排书

算法标签：ida*

题目链接：排书

题目大意：

给定一个1~n的随机序列，每次操作可以任选一段序列移出来放到某个位置的后面，如果能在4步操作之内把该序列变成1~n的升序则输出操作步数，否则输出“5 or more”

思路：

当抽取长度为i的一段时，有n-i+1中抽发，对于每种抽法，有n-i种放法。另外，将某一段向前移动，等价于跳过的那段向后移动，因此每种移动方式被算了两次，所以每个状态的分支数量是：

=(15*14+14*13+……+2*1)/2=560.

考虑在四部以内解决，最多都560^4个状态，普通的dfs肯定会超时，所以可以使用ida*来优化。

被题的难点就是找估价函数，因为每次最多会断开三个相连的位置，所以每次最多会将三个错误的位置修正（每次都要算出改状态的错误位置有几个），假设当前有tot个错误链接，则最少需要tot/3(上取整)次操作,所以估计函数f（）=tot/3(上取整)=(tot+2）/3(下取整)。

其余细节看代码注释

本题代码：

#include<bits/stdc++.h>
using namespace std;
#define sf(x) scanf("%lld",&x)
#define sff(x,y) scanf("%lld%lld",&x,&y)
#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
#define pii pair<int,int> 
#define ff first 
#define s second
#define int long long

const int N=20;
int t,m;
int a[N];

//估价函数
int f()
{
	int sum=0;
	for(int i=1;i<m;i++) 
		if(a[i]!=a[i-1]+1) //计算错误的连接
			sum++;
	return (sum+2)/3;
}

//检测是否已经满足条件
bool check()
{
	int flag=1;
	for(int i=0;i<m;i++)
		if(a[i]!=i+1)
		{
			flag=0;
			break;
		}
	return flag;
}


bool dfs(int u,int maxd)
{
    
    //如果预估总距离>限制 直接返回
    //预估总距离=预估该店到终点的距离即f()+起点到该点的真实距离
	if(u+f()>maxd) return 0;
	
	//如果满足条件直接返回true
	if(check())	return 1;
	
	//先枚举截取长度
	for(int len=1;len<=m;len++)
	{
	    //枚举起点
		for(int i=0;i+len<m;i++)
		{
			int r=i+len;
			for(int j=r;j<m;j++)
			{
			    //下面操作就是将一段放到某个位置的后面，方法比较蠢【哭笑】【哭笑】
				int st[N]={0},b[N]={0},cnt=0;
				for(int k=0;k<m;k++)
					st[k]=a[k];
				for(int k=0;k<i;k++) b[cnt++]=a[k];
				for(int k=r;k<=j;k++) b[cnt++]=a[k];
				for(int k=i;k<r;k++) b[cnt++]=a[k];
				for(int k=j+1;k<m;k++) b[cnt++]=a[k];
				for(int k=0;k<m;k++) a[k]=b[k];
				
				if(dfs(u+1,maxd)) return 1;
				
				//恢复现场
				for(int k=0;k<m;k++) a[k]=st[k];
 			}
		}
	}
	return 0;
}

signed main()
{
	sf(t);
	while(t--)
	{
		sf(m);
		for(int i=0;i<m;i++) sf(a[i]);
		int d=0;
		
		//迭代加深模板
		while(d<5&&!dfs(0,d)) d++;
		
		if(d==5) cout<<"5 or more"<<endl;
		else cout<<d<<endl;
	}
}