当前位置:   article > 正文

寻路算法——A*算法详解并附带实现代码_a*算法代码

a*算法代码

一、前言

前天看了一篇博客介绍A*算法,按照自己的理解记录一下A*算法。

二、应用场景

一副地图中有坐标A和B,需要找到一条路径(如果有的话)能从A到B,地图中可能有河流或墙壁不能直接穿过,我们需要怎样找到这条路径呢?

在我们以往学习到的路径寻找中,我们可以想到广度优先搜索(BFS:Breadth First Search)和深度优先搜索(DFS:Depth-First-Search) 进行路径寻找。先看一下广度优先搜索如下图(图片来源网上)。BFS以起点A为圆心,先搜索A周围的所有点,形成一个类似圆的搜索区域,再扩大搜索半径,进一步搜索其它没搜索到的区域,直到终点B进入搜索区域内被找到

再看一下深度优先搜索,这里的深度优先搜索不是所有路径都搜索而是沿着B点方向搜索。(图片来源网上)。DFS则是让搜索的区域离A尽量远,离B尽量近,比如现在你在一个陌生的大学校园里,你知道校门口在你的北方,虽然你不知道你和校门口之间的路况如何,地形如何,但是你会尽可能的往北方走,总能找到校门口。

比起BFS,DFS因为尽量靠近终点的原则,其实是用终点相对与当前点的方向为导向,所以有一个大致的方向,就不用盲目地去找了,这样,就能比BFS能快地找出来最短路径,但是这种快速寻找默认起点A终点B之间没有任何障碍物,地形的权值也都差不多。如果起点终点之间有障碍物,那么DFS就会出现绕弯的情况。

图中DFS算法使电脑一路往更右下方的区域探索,可以看出,在DFS遇到障碍物时,其实没有办法找到一条最优的路径,只能保证DFS会提供其中的一条路径(如果有的话)。

大概了解了BFS和DFS,对比这两者可以看出来,BFS保证的是从起点到达路线上的任意点花费的代价最小(但是不考虑这个过程是否要搜索很多格子);DFS保证的是通过不断矫正行走方向和终点的方向的关系,使发现终点要搜索的格子更少(但是不考虑这个过程是否绕远)。

A*算法的设计同时融合了BFS和DFS的优势,既考虑到了从起点通过当前路线的代价(保证了不会绕路),又不断的计算当前路线方向是否更趋近终点的方向(保证了不会搜索很多图块),是一种静态路网中最有效的直接搜索算法

闲谈:我们知道BFS和DFS,但将这两种思想融会贯通,创造一种新的解决问题方法(A*算法),这在思路太棒了。膜拜学习。

三、A*算法

3.1 思想

A*算法运用的是估价思想。查找过程:

  1. 在待遍历列表中(刚开始只有点A),我们在列表中查找一个估价(当前点到终点距离估价,后续会讲)最小的点(k),
  2. 对点k进行一次广度优先查找,也就是它移动一次到底的下一个坐标(右,右上,上,左上,左,左下,下,右下)不包含已经遍历过的点和不能到达的点,将能查找的点添加到队列中,并将点K从队列中移除。
  3. 重复1、2步骤直到到底B点,或者队列已经为空说明没有路径可以到达点B。

运用的思想:先进行一次DFS搜索再进行一次BFS搜索,循环这个过程直到找到目标点B。

过程1:运用DFS思想,尽量找离B近的点(也就是估值最小的点)。

过程2:运用BFS思想,以点K为圆心,搜索A周围的所有还未搜索的点。

3.2 怎样估价

3.2.1 公式:F = G + H

G = 从起点 A 移动到指定方格的移动代价,沿着到达该方格而生成的路径。我们约定直行移动一次代价是10,对角线的移动代价为 14。(实际对角移动距离是 2 的平方根,或者是近似的 1.414 倍的横向或纵向移动代价)。

H = 从指定的方格移动到终点 B 的估算成本。计算从当前方格横向或纵向移动到达目标所经过的方格数,忽略对角移动,然后把总数乘以 10 。

