基于 Dijsktra(迪杰斯特拉) 算法的最短路径求值

一、实验目的

1.掌握图的邻接矩阵表示法,掌握采用邻接矩阵表示法创建图的算法。

2.掌握求解最短路径的 Dijsktra 算法。

二、实验内容

问题描述 一张地图包括 n 个城市,假设城市间有 m 条路径(有向图),每条路径的长度 已知。给定地图的一个起点城市和终点城市,利用 Dijsktra 算法求出起点到终 点之间的最短路径。 输入要求 多组数据,每组数据有 m+3 行。第一行为两个整数 n 和 m,分别代表城市 个数 n 和路径条数 m。第二行有 n 个字符,代表每个城市的名字。第三行到第 m+2 行每行有两个字符 a 和 b 和一个整数 d,代表从城市 a 到城市 b 有一条距离 为 d 的路。最后一行为两个字符,代表待求最短路径的城市起点和终点。当 n 和 m 都等于 0 时,输入结束。 输出要求 每组数据输出 2 行。第 1 行为一个整数,为从起点到终点之间最短路的长度。 第 2 行为一串字符串,代表该路径。每两个字符之间用空格隔开。 

输入样例

3 3 //三条城市三条边 

A B C// 城市的名称

A B 1// 边和权重

B C 1

C A 3

A C// 所求AC最短距离

输出样例

2// 最短路的长度

A B C// 路径

Dijkstra算法的时间复杂度取决于实现方式,但通常是O(V^2)或O((V + E) * log(V)),其中V是顶点数,E是边数。在使用最小堆(优先队列)等数据结构进行优化时,算法的时间复杂度可以降低。

假设读者已了解算法具体过程,下面给出实现代码

1. 图的邻接矩阵存储表示:

#define MVNum 100
#define MaxInt 32767

typedef struct {
    char vex[MVNum];        // 顶点表
    int arcs[MVNum][MVNum]; // 邻接矩阵,权重为整数
    int Vexnum;             // 顶点数
    int arcnum;             // 边数
} AMGraph;

2.对G进行初始化

void initG(AMGraph& G, int n) {
    int Max = numeric_limits<int>::max();// 取较大值代替无穷
    
    // 对邻接矩阵进行初始化
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < n; j++) {
            G.arcs[i][j] = Max;
        }
    }
}

3.对G进行输入

void inputG(AMGraph& G, int n, int m) {
    // 对城市进行录入
    for (int i = 0; i < n; i++) {
        cin >> G.vex[i];
    }

    initG(G, n);

    // 输入路径信息
    for (int i = 0; i < m; i++) {
        char a, b;
        int d;
        cin >> a >> b >> d;
        int index_a = find(G.vex, G.vex + n, a) - G.vex;// G.vex为起始位置,迭代器获取a的索引
        int index_b = find(G.vex, G.vex + n, b) - G.vex;// G.vex为起始位置,迭代器获取b的索引
        G.arcs[index_a][index_b] = d;
    }


}

3.Dijsktra代码实现过程

