POJ 2449 Remmarguts' Date (A*搜索求K短路)

本文介绍了一种使用A*算法解决K短路问题的方法。通过预处理目标节点到其他节点的最短路径作为估价函数,并在搜索过程中进行剪枝,有效地找到了从起点到终点的前K条最短路径。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

传送门
这是一道裸的K短路的问题,我们将会用A*解决。
我们设计估值函数h的时候可以像这样想。因为h(n) <= h*(n)而且要尽量接近h*(n),所以我们想到,可以求一个从目标节点到其余节点的最短路,这个一定是小于等于实际值的。然后就用A*从起点开始搜索,找到一个节点v,就使cnt[v]加1。当cnt[v] > k时就可以剪枝了,因为这一定不再K短路的路线上了。很好通过反证法得到证明。当目标节点被搜索到了第k次的时候就可以结束搜索了。
要注意这道题有一个很坑的地方,就是若给出的起点=终点,那么0是最短路(也就是说K要+1)

代码:

#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
#define MAXM 100006
#define MAXN 1006
struct node
{
    int v, w;
    node *next;
}Edge[MAXM<<1], *Adj[MAXN], *Mcnt = Edge, *rAdj[MAXN];
int dis[MAXN], S, E, K;
bool inq[MAXN];
struct D                //用来表示搜索节点的数据结构
{
    int g, h, v;
    D(){}
    D(int t1, int t2){ v = t1; g = t2; h = dis[v]; }
    bool operator < (const D rhs) const
    {
        return g + h > rhs.g + rhs.h;
    }
};
void Addedge(int u, int v, int w)
{
    node *t = ++Mcnt;
    t->v = v; t->w = w;
    t->next = Adj[u];
    Adj[u] = t;
    t = ++Mcnt;
    t->v = u; t->w = w;
    t->next = rAdj[v];
    rAdj[v] = t;
}
void SPFA(int u)           //SPFA用来预处理出估价函数h
{
    memset(dis, 0x3f, sizeof dis);
    memset(inq, 0, sizeof inq);
    queue<int> q;
    q.push(u); dis[u] = 0; inq[u] = 1;
    while(!q.empty())
    {
        u = q.front();
        inq[u] = 0;
        q.pop();
        for(node *p = rAdj[u]; p; p = p->next)
            if(p->w + dis[u] < dis[p->v])
            {
                dis[p->v] = dis[u] + p->w;
                if(!inq[p->v])
                {
                    q.push(p->v);
                    inq[p->v] = 1;
                }
            }
    }
}
int cnt[MAXN];
int Astar(int u)            //A*搜索
{
    priority_queue<D> q;
    q.push(D(u, 0));
    while(!q.empty())
    {
        D tmp = q.top();
        cnt[tmp.v] ++;
        q.pop();
        if(cnt[tmp.v] > K) continue;    //上文提到的剪枝
        if(cnt[E] == K) return tmp.g;   //找到答案
        for(node *p = Adj[tmp.v]; p; p = p->next)
            q.push(D(p->v, tmp.g + p->w));
    }
    return -1;
}
int m, n;
int main()
{
    int t1, t2, t3;
    scanf("%d%d", &n, &m);
    for(int i = 1; i <= m; i ++)
    {
        scanf("%d%d%d", &t1, &t2, &t3);
        Addedge(t1, t2, t3);
    }
    scanf("%d%d%d", &S, &E, &K);
    if(S == E) K ++;
    SPFA(E);
    printf("%d\n", Astar(S));
    return 0;
}
这是一道比较经典的计数问题。题目描述如下: 给定一个 $n \times n$ 的网格图,其中一些格子被标记为障碍。一个连通块是指一些被标记为障碍的格子的集合,满足这些格子在网格图中连通。一个格子是连通的当且仅当它与另一个被标记为障碍的格子在网格图中有公共边。 现在,你需要计算在这个网格图中,有多少个不同的连通块,满足这个连通块的大小(即包含的格子数)恰好为 $k$。 这是一道比较经典的计数问题,一般可以通过计算生成函数的方法来解决。具体来说,我们可以定义一个生成函数 $F(x)$,其中 $[x^k]F(x)$ 表示大小为 $k$ 的连通块的个数。那么,我们可以考虑如何计算这个生成函数。 对于一个大小为 $k$ 的连通块,我们可以考虑它的形状。具体来说,我们可以考虑以该连通块的最左边、最上边的格子为起点,从上到下、从左到右遍历该连通块,把每个格子在该连通块中的相对位置记录下来。由于该连通块的大小为 $k$,因此这些相对位置一定是 $(x,y) \in [0,n-1]^2$ 中的 $k$ 个不同点。 现在,我们需要考虑如何计算这些点对应的连通块是否合法。具体来说,我们可以考虑从左到右、从上到下依次处理这些点,对于每个点 $(x,y)$,我们需要考虑它是否能够与左边的点和上边的点连通。具体来说,如果 $(x-1,y)$ 和 $(x,y)$ 都在该连通块中且它们在网格图中有公共边,那么它们就是连通的;同样,如果 $(x,y-1)$ 和 $(x,y)$ 都在该连通块中且它们在网格图中有公共边,那么它们也是连通的。如果 $(x,y)$ 与左边和上边的点都不连通,那么说明这个点不属于该连通块。 考虑到每个点最多只有两个方向需要检查,因此时间复杂度为 $O(n^2 k)$。不过,我们可以使用类似于矩阵乘法的思想,将这个过程优化到 $O(k^3)$ 的时间复杂度。 具体来说,我们可以设 $f_{i,j,k}$ 表示状态 $(i,j)$ 所代表的点在连通块中,且连通块的大小为 $k$ 的方案数。显然,对于一个合法的 $(i,j,k)$,我们可以考虑 $(i-1,j,k-1)$ 和 $(i,j-1,k-1)$ 这两个状态,然后把点 $(i,j)$ 加入到它们所代表的连通块中。因此,我们可以设计一个 $O(k^3)$ 的 DP 状态转移,计算 $f_{i,j,k}$。 具体来说,我们可以考虑枚举连通块所包含的最右边和最下边的格子的坐标 $(x,y)$,然后计算 $f_{x,y,k}$。对于一个合法的 $(x,y,k)$,我们可以考虑将 $(x,y)$ 所代表的点加入到 $(x-1,y,k-1)$ 和 $(x,y-1,k-1)$ 所代表的连通块中。不过,这里需要注意一个细节:如果 $(x-1,y)$ 和 $(x,y)$ 在网格图中没有相邻边,那么它们不能算作连通的。因此,我们需要特判这个情况。 最终,$f_{n,n,k}$ 就是大小为 $k$ 的连通块的个数,时间复杂度为 $O(n^2 k + k^3)$。 参考代码:
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值