又因为open表上任一具有f(n)<f*(S)的节点n，最终都会被A*选做扩展的节点，放入close表中，所以在open表中剩下的节点都有f(n)>f*(S)。引理1：对无限图，若有初始节点S到目标节点T的路径，则A*不结束时，在open表中即使最小的一个值也将增到无限大，或有f(n)>f*(S)试给出爬山法和分支界限搜索算法搜索图1所示的从A到J的搜索路径，其中g(n)用节点深度表示，h(n)的

若d≤0，则先将d更新为d+2x+3，再将(x,y)更新为(x+1,y)；否则先将d更新为d+2(x-y)+5，再将(x,y)更新为(x+1,y-1)。圆心在原点，半径为R的第一象限上的一段圆弧。且取（0，R）为起点，按顺时针方向绘制该1/8圆弧。3.绘制点(x,y)及其在八分圆中的另外七个对称点。2.计算初始值d=1.25-R、x=0、y=R。5.当x<=y时，重复步骤3和4。对于圆上的点，有F