void Dijkstra(AMGraph G, int start, int end, int& minDist, vector<int>& path) {
    int Max = numeric_limits<int>::max();// 取较大值代替无穷
    
    vector<int> dist(G.Vexnum, Max); // 用于存储起点到各顶点的最短距离
    vector<bool> visited(G.Vexnum, false); // 记录顶点是否已访问
    vector<int> Path(G.Vexnum, -1); // 记录路径上的前驱节点

    dist[start] = 0;// 起点到起点的距离设为零

    for (int i = 0; i < G.Vexnum; ++i) {
        int minIndex = -1;// 当前阶段找到的最小距离的顶点的索引
        int minDistance = Max;// 最小的距离,初始化为无穷

        // 选取未访问的顶点中距离最小的顶点
        for (int j = 0; j < G.Vexnum; ++j) {
            if (!visited[j] && dist[j] < minDistance) {
                minIndex = j;
                minDistance = dist[j];
            }
        }

        if (minIndex == -1) {
            break; // 所有顶点都被访问过
        }

        visited[minIndex] = true;// 将当前已经访问的节点置为true

        // 更新与选取顶点相邻的顶点的最短距离
        for (int k = 0; k < G.Vexnum; ++k) {
            // 如果顶点 k 未被访问且存在从当前顶点 minIndex 到顶点 k 的边
            if (!visited[k] && G.arcs[minIndex][k] < Max) {
                int newDist = dist[minIndex] + G.arcs[minIndex][k];// 计算从起点经过 minIndex 到达顶点 k 的新路径长度
                if (newDist < dist[k]) {
                    dist[k] = newDist;  // 更新起点到顶点 k 的最短路径长度
                    Path[k] = minIndex;  // 记录顶点 k 在最短路径上的前驱顶点为 minIndex
                }
            }    
        }
    }

    minDist = dist[end];// 记录从起点到终点的最短路径长度
    int vi = end;// vi 为终点 end 在顶点表 vex[] 中的索引
    
    // 从终点开始反向遍历最短路径上的各个顶点
    while (vi != -1) {
        path.push_back(vi);// 将当前顶点 vi 添加到路径中
        vi = Path[vi];  // 获取当前顶点 vi 在最短路径上的前驱顶点的索引
    }
    reverse(path.begin(), path.end()); // 反转路径,使起点到终点的顺序正确
}

完整代码实现

#include <iostream>
#include <climits>
#include <vector>
#include <algorithm>

using namespace std;

#define MVNum 100
#define MaxInt 32767

typedef struct {
    char vex[MVNum];        // 顶点表
    int arcs[MVNum][MVNum]; // 邻接矩阵,权重为整数
    int Vexnum;             // 顶点数
    int arcnum;             // 边数
} AMGraph;

// 对G进行初始化
void initG(AMGraph& G, int n) {
    int Max = numeric_limits<int>::max();// 取较大值代替无穷
    
    // 对邻接矩阵进行初始化
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < n; j++) {
            G.arcs[i][j] = Max;
        }
    }
}

// 对G进行输入
void inputG(AMGraph& G, int n, int m) {
    // 对城市进行录入
    for (int i = 0; i < n; i++) {
        cin >> G.vex[i];
    }

    initG(G, n);

    // 输入路径信息
    for (int i = 0; i < m; i++) {
        char a, b;
        int d;
        cin >> a >> b >> d;
        int index_a = find(G.vex, G.vex + n, a) - G.vex;// G.vex为起始位置,迭代器获取a的索引
        int index_b = find(G.vex, G.vex + n, b) - G.vex;// G.vex为起始位置,迭代器获取b的索引
        G.arcs[index_a][index_b] = d;
    }


}

void Dijkstra(AMGraph G, int start, int end, int& minDist, vector<int>& path) {
    int Max = numeric_limits<int>::max();// 取较大值代替无穷
    
    vector<int> dist(G.Vexnum, Max); // 用于存储起点到各顶点的最短距离
    vector<bool> visited(G.Vexnum, false); // 记录顶点是否已访问
    vector<int> Path(G.Vexnum, -1); // 记录路径上的前驱节点

    dist[start] = 0;// 起点到起点的距离设为零

    for (int i = 0; i < G.Vexnum; ++i) {
        int minIndex = -1;// 当前阶段找到的最小距离的顶点的索引
        int minDistance = Max;// 最小的距离,初始化为无穷

        // 选取未访问的顶点中距离最小的顶点
        for (int j = 0; j < G.Vexnum; ++j) {
            if (!visited[j] && dist[j] < minDistance) {
                minIndex = j;
                minDistance = dist[j];
            }
        }

        if (minIndex == -1) {
            break; // 所有顶点都被访问过
        }

        visited[minIndex] = true;// 将当前已经访问的节点置为true

        // 更新与选取顶点相邻的顶点的最短距离
        for (int k = 0; k < G.Vexnum; ++k) {
            // 如果顶点 k 未被访问且存在从当前顶点 minIndex 到顶点 k 的边
            if (!visited[k] && G.arcs[minIndex][k] < Max) {
                int newDist = dist[minIndex] + G.arcs[minIndex][k];// 计算从起点经过 minIndex 到达顶点 k 的新路径长度
                if (newDist < dist[k]) {
                    dist[k] = newDist;  // 更新起点到顶点 k 的最短路径长度
                    Path[k] = minIndex;  // 记录顶点 k 在最短路径上的前驱顶点为 minIndex
                }
            }    
        }
    }

    minDist = dist[end];// 记录从起点到终点的最短路径长度
    int vi = end;// vi 为终点 end 在顶点表 vex[] 中的索引
    
    // 从终点开始反向遍历最短路径上的各个顶点
    while (vi != -1) {
        path.push_back(vi);// 将当前顶点 vi 添加到路径中
        vi = Path[vi];  // 获取当前顶点 vi 在最短路径上的前驱顶点的索引
    }
    reverse(path.begin(), path.end()); // 反转路径,使起点到终点的顺序正确
}



