图论
理论
基本概念
假设平面上的n个点,把其中的一些点对用曲线或直线连接起来,不考虑点的位置与连线曲直长短,形成的一个关系结构称为一个图。记
G = (V(G), E(G)), V = V(G) 是顶点集,E = E(G) 是边集。
设ν ∈ V(G),若ν是边e ∈ E(G)的端点,则称ν与e相关联, 与顶点ν关联的边数之和称为该顶点的次数(度数),记为d(ν)。可以证明握手定理
∑ν ∈ V(G)d(ν) = 2|E(G)| ,
且由此可知:奇次顶点的总数是偶数,且所有 顶点的次数之和是边数的两倍。次数为奇数顶点称为奇点,否则称为偶点。所以我们在一些建模问题中,为了消去奇次顶点,可以两两配对进行加边。
常用d(ν)表示图G 中与顶点ν关联的边的数目, d(ν)称为顶点ν的度数. 与顶点ν出关联的边的数目称为出度,记作d+(ν), 与顶点ν入关联的边的数目称为入度,记作d−(ν)。用N(ν)表示图G 中所有与顶点ν相邻的顶点的集合.
有结论:
∑ν ∈ Vd+(ν) = ∑ν ∈ Vd−(ν) = |E|
这是显然的,每条弧必然连接两个顶点,也对应一个入度和一个出度,所以所有顶点的入度之和等于所有顶点的出度之和
若对于每条边是有指向的,则称为有向图;若每条边是不区分指向的,则称为无向图。若有的边有向,有的边无向,则称为混合图。
特殊的结构
self-loop(自环)
一个节点指向自己的边,比如网络爬虫中我们需要遍历所有网页,但有的网页会给出自己的url(链接到自己),这就需要用自环描述
mutiedge(多重边)
一个城市到另一个城市有很多条不同的航班,要用多重边描述。
图的邻接矩阵(adjacency matrix)表示法
将邻接矩阵理解为一种数据结构
图G = (V, E)的邻接矩阵C = (cij)是如下定义
$$c_{ij}=\begin{cases}1,(v_i,v_j)\in
E\\0,(v_i,v_j)\not\in E\end{cases}$$
也就是说,
1
如果两节点之间有一条弧,则邻接矩阵中对应的元素为1;否则为0。这一数据结构便于我们查找图的情况与节点连接情况。
2
如果图中的每条边都有一个(或多个)实数与之对应,称这样的图为赋权图。同样,对于网络中的权,也可以用这样的邻接矩阵表示。只是此时一条弧所对应的元素不再是1,而是相应的权
邻接矩阵表示为 $\begin{pmatrix}0&1&1&0&0\\0&0&0&1&0\\0&1&0&0&0\\0&0&1&0&0\\0&0&1&1&0\end{pmatrix}$
注意到
无向图的邻接矩阵是一个对称阵
如果网络比较稀疏,这种表示法会浪费大量的存储空间,而且增加了在网络中查找弧的时!
关联矩阵表示法(incidence matrix)
图G = (V, E)的关联矩阵B = (bij)定义为: $$b_{ij}=\begin{cases}1,&\exists v_k\in V,s.t.e_j=(v_i,v_k)\in E\\-1,&\exists v_k\in V,s.t.e_j=(v_k,v_i)\in E\\0,&其他\end{cases}$$ 也就是说,节点vi是边ej的起点时,bij = 1,是终点时,bij = −1,否则为bij = 0。 ·关联矩阵中,每一行对应一个节点;每一列对应一条边。·对于简单图,每一列只有2个非0元(一个1,一个-1)。·对于赋权图,可以把关联矩阵增加一行,把每一条弧所对应的权存储在增加的行中。
Dijkstra算法
算法目标:在一个有权重的图中,给出一个起始点,我们可以求出到达其他所有点的最短路径。
有一个极其重要的图论定理:最短路径的子路径仍然是最短路径
(最短路径的子路径最优性质): 如果在带权图中从顶点u到顶点v存在一条最短路径P,并且路径P经过中间顶点w,那么从u到w的子路径Q1和从w到v的子路径Q2分别也是u到w和w到v的最短路径。
https://zhuanlan.zhihu.com/p/454373256
Dijkstra算法是把从起点开始到其他点的所有路径按长度从小到大的顺序列举了出来,保证前一次列出的路径的长度一定小于下一次,这样的话,当某个节点第一次作为终点出现时,一定是最短路径,因为后续列出的路径一定比这一次要长
具体来说,Dijkstra算法的执行过程如下:
1,找出此时路状态表中最短的一条,这一定是我们要求的d[]=M.(因为倘若这不是我们要求的d,那么我们要求的d一定在由起始点从其他节点过来的路上,但那些路必然包含着大于M的子路径,归谬!所以此时状态表中最短的d[]就是我们要求的d[]).记录st[t]=true,并记录t作为下一次延伸节点
2从t向外再延伸一次得到一系列新的待比较的d[],与原有d[]取min留下,得到从t向外延伸一次后新的d[]表
重复到1步骤
这本质上实在逐步构建最短路径树。
c艹代码 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 510;
int dist[N];//dist[i]表示结点i到起点的距离
int g[N][N];//g[i][j]表示结点i到结点j的边的长度
bool st[N];//st[i]表示该结点是否确定了最小距离,1是确定,0是未确定
int n, m;
void dijkstra()
{
memset(dist, 0x3f, sizeof dist);//把距离初始化为正无穷
dist[1] = 0;
int iter = n;
while(iter--)//n个点,循环n次
{
int t = -1;
//t随便初始化了一个不存在的结点,它最终用来存储未确定最小距离的结点,且该结点与其它结点相比目前到起点的距离最小
for(int i = 1; i <= n; i++)
if(st[i] == 0 && (t == -1 || dist[i] < dist[t]))
t = i;
st[t] = true;
//用结点t依次取更新其它结点到起点的距离,dist[i] = min(dist[i], dist[t] + g[t][i]);
for(int i = 1; i <= n; i++)
if(st[i] == 0)
dist[i] = min(dist[i], dist[t] + g[t][i]);
}
}
int main()
{
cin >> n >> m;
memset(g, 0x3f, sizeof g);//将边先初始化为正无穷
while(m--)
{
int x, y, z;
cin >> x >> y >> z;
g[x][y] = min(g[x][y], z);//存在重边
//对于自环,不做处理,它不影响结果的计算
}
dijkstra();
if(dist[n] == 0x3f3f3f3f)
cout << "-1" << endl;
else
cout << dist[n] << endl;
return 0;
}
某公司在六个城市c1, c2, ⋯, c6中有分公司,从 ci到cj的直接航程票价记在下述矩阵的(i, j)位置上(∞表示无直接航路) $$\begin{pmatrix}0&50&\infty&40&25&10\\50&0&15&20&\infty&25\\\infty&15&0&10&20&\infty\\40&20&10&0&10&25\\25&\infty&20&10&0&55\\10&25&\infty&25&550\end{pmatrix}$$
py代码
1 |
|
matlab 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
G = graph();
G = addnode(G,6);
% 添加带权重的边
G = addedge(G, 1, 2, 50);
G = addedge(G, 1, 4, 40);
G = addedge(G, 1, 5, 25);
G = addedge(G, 1, 6, 10);
G = addedge(G, 2, 3, 15);
G = addedge(G, 2, 4, 20);
G = addedge(G, 2, 6, 25);
G = addedge(G, 3, 4, 10);
G = addedge(G, 3, 5, 20);
G = addedge(G, 4, 5, 10);
G = addedge(G, 4, 6, 25);
G = addedge(G, 5, 6, 55);
[dist, path] = shortestpath(G, 1, 4); %注意接口顺序
plot(G)
% 打印最短路径
disp('最短路径长度:');
disp(dist);
disp('最短路径为:');
disp(path);