IDA*——BZOJ1085/Luogu2324 [SCOI2005] 骑士精神

http://www.lydsy.com/JudgeOnline/problem.php?id=1085
https://www.luogu.org/problem/show?pid=2324
从ZJOI2017讲课学来的新东西。。。
这题也就是启发式搜索（或者称A*）
。。哦不对，是IDA*（迭代加深启发式搜索）

我们找到空位置以后直接搜索状态直到目标状态
但是显然的，暴搜是过不掉这题的
一个最优性剪枝：计算不在目标位置的骑士个数m，如果m不足以在15步范围内把所有骑士归位，剪枝（写出这个DFS就升级成为A*了）
但是这样好像还是会T啊（不过我没试过）
题中有说，步数大于15步输出-1，所以最深层数是15
有限制层数而且那么小为什么不用迭代加深呢
于是我们就可以把上面的A*优化成IDA*
也就是限制层数
这个时候把剪枝内容改一下：计算不在目标位置的骑士个数m，如果m不足以在k步范围内把所有骑士归位，剪枝（k是限制层数）
然后就可以愉快地AC了
后注：哦对，这题数据luogu中没有答案为0的情况，其实0也可以是答案当输入状态为最终状态时
感谢lc233提醒
我一开始的程序是可以被卡掉的，改好的程序在下面

#include<bits/stdc++.h>using namespace std;int a[10][10];const int dx[9]={0,1,1,-1,-1,2,2,-2,-2};const int dy[9]={0,2,-2,2,-2,1,-1,1,-1};bool flag;const int b[6][6]={{0,0,0,0,0,0},{0,1,1,1,1,1},{0,0,1,1,1,1},{0,0,0,2,1,1},{0,0,0,0,0,1},{0,0,0,0,0,0}};inline bool check(int a[10][10]){//目标状态判定    for(int i=1;i<=5;i++)        for(int j=1;j<=5;j++)if(a[i][j]!=b[i][j])return 0;    return 1;   }inline bool A(int a[10][10],int p,int k){//最优性剪枝    int m=0;    for(int i=1;i<=5;i++)        for(int j=1;j<=5;j++)if(a[i][j]!=b[i][j]){            m++;            if(m+p>k)return 0;        }    return 1;}inline void dfs(int p,int a[10][10],int k,int x,int y){    if(flag)return;    if(p==k){        if(check(a))flag=1;        return;    }    for(int i=1;i<=8;i++){        int xx=x+dx[i],yy=y+dy[i];        if(xx<1||xx>5||yy<1||yy>5)continue;        swap(a[x][y],a[xx][yy]);        if(A(a,p,k))dfs(p+1,a,k,xx,yy);        swap(a[x][y],a[xx][yy]);    }}int main(){    int t,x,y;scanf("%d",&t);    while(t--){        flag=0;        for(int i=1;i<=5;i++){            char c[10];scanf("%s",c+1);            for(int j=1;j<=5;j++)                if(c[j]=='*')a[i][j]=2,x=i,y=j;                else a[i][j]=c[j]-'0';        }        for(int i=0;i<=15;i++){//i限制层数            dfs(0,a,i,x,y);            if(flag){                printf("%d\n",i);                break;            }        }        if(flag)continue;        printf("-1\n");    }    return 0;}