贡献者: 有机物
A-star 算法的使用场景和双向 BFS 的差不多,都是如果在一个搜索空间非常大的情况下,可能会遍历非常多无需遍历的状态,导致时间效率非常低。由此可以使用 A* 算法。
A* 算法是在优先队列 BFS 的基础上进行优化的,我们新加了一个启发函数的概念,这样就可以优化搜索空间,降低时间复杂度。这个启发函数一般在 A* 算法上是设计了一个估价函数,在普通的优先队列 BFS 中,每次只会弹出距离当前点比较小点的临点进行更新,不会考虑未来怎么更新,有可能存在一条距离当前点权值比较大的点,但到未来的点的代价可能很小的点。
所以可以添加一个可以对未来的代价进行预估的估价函数,具体地讲,在求最短路的时候,可以存:从起点走到当前点的真实距离,以及从当前点走到终点的估计距离这两个值,在优先队列中使用 “当前距离+预估距离” 进行扩展,实际意义为当前这条路径到终点的距离。这里的优先队列为小根堆。
A* 算法算法的框架:
当估计距离为 时,A* 算法算法变为 Dijkstra。
使用 A* 算法的前提:
设当前状态为 ,从起点到当前点的实际距离为 。
- 从起点到终点的实际距离为 ,从起点到终点的估价距离为 。
- 需要满足 。
只要满足了这个前提,使用 A* 算法,当终点第一次出队的时候,它的最小值就一定是正确的。简单的证明一下,使用反证法。
证明:
假设终点第一次出队时不是最小值。那么此时的 一定严格大于 ,此时最优路径中一定存在一个点 ,那么存在 。所以 。此时 是一定严格小于终点第一次出队的距离 的,又因为是小根堆,队列中存在一个比已经出队的更新的一个元素,矛盾。
证毕。
性质:A* 算法只能保证终点第一次出队的时候是最小值,并不能保证其他点第一次出队是最小值,并且每个点不一定会扩展(入队)一次。
证明:
图 1:示意图
首先假设 号点估计距离为 为一个很大的数,其他点的估计距离为 ,首先从起点开始扩展,因为 号点的估计距离加实际距离为 ,小于扩展到 号点的 ,所以会从 点开始扩展一直扩展到 号点,此时 号点的距离为 (从 号点开始扩展的,所以会将 号点从队列中弹出开始扩展 号点,但实际是,从 号点开始走到 号点的距离这条路径为 ,这就证明了上述第一个性质。那 A* 算法是从什么时候发现走错了并且重新走呢?A* 算法有可能会走到 号点发现此时距离为 了,走到终点为 ,此时就发现走错了,就会重新走,可以发现 号点在错误的路径上被扩展了一,在重新走之前的道路上被扩展了一次,所以也证明了每个点不一定会被扩展一次。
证毕。
例题:八数码。
本题不一定保证题目有解,但 A* 算法还有一个前提是一定要保证有解,不然速度还不如普通 BFS,本题有解的一个条件是:存在一个解,当且仅当不存在奇数逆序对。
所以在做之前,统计一下整个棋盘的逆序对,如果为奇数则无解。
那估价函数怎么设计呢?不难看出,每次移动只能把一个数字向目标移动一格,与目标状态越来越,即使每一步都有意义,当前状态的棋盘到目标状态的移动步数都不可能小于当前棋盘每个数字到目标棋盘的数字的曼哈顿距离之和。
所以,对于当前状态 ,可以将估价函数设计为到目标状态 每个数字位置的曼哈顿距离之和。
。
具体细节看代码:
例题二:第 短路。
题意:给定一张 个点(编号 ), 条边的有向图,求从起点 到终点 的第 短路的长度,路径允许重复经过点或边。
注意:每条最短路中至少要包含一条边。
题目要求第 短路,为了能枚举到所有的路线,所以在做的时候要将所有能扩展的边全都扩展到堆中,不论距离变大还是变小,所以搜索空间非常庞大,因此可以用 A* 算法进行优化。
估价函数设计为当前点到终点的最短距离,因为无论怎么走,当前点走到终点的距离一定大于等于最短距离。
前面证明了当终点第一次从堆中弹出的时候,它的最小值就已经确定了。那么显然弹第 次也一定是最小的。简单的来证明一下,假设第二次弹出来的值不是最小的,那么当前的最小距离一定小于最优路径,假设最优路径中存在一点 ,那么从起点到 的真实距离加从 到终点最小距离(估价距离)也一定小于等于从队列中弹出来点的距离。由于是小根堆,一定会弹出最小值,所以就矛盾了。由此证明出了当终点出队 次的时候,它的第 短路就确定了。
所以做法为:先建一个反图,求出从终点 到每个点的最短距离作为估价函数。然后在 A* 算法中将能扩展到的点都加入优先队列,统计终点 出队的次数,若出队次数等于 ,则直接返回当前的真实距离。
又因为每条最短路径中至少要包含一条边,所以当 时, 要加一。
时间复杂度:。
C++ 代码:
const int N = 1010, M = 200010, inf = 0x3f3f3f3f;
int n, m, S, T, K, h[N], rh[N], e[M], ne[M], w[M], idx;
int dist[N], st[N];
void add(int h[], int a, int b, int c)
{
e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx ++ ;
}
void dijkstra()
{
memset(dist, 0x3f, sizeof dist);
dist[T] = 0;
priority_queue<pii, vector<pii>, greater<pii>> heap;
heap.push({0, T});
while (heap.size())
{
auto t = heap.top();
heap.pop();
int ver = t.second;
if (st[ver]) continue;
st[ver] = true;
for (int i = rh[ver]; ~i; i = ne[i])
{
int j = e[i];
if (dist[j] > dist[ver] + w[i])
{
dist[j] = dist[ver] + w[i];
heap.push({dist[j], j});
}
}
}
}
int Astar()
{
priority_queue<piii, vector<piii>, greater<piii>> heap;
heap.push({dist[S], {0, S}});
if (dist[S] == inf) return -1;
int cnt = 0;
while (heap.size())
{
auto t = heap.top();
heap.pop();
int ver = t.second.second, distance = t.second.first;
if (ver == T) cnt ++ ;
if (cnt == K) return distance;
for (int i = h[ver]; ~i; i = ne[i])
{
int j = e[i], D = distance + w[i];
heap.push({D + dist[j], {D, j}});
}
}
return -1;
}
int main()
{
cin >> n >> m;
memset(h, -1, sizeof h);
memset(rh, -1, sizeof rh);
while (m -- )
{
int a, b, c;
cin >> a >> b >> c;
add(h, a, b, c), add(rh, b, a, c);
}
cin >> S >> T >> K;
if (S == T) K ++ ;
dijkstra();
cout << Astar() << endl;
return 0;
}
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。