最短路径——迪科斯彻算法(Dijkstra)算法_迪斯科算法

迪科斯彻算法(Dijkstra)是有荷兰计算机科学家艾兹格·迪科斯彻（Edsger Wybe Dijkstra）发明的。算法解决的是有向图中单个源点到其他顶点的最短路径问题。

算法描述

这个算法是通过为每个顶点 v 保留目前为止所找到的从s到v的最短路径来工作的。初始时，原点 s 的路径长度值被赋为 0 （d[s] = 0），同时把所有其他顶点的路径长度设为无穷大，即表示我们不知道任何通向这些顶点的路径（对于 V 中所有顶点 v 除 s 外d[v] = ∞）。当算法结束时，d[v] 中储存的便是从 s 到 v 的最短路径，或者如果路径不存在的话是无穷大。 Dijkstra 算法的基础操作是边的拓展：如果存在一条从 u 到 v 的边，那么从 s 到 v 的最短路径可以通过将边（u, v）添加到尾部来拓展一条从 s 到 u 的路径。这条路径的长度是 d[u] + w(u, v)。如果这个值比目前已知的 d[v] 的值要小，我们可以用新值来替代当前 d[v] 中的值。拓展边的操作一直执行到所有的 d[v] 都代表从 s 到 v 最短路径的花费。这个算法经过组织因而当 d[u] 达到它最终的值的时候每条边（u, v）都只被拓展一次。

算法维护两个顶点集 S 和 Q。集合 S 保留了我们已知的所有 d[v] 的值已经是最短路径的值顶点，而集合 Q 则保留其他所有顶点。集合S初始状态为空，而后每一步都有一个顶点从 Q 移动到 S。这个被选择的顶点是 Q 中拥有最小的 d[u] 值的顶点。当一个顶点 u 从 Q 中转移到了 S 中，算法对每条外接边 (u, v) 进行拓展。

算法实现

算法实现起来比较简单，当然这得归功于算法作者。

一、邻接矩阵实现

    

/*图的邻接矩阵存储*/
typedef int VertexType;
typedef int EdgeType;
#define MAXVEX 100
#define INFI 65535
 
typedef struct 
{
	VertexType vexs[MAXVEX];           /*顶点表*/
	EdgeType matrix[MAXVEX][MAXVEX];   /*邻接矩阵*/
	int numVertexes;          /*顶点数*/
	int numEdges;             /*边数*/
}Graph;
/*创建一个邻接矩阵有向图*/
Graph* CreateDiGraph()
{
	Graph *pGragh = new Graph;
	if (NULL == pGragh)
		return NULL;
 
	cout << "输入顶点数和边数：" << endl;
	cin >> pGragh->numVertexes >> pGragh->numEdges;
 
	for (int i = 0; i < pGragh->numVertexes; ++i)/*建立顶点表*/
		(pGragh->vexs)[i] = i;
	for (int i = 0; i < pGragh->numVertexes; ++i)/*邻接矩阵初始化*/
	{
		for (int j = 0; j < pGragh->numVertexes; ++j)
		{
			(pGragh->matrix)[i][j] = INFI;
			if (i == j)
				(pGragh->matrix)[i][j] = 0;
		}
	}
	for (int k = 0; k < pGragh->numEdges; ++k)
	{
		int i, j, w;
		cout << "输入边<vi,vj>上的下标i，下标j和权重w：" << endl;
		cin >> i >> j >> w;
		(pGragh->matrix)[i][j] = w;//清楚上面输入的顺序，有向边的开始点和终点
	}
	return pGragh;
}
/*图的邻接矩阵存储方式Dijkstra算法实现
该算法的目的是：找到图中给定起始点到其余顶点的最短距离*/
/*传参：dist为图pGraph中的起始顶点start到图中各个顶点的最短距离
dist为与图顶点数等值大小的数组，作为返回值
参数有效性有调用者保证*/
void Dijkstra(Graph *pGraph, int dist[], int start)
{
	bool *visited = new bool[pGraph->numVertexes]();//建立踪迹表
	visited[start] = true;//记录已经访问的顶点
	
	for (int i = 0; i < pGraph->numVertexes; ++i)
	{
		dist[i] = (pGraph->matrix)[start][i];//记录起始点start到各顶点的距离
	}
 
	int index;
	for (int i = 1; i < pGraph->numVertexes; ++i)
	{
		int mincost = INFI;
		for (int j = 0; j < pGraph->numVertexes; ++j)
		{
			if (!visited[j] && dist[j] < mincost)//选出起始点到其余顶点中的最小距离的那个顶点
			{
				mincost = dist[j];
				index = j;//记录该最小距离顶点
			}
		}
 
		visited[index] = true;//标记为已经访问过
		for (int j = 0; j < pGraph->numVertexes; ++j)
		{
			/*d[u] + w(u,v) < d[v] 就更新为最小距离为d[u]+w(u,v)*/
			if (!visited[j] && (dist[index] + (pGraph->matrix)[index][j]) < dist[j])
				dist[j] = dist[index] + (pGraph->matrix)[index][j];
			//dist 中保存的始终都是起始顶点start到图其余各顶点间的距离(访问过的就更新为最小)
		}
	}
}

