[A/A*算法]使用A算法解决八数码问题

    马上要考人工智能课。。。 想起来之前写了一个贼水的A算法(不知道算不算A*)解八数码(或者是九宫格拼图?)
(感觉搜索的很慢,难道我代码实现有bug?)
先贴一波最终结果
5 4 1 
6 7 0 
2 8 3 

5 4 1 
6 7 3 
2 8 0 

5 4 1 
6 7 3 
2 0 8 

5 4 1 
6 0 3 
2 7 8 

5 4 1 
0 6 3 
2 7 8 

0 4 1 
5 6 3 
2 7 8 

4 0 1 
5 6 3 
2 7 8 

4 1 0 
5 6 3 
2 7 8 

4 1 3 
5 6 0 
2 7 8 

4 1 3 
5 0 6 
2 7 8 

4 1 3 
0 5 6 
2 7 8 

4 1 3 
2 5 6 
0 7 8 

4 1 3 
2 5 6 
7 0 8 

4 1 3 
2 0 6 
7 5 8 

4 1 3 
0 2 6 
7 5 8 

0 1 3 
4 2 6 
7 5 8 

1 0 3 
4 2 6 
7 5 8 

1 2 3 
4 0 6 
7 5 8 

1 2 3 
4 5 6 
7 0 8 

1 2 3 
4 5 6 
7 8 0 

allCost=370,depth=19
usedtime=12143ms

节点类