3.2.2 计算

我们设当前点为K

H 值很容易计算,H = (两个点横坐标距离 + 两个点纵坐标距离) X 10

G 值计算,计算K到A的最小估价我们只需要计算K点的周围八个点(可以被访问且已经被访问点)的g值+到K点的移动代价,其中最小估价即为K点的g值,这个点我们称为K点的父节点。k点正在访问,那么它周围至少有一个点已经被访问了。

3.2.2 约定

在一个方格中我们将FGH标记在它的左上,左下和右下三个位置,以便我们观察每次估价的结果。

箭头指向的是它父节点的坐标,后续找路线需要用到。

3.3 实例演示一 无障碍物 (对应编码实现中测试用例9)

说明:坐标访问和父节点查找约定顺序:右,右上,上,左上,左,左下,下,右下,沿X轴增加的方向为右,沿Y轴增加的方向为上,父节点可能会有多个,这里选择代价最小最后搜索的为父节点。

坐标A(2,2),目标坐标B(6,3),已经对坐标A进行了估值。

1. 对点(2,2)八个方向的坐标进行估值,它们的父节点都是(2,2),最小估值坐标紫色(3,3),标记紫色只是为了方便下一次寻找。估值顺序我们约定(右,右上,上,左上,左,左下,下,右下),此后我们都按照这个顺序进行。

2. 对点(3,3)八个方向的坐标进行估值(已经估值的不用再计算),我们称已经估值的点为已经被访问,最小估值坐标紫色(4,3)。父节点搜索顺序约定(右,右上,上,左上,左,左下,下,右下),g值最小最后访问的点为父节点。如下图。这个图我们需要理解箭头是怎样确定的。例如点(4,3)它的父节点既可以是点(3,3)也可以是点(3,2),访问顺序是先访问点(3,3)后访问点(3,2)所以我们把点(3,2)作为点(4,3)的父节点。

3. 对点(4,3)继续寻找,最小估值坐标紫色(5,3)

4. 对点(5,3)继续寻找,搜索到了终点,停止搜索

5. 通过终点依次查找它们的父节点直到起点,然后将坐标点逆序,就是我们要的路线了。

路线:(2,2)、(3,2)、(4,2)、(5,2)、(6,3)

3.4 实例演示二 有障碍物 (对应编码实现中测试用例10)

有无障碍物处理是一样的。

坐标A(2,2),目标坐标B(6,3),已经对坐标A进行了估值。其中坐标(4,1)、(4,2)、(4,3)无障碍物不能访问

1. 对点(2,2)八个方向的坐标进行估值,它们的父节点都是(2,2),最小估值坐标紫色(3,3)

2. 对点(3,3)继续寻找,最小估值坐标紫色(2,3)

3. 对点(3,2)继续寻找,最小估值坐标紫色(4,4)

4. 对点(4,4)继续寻找,最小估值坐标紫色(5,3)

5. 对点(5,3)继续寻找,搜索到了终点,停止搜索

6. 通过终点依次查找它们的父节点直到起点,然后将坐标点逆序,就是我们要的路线了。

路线:(2,2)、(3,3)、(4,4)、(5,3)、(6,3)