需要注意的是，上面的Dijkstra算法得到的只是起始点到各个顶点的最小距离值，并没有记录其到达的最短路径。如果要计算某两个顶点之间的最短路径的话，可在更新最小距离的时候把中间顶点保存即可。实现比较简单就不贴出来了。

二、邻接表实现
相信经过了上面，举一反三的你也会很容易把邻接表的Dijkstra 算法实现出来。（懒啊，图片来源于《大话数据结构》，向作者致敬）

 

typedef int VertexType;
typedef int EdgeType;
#define INFI 65535
 
/*下面构成一个链式哈希表结构*/
/*边表结点*/
typedef struct AdjNode
{
	int adjvex;  //边的终点
	int weight;  //边的权重
	struct AdjNode *next;  //指向下一个邻接点
}AdjNode;
 
/*顶点表结点*/
typedef struct VertexNode
{
	VertexType data;   //顶点信息
	AdjNode *pFfirstedge;  //边表头指针
}VertexNode;
 
/*图结点*/
typedef struct Graph
{
	VertexNode *AdjArray;   //指向顶点表
	int numVertexes;
	int numEdges;
}Graph;
 
Graph* CreateDiGraph()
{
	Graph *pGraph = new Graph;
	AdjNode *pNode = NULL;
	if (NULL == pGraph)
		return NULL;
 
	cout << "输入顶点数和边数：" << endl;
	cin >> pGraph->numVertexes >> pGraph->numEdges;
 
	pGraph->AdjArray = new VertexNode[pGraph->numVertexes]();//创建并初始化为0
	if (NULL == pGraph->AdjArray)
	{
		delete pGraph;
		return NULL;
	}
 
	/*建立顶点信息表*/
	for (int i = 0; i < pGraph->numVertexes; ++i)
	{
		/*这里默认顶点从0到pGraph->numVertexes，可根据需要修改
		如：
		cout << "输入顶点信息" << endl;
		cin >> (pGraph->AdjArray)[i].data;
		*/
		(pGraph->AdjArray)[i].data = i;
	}
 
	/*建立边表*/
	for (int k = 0; k < pGraph->numEdges; ++k)
	{
		int i, j, w;
		cout << "输入边<vi,vj>上的下标i，下标j和权重w：" << endl;
		cin >> i >> j >> w;
 
		pNode = new AdjNode;
		if (NULL == pNode)
		{
			delete[] pGraph->AdjArray;
			delete pGraph;
			return NULL;
		}
		pNode->adjvex = j;
		pNode->weight = w;
		pNode->next = (pGraph->AdjArray)[i].pFfirstedge;//类链式哈希表插入操作，新节点插入到链表头结点
		(pGraph->AdjArray)[i].pFfirstedge = pNode;
	}
	return pGraph;
}
 
/*这里着重阐述算法实现，参数的有效性由调用者保证*/
/*dist中保存的则是起始点start到图中各顶点的最小距离*/
void Dijkstra(Graph *pGraph,int dist[], int start)
{
	bool *visited = new bool[pGraph->numVertexes]();
	visited[start] = true;
 
	/*不同于邻接矩阵，注意这里的初始化距离*/
	for (int i = 0; i < pGraph->numVertexes; ++i)
		dist[i] = INFI;
	dist[start] = 0;
 
	/*记录起始点到各邻接点的距离*/
	for (AdjNode *ptmp = (pGraph->AdjArray)[start].pFfirstedge; ptmp; ptmp = ptmp->next)
	{
		dist[ptmp->adjvex] = ptmp->weight;
	}
 
	int index;
	for (int i = 1; i < pGraph->numVertexes; ++i)
	{
		int mincost = INFI;
		/*选择其中最小的距离的顶点*/
		for (int j = 0; j < pGraph->numVertexes; ++j)
		{
			if (!visited[j] && dist[j] < mincost)
			{
				mincost = dist[j];
				index = j;
			}
		}
 
		/*以该顶点x为中间点，找到下一个点y，如果起始点start到中间点x的距离加上x到y的距离小于start到y的距离，则更新*/
		/*换言之，如果直接从北京到深圳用的钱比从先从北京到上海，再从上海转机到深圳要多，那么就选择后面这个方案*/
		visited[index] = true;
		for (AdjNode *ptmp = (pGraph->AdjArray)[index].pFfirstedge; ptmp; ptmp = ptmp->next)
		{
			if (!visited[ptmp->adjvex] && (dist[index] + ptmp->weight) < dist[ptmp->adjvex])
				dist[ptmp->adjvex] = dist[index] + ptmp->weight;
		}
	}
}

可以看出迪科斯彻算法的时间复杂度为O(n^2)，对于邻接矩阵空间复杂度为O(n^2)。

图的邻接表存储实现： http://blog.csdn.net/wenqian1991/article/details/24667287

图的邻接矩阵存储实现：http://blog.csdn.net/wenqian1991/article/details/47123807

图的DFS和BFS：     http://blog.csdn.net/wenqian1991/article/details/24812393