class state {
	int id;
	int fatherId;
	int cost;
	int x,y;
	int depth;
	Integer[][] m = new Integer[3][3];
	state(Integer[][] m,int depth,int id,int fatherId) {
		this.depth=depth;
		this.cost=caculateCost();
		this.m=m;
		this.id=id;
		this.fatherId=fatherId;
	}
	boolean isEqual(state k){
		for(int i=0;i<3;i++) {
			for(int j=0;j<3;j++) {
					if(k.m[i][j]!=m[i][j])
						return false;
			}
		}
		return true;
	}
	void findZero() {
		for(int i=0;i<3;i++) {
			for(int j=0;j<3;j++) {
				if(0==m[i][j]) {
					x=i;
					y=j;
				}
			}
		}
	}
	int caculateCost() {
		int value=9;
		Integer[][] end ={{1,2,3}
		,{4,5,6},
		{7,8,0}};
	for(int i=0;i<3;i++) {
		for(int j=0;j<3;j++) {
			if(m[i][j]==end[i][j])
				value--;
		}
	}
		return value+depth;
	}
	void print(){
		for(int i=0;i<3;i++) {
			for(int j=0;j<3;j++) {
					System.out.print(m[i][j]+" ");
			}
			System.out.println("");
		}
	}
	void copyTo(Integer[][] s) {
		for(int i=0;i<3;i++) {
			for(int j=0;j<3;j++) {
				s[i][j]=m[i][j];
			}
		}
	} 
然后是实现搜索的类
大概思路是根据空格位置的不断移动来产生不同的新状态(子节点),放入list里遍历,对每个节点估价,高得放前边先搜索,低的后搜索。
估价函数大概是这样 f(n)=g(n)+h(n)
启发函数h(n)用的是不在正确位置的数码的个数。
g(n) 是从初始结点到结点 n 的最小代价
public class Away {
	ArrayList<state> openTable = new ArrayList<>();
	ArrayList<state> closedTable = new ArrayList<>();
	ArrayList<state> ansTable = new ArrayList<>();
	state endState;
	state firstState;
	static long startTime;
	static int id=0;
	public static void main(String[] args) {
		Away a= new Away();
		Integer[][] end ={{1,2,3}
						,{4,5,6},
						{7,8,0}};
		Integer[][] start ={{5,4,1}
							,{6,7,0},
							{2,8,3}};
		a.endState = new state( end,-1,-1,-1);
		a.firstState=new state(start,0,-1,-1);
		a.openTable.add(a.firstState);
		startTime= System.currentTimeMillis(); //程序开始记录时间
		a.expand(a.firstState);
		while(a.openTable.size()!=0) {
			a.expand(a.openTable.get(0));
		}
		System.out.println("failed");
		
	}
	void addNode(state node) {

	if(node.isEqual(endState)) {
		long endTime   = System.currentTimeMillis(); //程序结束记录时间
		long TotalTime = endTime - startTime;
		
		int fatherId=node.fatherId;
		ansTable.add(node);
		for(int i=0;i<closedTable.size();i++) {
			
			if(closedTable.get(i).id==fatherId) {
				ansTable.add(0,closedTable.get(i));
				
				if(closedTable.get(i).fatherId==-1) {
					break;
				}
				else {
					fatherId=closedTable.get(i).fatherId;
				}
				i=0;
				
			}
		}
		ansTable.add(0,firstState);
		int allCost=0;
		for(int i=0;i<ansTable.size();i++) {
			ansTable.get(i).print();
			allCost=ansTable.get(i).cost+allCost;
			System.out.println();
		}
		System.out.println("allCost="+allCost+",depth="+node.depth);
		System.out.println("usedtime="+TotalTime+"ms");
		System.exit(0);
	}
	
	if(isContains(closedTable, node)){

		return;
	}
	
		for(int i=0;i<openTable.size();i++) {
			if(openTable.get(i).isEqual(node)) {
				if(openTable.get(i).cost<=node.cost)
					return;
			else
					openTable.remove(node);
			}
		}

		if(!isContains(openTable, node)){
			for(int i=0;i<openTable.size();i++) {
				if(openTable.get(i).cost>=node.cost) {
					openTable.add(i, node);
					return;
				}
			}
			openTable.add(node);
		}
	}
	void expand(state node){
		closedTable.add(node);
		openTable.remove(node);
		node.findZero();
		int x=node.x,y=node.y;
		if(x+1!=3) {
			Integer[][] n=new Integer[3][3];
			node.copyTo(n);
			n[x][y]=n[x+1][y];
			n[x+1][y]=0;
			int dep=node.depth;
			state newNode = new state(n,dep+1,id,node.id);
			id++;
			addNode(newNode);
		}
		if(x-1!=-1) {
			Integer[][] n=new Integer[3][3];
			node.copyTo(n);
			n[x][y]=n[x-1][y];
			n[x-1][y]=0;
			int dep=node.depth;
			state newNode = new state(n,dep+1,id,node.id);
			id++;
			addNode(newNode);
		}
		if(y-1!=-1) {
			Integer[][] n=new Integer[3][3];
			node.copyTo(n);
			n[x][y]=n[x][y-1];
			n[x][y-1]=0;
			int dep=node.depth;
			state newNode = new state(n,dep+1,id,node.id);
			id++;
			addNode(newNode);
		}
		if(y+1!=3) {
			Integer[][] n=new Integer[3][3];
			node.copyTo(n);
			n[x][y]=n[x][y+1];
			n[x][y+1]=0;
			int dep=node.depth;
			state newNode = new state(n,dep+1,id,node.id);
			id++;
			addNode(newNode);
		}
		
	}
	boolean isContains(ArrayList<state> state,state s) {
		for(int i=0;i<state.size();i++) {
			if(state.get(i).isEqual(s))
				return true;
		}
		return false;
		
	}

	
}

我觉得应该满足A*算法的条件
 

h (n) 是从结点 n 到达目标结点的最优路径的代价值,有多个目标结点时取其代价最小者
A 算法增加如下限制:

1:ninj是任意两个结点必有:C(ninj)>ε>0

2:h(n)h*(n)的下界,即对任意结点都有

   h(n)<h*(n)


则称此算法为A*算法
条件1满足,条件2应该是满足的,我用的启发函数估计代价应该比实际代价更高。
//为啥代码会显示两遍 头一回写就出现这种BUG 差评。。。。