四、编码实现

  1. //==========================================================================
  2. /**
  3. * @file : Astar.h
  4. * @author : niebingyu
  5. * @title : A*算法
  6. * @purpose : A*算法实现
  7. *
  8. * 博客:https://blog.csdn.net/nie2314550441/article/details/106733189
  9. */
  10. //==========================================================================
  11. #pragma once
  12. #include <assert.h>
  13. #include <vector>
  14. #include <list>
  15. #include <iostream>
  16. #include <queue>
  17. using namespace std;
  18. #define NAMESPACE_ASTAR namespace NAME_ASTAR {
  19. #define NAMESPACE_ASTAREND }
  20. NAMESPACE_ASTAR
  21. #define GET_ARRAY_LEN(array) (sizeof(array)/sizeof(array[0]))
  22. struct Point
  23. {
  24. int x; // 宽
  25. int y; // 高
  26. Point(int tx = 0, int ty = 0) : x(tx), y(ty) {}
  27. // 两个坐标距离:横坐标距离 + 纵坐标距离
  28. int operator - (const Point& p)
  29. {
  30. return abs(x - p.x) + abs(y - p.y);
  31. }
  32. bool operator == (const Point& p)
  33. {
  34. return x == p.x && y == p.y;
  35. }
  36. };
  37. struct PointV : public Point
  38. {
  39. int value; // 0 :无障碍; 1:有障碍
  40. PointV(int nx = 0, int ny = 0, int v = 0) : Point(nx, ny), value(v) {}
  41. };
  42. struct PointAStart : public Point
  43. {
  44. int f, g, h;
  45. bool visited; // 是否被访问过,0:未被访问,1已经被访问
  46. Point parentNode;
  47. PointAStart(int tf = 0, int tg = 0, int th = 0, int tx = 0, int ny = 0) : Point(tx, ny), f(tf), g(tg), h(th), visited(false), parentNode() {};
  48. bool operator < (const PointAStart& t) { return f < t.f; }
  49. void SetFGH(int tf, int tg, int th) { f = tf; g = tg, h = th; }
  50. };
  51. // 重写仿函数, 优先队列元素大小比较
  52. struct comp //重写仿函数
  53. {
  54. bool operator() (PointAStart* a, PointAStart* b)
  55. {
  56. return a->f > b->f; //小顶堆
  57. }
  58. };
  59. // A* 算法
  60. class AStar
  61. {
  62. public:
  63. // arr 是一个二维数组
  64. // s 起点; e 终点
  65. vector<Point> operator()(const vector<vector<int>>& arr, Point s, Point e)
  66. {
  67. if (arr.empty() || s == e)
  68. return {};
  69. int lenY = (int)arr.size() - 1; // 高
  70. int lenX = (int)arr[0].size() - 1; // 宽
  71. if (s.x > lenX || s.y > lenY || e.x > lenX || e.y > lenY)
  72. return {};
  73. if (arr[s.y][s.x] != 0 || arr[e.y][e.x] != 0)
  74. return {};
  75. for (int i = 0; i < lenY; ++i)
  76. assert(lenX == (int)arr[i].size() - 1);
  77. vector<vector<PointAStart>> pArr(lenY + 1, vector<PointAStart>(lenX + 1)); // 父结点
  78. priority_queue<PointAStart*, vector<PointAStart*>, comp> openList; // by 2020/07/30 改用优先队列
  79. int g = 0, h = (s - e) * 10, f = g + h;
  80. PointAStart pt(f, g, h, s.x, s.y);
  81. pt.visited = true;
  82. pArr[s.y][s.x] = pt;
  83. openList.push(&pArr[s.y][s.x]);
  84. bool seek = true;
  85. const int dirs[8][3] = { {0,1,10},{1,1,14},{1,0,10},{1,-1,14},{0,-1,10},{-1,-1,14},{-1,0,10},{-1,1,14} };//8个移动方向(右,右上,上,左上,左,左下,下,右下)
  86. while (seek && !openList.empty())
  87. {
  88. PointAStart& p = *openList.top();
  89. openList.pop();
  90. p.visited = true;
  91. for (int i = 0; i < GET_ARRAY_LEN(dirs) && seek; ++i)
  92. {
  93. Point t(p.x + dirs[i][1], p.y + dirs[i][0]);
  94. // t 需要未被访问
  95. if (t.x < 0 || t.x > lenX || t.y < 0 || t.y > lenY || arr[t.y][t.x] == 1 || pArr[t.y][t.x].visited)
  96. continue;
  97. // 找父节点
  98. g = p.g + dirs[i][2];
  99. h = (t - e) * 10;
  100. f = g + h;
  101. int minf = f;
  102. PointAStart newPoint(f, g, h, t.x, t.y);
  103. newPoint.visited = 1;
  104. newPoint.parentNode.x = p.x;
  105. newPoint.parentNode.y = p.y;
  106. for (int j = 0; j < GET_ARRAY_LEN(dirs); ++j)
  107. {
  108. Point pp(t.x + dirs[j][1], t.y + dirs[j][0]); //父节点Parent Point
  109. // 父节点pp, 在需要已经被访问
  110. if (pp.x < 0 || pp.x > lenX || pp.y < 0 || pp.y > lenY || arr[pp.y][pp.x] == 1 || !pArr[pp.y][pp.x].visited)
  111. continue;
  112. g = pArr[pp.y][pp.x].g + dirs[j][2];
  113. f = g + h;
  114. if (f <= minf)
  115. {
  116. minf = f;
  117. f = g + h;
  118. newPoint.SetFGH(f, g, h);
  119. newPoint.parentNode = pp;
  120. }
  121. }
  122. pArr[t.y][t.x] = newPoint;
  123. openList.push(&pArr[t.y][t.x]);
  124. if (t == e)
  125. seek = false;
  126. }
  127. }
  128. if (!pArr[e.y][e.x].visited)
  129. {
  130. cout << "无法到达" << endl;
  131. return {};
  132. }
  133. else
  134. {
  135. vector<Point> path;
  136. path.push_back(e);
  137. Point p = pArr[e.y][e.x].parentNode;
  138. while (true)
  139. {
  140. if (!pArr[p.y][p.x].visited)
  141. {
  142. cout << "无法到达" << endl;
  143. return {};
  144. }
  145. path.push_back(p);
  146. if (p == s)
  147. break;
  148. p = pArr[p.y][p.x].parentNode;
  149. }
  150. reverse(path.begin(), path.end());
  151. SetVisitedCount(pArr); // 辅助测试,记录访问的结点数
  152. return path;
  153. }
  154. }
  155. // 辅助测试,用于获取访问的结点数
  156. void SetVisitedCount(const vector<vector<PointAStart>>& pArr)
  157. {
  158. visitCount = 0;
  159. for (int i = 0; i < pArr.size(); ++i)
  160. {
  161. for (int j = 0; j < pArr[i].size(); ++j)
  162. {
  163. if (pArr[i][j].visited)
  164. ++visitCount;
  165. }
  166. }
  167. }
  168. int visitCount;
  169. };
  170. //
  171. // 测试 用例 START
  172. void test(const char* testName, const vector<vector<int>>& arr, Point s, Point e)
  173. {
  174. AStar as;
  175. vector<Point> result = as(arr, s, e);
  176. cout << testName << "[" << as.visitCount << ", " << result.size() << "]";
  177. for (int i = 0; i < result.size(); ++i)
  178. {
  179. cout << ", (" << result[i].x << "," << result[i].y << ")";
  180. }
  181. cout << endl;
  182. }
  183. // 测试用例
  184. void Test1()
  185. {
  186. vector<vector<int>> arr =
  187. {
  188. {0,0},
  189. };
  190. Point s(0, 0);
  191. Point e(1, 0);
  192. test("Test1()", arr, s, e);
  193. }
  194. void Test2()
  195. {
  196. vector<vector<int>> arr =
  197. {
  198. {0},
  199. {0}
  200. };
  201. Point s(0, 0);
  202. Point e(0, 1);
  203. test("Test2()", arr, s, e);
  204. }
  205. void Test3()
  206. {
  207. vector<vector<int>> arr =
  208. {
  209. {0,0,},
  210. {0,0,},
  211. };
  212. Point s(0, 0);
  213. Point e(1, 1);
  214. test("Test3()", arr, s, e);
  215. }
  216. void Test4()
  217. {
  218. vector<vector<int>> arr =
  219. {
  220. {0,0,0,},
  221. {0,0,0,},
  222. };
  223. Point s(0, 0);
  224. Point e(2, 1);
  225. test("Test4()", arr, s, e);
  226. }
  227. void Test5()
  228. {
  229. vector<vector<int>> arr =
  230. {
  231. {0,1,0,},
  232. {0,1,0,},
  233. {0,0,0,},
  234. };
  235. Point s(0, 0);
  236. Point e(2, 0);
  237. test("Test5()", arr, s, e);
  238. }
  239. void Test6()
  240. {
  241. vector<vector<int>> arr =
  242. {
  243. {0,0,0,0,0,0,0,0},
  244. {0,0,0,0,1,0,0,0},
  245. {0,0,0,0,1,0,0,0},
  246. {0,0,0,0,1,0,0,0},
  247. {0,0,0,0,0,0,0,0},
  248. {0,0,0,0,0,0,0,0},
  249. };
  250. Point s(2, 2);
  251. Point e(6, 2);
  252. test("Test6()", arr, s, e);
  253. }
  254. void Test7()
  255. {
  256. vector<vector<int>> arr =
  257. {
  258. {0,0,0,0,0,0,0,0},
  259. {0,0,0,0,1,0,0,0},
  260. {0,0,0,0,1,0,0,0},
  261. {0,0,0,0,1,0,0,0},
  262. {0,0,0,0,1,0,0,0},
  263. {0,0,0,0,1,0,0,0},
  264. };
  265. Point s(2, 2);
  266. Point e(6, 2);
  267. test("Test7()", arr, s, e);
  268. }
  269. void Test8()
  270. {
  271. vector<vector<int>> arr =
  272. {
  273. {0,0,0,0,0,0,0,0,0},
  274. {0,0,0,0,1,1,1,1,0},
  275. {0,0,0,0,1,0,0,1,0},
  276. {0,0,0,0,1,0,0,1,0},
  277. {0,0,0,0,1,0,1,1,0},
  278. {0,0,0,0,1,0,0,0,0},
  279. };
  280. Point s(2, 2);
  281. Point e(6, 2);
  282. test("Test8()", arr, s, e);
  283. }
  284. void Test9()
  285. {
  286. vector<vector<int>> arr =
  287. {
  288. {0,0,0,0,0,0,0,0,0,0},
  289. {0,0,0,0,0,0,0,0,0,0},
  290. {0,0,0,0,0,0,0,0,0,0},
  291. {0,0,0,0,0,0,0,0,0,0},
  292. {0,0,0,0,0,0,0,0,0,0},
  293. {0,0,0,0,0,0,0,0,0,0},
  294. };
  295. Point s(2, 2);
  296. Point e(6, 3);
  297. test("Test9()", arr, s, e);
  298. }
  299. void Test10()
  300. {
  301. vector<vector<int>> arr =
  302. {
  303. {0,0,0,0,0,0,0,0,0,0},
  304. {0,0,0,0,1,0,0,0,0,0},
  305. {0,0,0,0,1,0,0,0,0,0},
  306. {0,0,0,0,1,0,0,0,0,0},
  307. {0,0,0,0,0,0,0,0,0,0},
  308. {0,0,0,0,0,0,0,0,0,0},
  309. };
  310. Point s(2, 2);
  311. Point e(6, 3);
  312. test("Test10()", arr, s, e);
  313. }
  314. void Test11()
  315. {
  316. vector<vector<int>> arr =
  317. {
  318. {0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
  319. {0,1,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},
  320. {0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},
  321. {0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},
  322. {0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,1,1,1,0,0,0,0,0,0,0,0},
  323. {0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,1,0,1,0,0,0,0,0,0,0,0},
  324. {0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,0,1,0,1,0,0,0,0,0,0,0,0},
  325. {0,1,0,0,1,0,0,0,1,0,0,0,0,1,0,1,1,0,1,0,0,0,0,0,0,0,0},
  326. {0,1,1,1,1,0,0,0,1,0,0,0,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0},
  327. {0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0},
  328. {0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0},
  329. {0,0,0,0,0,0,0,0,1,0,0,0,0,1,1,1,0,0,1,0,0,0,0,0,0,0,0},
  330. {0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},
  331. {0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},
  332. };
  333. Point s(2, 7);
  334. Point e(17, 5);
  335. test("Test11()", arr, s, e);
  336. }
  337. NAMESPACE_ASTAREND
  338. // 测试 用例 END
  339. //
  340. void AStar_Test()
  341. {
  342. #if 1
  343. NAME_ASTAR::Test1();
  344. NAME_ASTAR::Test2();
  345. NAME_ASTAR::Test3();
  346. NAME_ASTAR::Test4();
  347. NAME_ASTAR::Test5();
  348. NAME_ASTAR::Test6();
  349. NAME_ASTAR::Test7();
  350. NAME_ASTAR::Test8();
  351. NAME_ASTAR::Test9();
  352. NAME_ASTAR::Test10();
  353. NAME_ASTAR::Test11();
  354. #endif
  355. //NAME_ASTAR::Test9();
  356. }

执行结果:

五、拓展

5.1 如果现在需求有变,不能沿对角线移动,也就是只能上下左右移动,需要怎样实现呢?

修改第82行代码 const int dirs[8][3] = { {0,1,10},{1,1,14},{1,0,10},{1,-1,14},{0,-1,10},{-1,-1,14},{-1,0,10},{-1,1,14} };//8个移动方向(右,右上,上,左上,左,左下,下,右下)

改为 const int dirs[4][3] = { {0,1,10},{1,0,10},{0,-1,10},{-1,0,10} };//8个移动方向(右,上,左,下)

5.2 需求再变动一下,只能沿着上下左右移动,但向右可以一次移动1格或者2格,需要怎样实现呢?

同理修改第82行代码 const int dirs[8][3] = { {0,1,10},{1,1,14},{1,0,10},{1,-1,14},{0,-1,10},{-1,-1,14},{-1,0,10},{-1,1,14} };//8个移动方向(右,右上,上,左上,左,左下,下,右下)

改为 const int dirs[5][3] = { {0,1,10}, {0,2,20},{1,0,10},{0,-1,10},{-1,0,10} };//8个移动方向(右1格,右2格,上,左,下)

六、闲谈

前面我们介绍的都是起点去找终点,观察一下下面这种情况,黄色是起点,红色是终点。起点找终点会搜索大量无用的坐标点,而如果是终点去寻找起点搜索需要坐标点会少很多。那我们可不可以起点和终点一起去寻找对方呢?

参考:A*算法详解_聂炳玉的博客-CSDN博客_a*算法

A*寻路算法的探寻与改良(一) - 知乎

2020/6/14 补充说明

六、延伸扩展

已经知道A*算法过程,再逆序思索一下这个算法。起点A,终点B,假设存在一条最优的路线能从A到B。

我们继续观察这个图,如果存在最优路线。到达B的上一个坐标点一定是B点周围的一个坐标称之为父节点。也就是我们只需要找到这个点父节点。这种思路不就是动态规划中的自顶向下。自顶向下效率不佳,我们将其转换成自底向上求解就可以了。我们在求解动态规划问题往往都是计算最终结果,如果需要求解这个过程是怎样的呢?

A*算法就是这个问题的自底向上求解的过程。A*算法给我们提供了一个很好的思路,我们只需要记录当前结果产生的父节点,通过父节点倒推这个过程。例如《算法导论——钢条切割》需要求解的是最大价值,那最多价值切割的方法是怎样呢?可以通过上面说的方法求解。

可以理解A*算法 是结合了 深度优先、广度优先、以及动态规划的思想。个人理解。

声明:本文内容由网友自发贡献,不代表【wpsshop博客】立场,版权归原作者所有,本站不承担相应法律责任。如您发现有侵权的内容,请联系我们。转载请注明出处:https://www.wpsshop.cn/w/盐析白兔/article/detail/218654?site
推荐阅读
相关标签
  

闽ICP备14008679号