1382:最短路(Spfa)

本文深入探讨了SPFA(Shortest Path Faster Algorithm)算法在解决带权无向图最短路径问题中的应用。通过具体实例,详细解析了SPFA算法的原理、数据结构设计与代码实现过程,为读者提供了从理论到实践的全面指导。

【题目描述】

给定 MM 条边, NN 个点的带权无向图。求 11到 NN 的最短路。

 

【输入】

第一行:N,M(N≤100000,M≤500000)N,M(N≤100000,M≤500000);

接下来MM行33个正整数:ai,bi,ci表示ai,bi之间有一条长度为ci的路,ci≤1000ai,bi,ci表示ai,bi之间有一条长度为ci的路,ci≤1000。

 

【输出】

一个整数,表示 11 到 NN 的最短距离。

【输入样例】

4 4
1 2 1
2 3 1
3 4 1
2 4 1

【输出样例】

2

【提示】

【样例解释】

注意图中可能有重边和自环,数据保证 11 到 NN 有路径相连。

 

spfa的模板题

 

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
const int inf = 0x3f3f3f3f;
int n, m;
int head[320000];  //头结点数组
int cnt;           //点的个数

struct node
{
	int next;
	int from, to, dis;
}s[3200000];   //点

void add_edge(int from, int to, int dis)
{
	s[++cnt].next = head[from];
	s[cnt].to = to;
	s[cnt].dis = dis;
	head[from] = cnt;
}

int dis[250000];   //距离
int vis[250000];   //标记
void spfa()
{

	memset(dis, inf, sizeof(dis));  //初始化距离
	memset(vis, 0, sizeof(vis));    //初始化标记
	vis[1] = 1;
	dis[1] = 0;
	queue<int>Q;    //队列在dpfa里面
	Q.push(1);      //放入初始点!!!!
	while (!Q.empty()) {
		int u = Q.front();   // u
		Q.pop();
		vis[u] = 0;
		for (int i = head[u];i;i = s[i].next) {
			int to = s[i].to;
			int di = s[i].dis;
			if (dis[to]>dis[u] + di) {
				dis[to] = dis[u] + di;
				if (!vis[to]) {
					vis[to] = 1;
					Q.push(to);
				}
			}
		}
	}
}

int main()
{
	scanf("%d %d", &n, &m);
	memset(head, 0, sizeof(head));
	
	for (int i = 0;i<m;i++) {
		int a, b, c;  //起点,终点,距离
		scanf("%d %d %d", &a, &b, &c);
		add_edge(a, b, c);
		add_edge(b, a, c);
	}
	spfa();

    printf("%d\n", dis[n]);
	return 0;
}

 

### SPFA算法概述 SPFA(Shortest Path Faster Algorithm)是一种基于Bellman-Ford算法的改进版本,主要用于求解含有负权边的单源短路径问题。它通过引入队列来加速松弛操作的过程,在实际应用中表现出了较高的效率[^2]。 SPFA的核心思想是对图中的每条边进行松弛操作,直到无法进一步更新为止。与传统的Bellman-Ford相比,SPFA仅对那些可能会影响其他节点距离值的顶点执行松弛操作,从而减少了不必要的计算开销[^3]。 --- ### SPFA算法实现 以下是SPFA算法的一个基本实现: #### 邻接表建图 SPFA通常采用邻接表的方式存储图结构,这有助于减少空间消耗并提高访问速度。 ```cpp #include <iostream> #include <queue> #include <vector> #include <cstring> using namespace std; const int INF = 0x3f3f3f3f; struct Edge { int to, weight; }; int n, m, s; // 节点数、边数、起点编号 vector<Edge> adj[1000]; // 邻接表 bool inQueue[1000]; long long dist[1000]; void spfa(int start) { queue<int> q; memset(dist, 0x3f, sizeof(dist)); // 初始化为无穷大 memset(inQueue, false, sizeof(inQueue)); dist[start] = 0; q.push(start); inQueue[start] = true; while (!q.empty()) { int u = q.front(); q.pop(); inQueue[u] = false; for (auto &edge : adj[u]) { // 对u的所有邻居进行遍历 if (dist[edge.to] > dist[u] + edge.weight) { // 松弛条件 dist[edge.to] = dist[u] + edge.weight; if (!inQueue[edge.to]) { // 如果未入队则加入队列 q.push(edge.to); inQueue[edge.to] = true; } } } } } ``` 上述代码实现了SPFA的基本逻辑,其中`adj[]`是一个邻接表数组,用于记录每个节点的相邻关系及其权重;`dist[]`保存从起始节点到各节点的当前短距离;`inQueue[]`标记某个节点是否已经在队列中以防止重复入队[^4]。 --- ### 算法优化策略 尽管SPFA在许多场景下表现出色,但在极端情况下其时间复杂度退化至O(VE),因此需要采取一些措施加以优化: 1. **SLF(Small Label First)** 在每次将新节点压入队列之前,优先考虑将其插入队首而非队尾。具体来说,如果待插入节点的距离小于等于队头元素的距离,则应插于队首;反之则正常追加到队尾。这种方法能够显著提升某些特定测试用例下的性能。 2. **LLL(Large Label Last)** 当发现某次迭代后的小距离大于某一阈值时,可以跳过后续部分运算过程,因为这些较大的数值很可能不会影响终结果。不过需要注意的是,这种剪枝方式可能会破坏正确性,需谨慎使用。 3. **多端点检测机制** 若存在多个候选终点,则可在程序结束前提前终止搜索流程一旦确认任意目标可达即可返回相应答案而无需继续完成整个遍历工作流[^1]。 --- ### 复杂度分析 理论上讲,SPFA的时间复杂度介于O(E)和O(VE)之间,取决于输入数据的具体特性以及所选优化手段的效果如何。对于稀疏图而言,由于平均下来每个结点只会经历有限次数进出队列的动作,因而整体耗时往往接近线性级别;然而当面对稠密网络或者特殊构造的数据集时,就有可能触发差情形下的平方级增长趋势。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值