int main() {
    int n;// 城市的个数
    int edge;// 有向边
    cin >> n >> edge;

    AMGraph G;// 创建图G
    // 图G参数赋值
    G.Vexnum = n;
    G.arcnum = edge;

    inputG(G, n, edge);

    char start;// 起始目标节点
    char end;// 终止目标节点
    cin >> start >> end;

    int minDist;// 存储目标结点间最短路径
    vector<int> path;// 存储从起点到终点的最短路径上的顶点序列
    int startIndex = find(G.vex, G.vex + n, start) - G.vex;// 迭代器,计算start索引
    int endIndex = find(G.vex, G.vex + n, end) - G.vex;// 迭代器, 计算end索引

    Dijkstra(G, startIndex, endIndex, minDist, path);

    // 输出结果
    cout << minDist << endl;
    for (int i = 0; i < path.size(); ++i) {
        cout << G.vex[path[i]];
        if (i < path.size() - 1) {
            cout << " ";
        }
    }
    cout << endl;

    return 0;
}

运行结果

输入为

3 3
A B C
A B 1
B C 1
C A 3
A C

输出

2
A B C

<think> 首先,用户的问题是基于Dijkstra算法最短路径求解方法。系统指令要求我使用中文回答,并遵循特定的格式规则。 系统指令关键点: - 行内数学表达式用$...$,例如:$x^2$ - 独立公式用$$...$$并单独成段 - LaTeX语法正确 - 使用中文回答 - 生成相关问题 - 回答中引用的段落末尾自然地添加引用标识,例如:[^1] - 回答结构清晰,帮助用户逐步解决问题 - 尽量保证回答真实可靠 用户提供了引用:[^1] 是关于Dijkstra算法的,但我需要参考用户的真正需求。用户说:“参考站内引用:引用[1]:... 上述引用仅供参考,并不是用户真正的需求,请尽可能多的参考用户上一次的问题和你的回答。我想查找基于Dijkstra算法进行最短路径求解的相关内容 请问基于Dijkstra算法最短路径求解方法” 用户上一次的问题似乎就是这个,所以我应该直接基于Dijkstra算法回答。 我的回答结构: 1. **解释Dijkstra算法**:简要介绍什么是Dijkstra算法,用于什么。 2. **逐步描述算法**:清晰、结构化的步骤,包括数学表达式。 3. **示例**:可能包括一个简单的图例或伪代码。 4. **注意事项和局限性**:如无法处理负权边。 5. **生成相关问题**:在最后添加相关问题。 数学表达式: - 行内:如距离$d[v]$,权重$w(u,v)$ - 独立公式:如算法公式或方程,单独成段。 引用:用户提供了引用[^1],我需要在相关内容末尾添加[^1]。既然这是参考,我应该使用它。 回答大纲: - **引言**:介绍Dijkstra算法及其用途。 - **算法步骤**: 1. 初始化距离数组。 2. 选择最小距离节点。 3. 更新邻居距离。 4. 重复直至所有节点访问。 - **数学公式**:如距离更新公式:$d[v] = \min(d[v], d[u] + w(u,v))$ - **伪代码**:用代码块展示。 - **局限性**:无法处理负权边。 - **结束**:总结。 - **相关问题**:在最后添加几个相关问题。 确保LaTeX正确: - 行内:$d[v]$ - 独立:$$ \text{distance} = \text{min}(current, alternative) $$ 生成相关问题: - 基于主题,如优化、应用等。 - 例如:1. 如何优化Dijkstra算法?2. Dijkstra算法在现实世界中的应用?3. 如何处理负权边? 最终回答在中文字符下。 </think> ### 基于Dijkstra算法最短路径求解方法 Dijkstra算法是一种经典的单源最短路径算法,由荷兰计算机科学家Edsger W. Dijkstra于1956年提出。它适用于加权有向图或无向图,其中所有边权为非负数。该算法通过贪心策略逐步确定从源节点到其他所有节点的最短路径,具有高效性和可靠性[^1]。下面我将逐步解释求解方法,确保结构清晰易懂。 #### 算法核心思想 Dijkstra算法基于以下原则:从源节点出发,逐步扩展到距离最近的未访问节点,并更新其邻居的距离值。关键公式包括: - 节点$u$到节点$v$的边权表示为$w(u,v)$。 - 源节点$s$到节点$v$的当前最短距离记为$d[v]$。 - 更新距离的公式为:$d[v] = \min(d[v], d[u] + w(u,v))$,其中$u$是当前处理的节点。 #### 逐步求解方法 1. **初始化**: - 创建一个距离数组$d$,大小为图中节点数$n$。 - 设置源节点$s$的距离$d[s] = 0$。 - 其他所有节点$v$的距离$d[v] = \infty$(表示无穷大)。 - 创建一个优先队列(或最小堆),用于高效获取最小距离节点。初始时,将源节点$s$加入队列。 - 创建一个访问标记数组,所有节点标记为未访问。 2. **处理节点**: - 从优先队列中取出距离最小的节点$u$(即$d[u]$最小)。 - 标记$u$为已访问。 - 遍历$u$的所有未访问邻居$v$: - 计算潜在新距离:$d[u] + w(u,v)$。 - 如果$d[u] + w(u,v) < d[v]$,则更新$d[v] = d[u] + w(u,v)$,并将$v$加入优先队列。 - 使用独立公式表示更新过程: $$ d[v] \leftarrow \min\left(d[v], d[u] + w(u,v)\right) $$ 3. **重复过程**: - 重复步骤2,直到优先队列为空或所有节点均已访问。 - 最终,$d$数组存储从源节点$s$到每个节点的最短距离。 - 如果需要路径序列,可以反向追踪父节点(在更新时记录每个节点的前驱节点)。 #### 伪代码示例 以下是Dijkstra算法的Python伪代码实现,便于理解: ```python import heapq def dijkstra(graph, start): n = len(graph) # 图中节点数 d = [float('inf')] * n # 初始化距离数组 d[start] = 0 visited = [False] * n # 访问标记 priority_queue = [(0, start)] # 优先队列(距离, 节点) heapq.heapify(priority_queue) while priority_queue: dist_u, u = heapq.heappop(priority_queue) # 取出最小距离节点 if visited[u]: continue visited[u] = True for v, weight in graph[u]: # 遍历邻居 if not visited[v]: new_dist = dist_u + weight if new_dist < d[v]: d[v] = new_dist heapq.heappush(priority_queue, (new_dist, v)) return d # 返回最短距离数组 ``` #### 关键特性和局限性 - **时间复杂度**:使用优先队列(如最小堆)时,平均为$O((V + E) \log V)$,其中$V$是节点数,$E$是边数。 - **空间复杂度**:$O(V)$,用于存储距离和队列。 - **优点**:高效、易于实现,适用于大规模非负权图。 - **局限性**:无法处理负权边(负权边可能导致算法失效),因为贪心策略依赖于非负权重的单调性[^1]。对于负权图,Bellman-Ford算法更合适。 - 实际应用:常用于路由协议(如OSPF)、地图导航(如Google Maps)和网络优化。 通过以上步骤,您可以求解任意非负权图中的最短路径问题。如果需要处理大规模数据或负权情况,可结合其他算法如A*或SPFA进行优化。
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值