  • 1
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
include using namespace std; struct node{ int nodesun[4][4]; int pre; //上一步在队列中的位置 int flag ; //步数标识,表示当前的步数为有效的 int value; //与目标的差距 int x,y; //空格坐标 }queue[1000]; //移动方向数组 int zx[4]={-1,0,1,0}; int zy[4]={0,-1,0,1}; //当前步数 int top; int desti[4][4];//目标状态 int detect(struct node *p)//检查是否找到 {int i,j; for(i=1;i<4;i++) for(j=1;jnodesun[i][j]!=desti[i][j]) return 0; return 1; } //打印 void printlj() {int tempt; int i,j; tempt=top; while(tempt!=0) { for(i=1;i<4;i++) for(j=1;j<4;j++) {cout<<queue[tempt].nodesun[i][j]; if(j==3) cout<<" "<<endl; } tempt=queue[tempt].pre; } } //现在状态与目标状态有多少个不同位置 int VALUE(struct node *p) {int count=0; int i,j; for(i=1;i<4;i++) for(j=1;jnodesun[i][j]!=desti[i][j]) count++; return count; } void main() { //初始化 int i,j,m,n,f; int min=10; int temp,find=0,minnumber; top=1; for(i=1;i<4;i++) for(j=1;j<4;j++) {cout<<"请输入第"<<i<<"行"<<"第"<<j<<"列的值"<>temp; queue[1].nodesun[i][j]=temp; } cout<<"请输入初始状态的空格的位置(行)"<>temp; queue[1].x=temp; cout<<"请输入初始状态的空格的位置(列)"<>temp; queue[1].y=temp; queue[1].value=VALUE(&queue[1]); queue[1].pre=0; //上一步在队列中的位置 queue[1].flag=0; //目标状态 for(i=1;i<4;i++) for(j=1;j<4;j++) {cout<<"请输入目标状态第"<<i<<"行"<<"第"<<j<<"列的值"<>temp; desti[i][j]=temp; } //根据估价函数 while(!find&&top>0) { for(i=1;i<=top;i++) //////////////////////////////////////////// //min为上一图中与目标图有多少个元素不相同,queue[i]为当前图与目标图有多少个元素不相同通过这两个数的比较,就可以得出当前图较之上一图向目标图接近同时把当前的i记录下来进行下一步比较 {if(queue[i].value<min&&queue[i].flag==0) {minnumber=i;// min=queue[i].value; //还有多少不同的位数 } } queue[minnumber].flag=1; //表示此位有效 ////////////////////////////////////// // for(f=0;f=1&&i=1&&j<=3) {top++; ///////////////////////////////////////////// //位置交换 queue[top]=queue[minnumber]; queue[top].nodesun[m][n]=queue[minnumber].nodesun[i][j]; queue[top].nodesun[i][j]=0; /////////////////////////////////////// //空格移动方向 queue[top].x=i; queue[top].y=j; /////////////////////////////////////// queue[top].pre=minnumber; //上一步在队列中的位置 queue[top].value=VALUE(&queue[top]); //有多少位与目标不同 queue[top].flag=0; //标识位初始化 if(detect(&queue[top])) //检查是否为目标 {printlj(); //打印 find=1; //设找到标识位 break; } } } } }
A*算法求解八数码问题 1、A*算法基本思想: 1)建立一个队列,计算初始结点的估价函数f,并将初始结点入队,设置队列头和尾指针。 2)取出队列头(队列头指针所指)的结点,如果该结点是目标结点,则输出路径,程序结束。否则对结点进行扩展。 3)检查扩展出的新结点是否与队列中的结点重复,若与不能再扩展的结点重复(位于队列头指针之前),则将它抛弃;若新结点与待扩展的结点重复(位于队列头指针之后),则比较两个结点的估价函数中g的大小,保留较小g值的结点。跳至第五步。 4)如果扩展出的新结点与队列中的结点不重复,则按照它的估价函数f大小将它插入队列中的头结点后待扩展结点的适当位置,使它们按从小到大的顺序排列,最后更新队列尾指针。 5)如果队列头的结点还可以扩展,直接返回第二步。否则将队列头指针指向下一结点,再返回第二步。 2、程序运行基本环境: 源程序所使用编程语言:C# 编译环境:VS2010,.net framework 4.0 运行环境:.net framework 4.0 3、程序运行界面 可使用程序中的test来随机生成源状态与目标状态 此停顿过程中按Enter即可使程序开始运行W(n)部分; 此停顿部分按Enter后程序退出; 4、无解问题运行情况 这里源程序中是先计算源状态与目标状态的逆序对的奇偶性是否一致来判断是否有解的。下面是无解时的运行画面: 输入无解的一组源状态到目标状态,例如: 1 2 3 4 5 6 7 8 0 1 2 3 4 5 6 8 7 0 运行画面如下: 5、性能比较 对于任一给定可解初始状态,状态空间有9!/2=181440个状态;当采用不在位棋子数作为启发函数时,深度超过20时,算法求解速度较慢; 其中启发函数P(n)与W(n)的含义如下: P(n): 任意节点与目标结点之间的距离; W(n): 不在位的将牌数; 源状态 目标状态 P(n) 生成节点数 W(n) 生成节点数 P(n) 扩展节点数 W(n) 扩展节点数 2 8 3 1 6 4 7 0 5 1 2 3 8 0 4 7 6 5 11 13 5 6 1 2 3 8 0 4 7 6 5 0 1 3 8 2 4 7 6 5 6 6 2 2 4 8 2 5 1 6 7 0 3 7 4 2 8 5 6 1 3 0 41 79 22 46 6 2 5 8 7 0 3 1 4 0 3 6 7 1 8 4 5 2 359 10530 220 6769 7 6 3 1 0 4 8 5 2 2 8 7 1 3 4 6 5 0 486 8138 312 5295 下图是解决随机生成的100中状态中,P(n)生成函数的生成节点与扩展节点统计图: 由上图可知,P(n)作为启发函数,平均生成节点数大约在1000左右,平均扩展节点数大约在600左右; 下图是解决随机生成的100中状态中,W(n)生成函数的生成节点与扩展节点统计图: 由上图可知,W (n)作为启发函数,平均生成节点数大约在15000左右,是P(n)作为启发函数时的平均生成节点的15倍;W (n)作为启发函数,平均扩展节点数大约在10000左右,是P(n)作为启发函数时的平均扩展节点的15倍; 下图是解决随机生成的100中状态中,两个生成函数的生成节点与扩展节点统计图: 由上述图表可以看到,将P(n)作为启发函数比将W(n)作为启发函数时,生成节点数与扩展节点数更稳定,相比较来说,采用P(n)作为启发函数的性能比采用W(n)作为启发函数的性能好。 6、源代码说明 1)AStar-EightDigital-Statistics文件夹:用来随机生成100个状态,并对这100个状态分别用P(n)与W(n)分别作为启发函数算出生成节点以及扩展节点,以供生成图表使用;运行界面如下: 2)Test文件夹:将0-8这9个数字随机排序,用来随机生成源状态以及目标状态的;运行界面如下: 3)AStar-EightDigital文件夹:输入源状态和目标状态,程序搜索出P(n)与W(n)分别作为启发函数时的生成节点数以及扩展节点数,并给出从源状态到目标状态的移动步骤;运行界面如下: 提高了运行速度的几处编码思想: 1、 在维护open以及close列表的同时,也维护一个类型为hashtable的open以及close列表,主要用来提高判断当前节点是否在open列表以及close列表中出现时的性能; 2、 对于每个状态,按照从左到右,从上到下,依次将数字拼接起来,形成一个唯一标识identify,通过该标识,可以直接判断两个状态是否是同一个状态,而不需要循环判断每个位置上的数字是否相等 3、 在生成每个状态的唯一标识identify时,同时计算了该状态的空格所在位置,通过空格所在位置,可以直接判断能否进行上移、下移、左移、右移等动作; 4、 只计算初始节点的h值,其它生成的节点的h值是根据当前状态的h值、移动的操作等计算后得出的,规则如下: a) 采用W(n)这种方式,不在位置的将牌数,共有以下3中情况: i. 该数字原不在最终位置上,移动后,在其最终位置上 这种情况下,生成的子节点的h值= 父节点的h值-1 ii. 该数字原在最终位置上,移动后,不在其最终位置上 这种情况下,生成的子节点的h值= 父节点的h值 +1 iii. 该数字原不在最终位置上,移动后,还是不在其最终位置上 这种情况下,生成的子节点的h值= 父节点的h值 iv. 该数字原在最终位置上,移动后,还在其最终位置 这种情况不存在 b) 采用P(n)这种方式,节点与目标距离,可通过下面3步完成 i. 首先计算在原位置时,与目标位置的距离,命名为Distance1 ii. 移动后,计算当前位置与目标位置的距离,命名为Distance2 iii. 计算子节点的h值: 子节点的h值 = 父节点的h值- Distance1+ Distance2 5、 在任意状态中的每个数字和目标状态中同一数字的相对距离就有9*9种,可以先将这些相对距离算出来,用一个矩阵存储,这样只要知道两个状态中同一个数字的位置,就可查出它们的相对距离,也就是该数字的偏移距离;例如在一个状态中,数字8的位置是3,在另一状态中位置是7,那么从矩阵的3行7列可找到2,它就是8在两个状态中的偏移距离。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值