[图论]最短路（包括SLF优化spfa的原理)

图的一些简单概念

自环：从某个顶点出发连向自己的边。

环：从某个顶点出发再连到自身的边

重边从一个顶点到另一个顶点有两条边直接相连

图的存储

对于有向图，通常通过邻接矩阵和邻接表两种方法存储，而对于无向图，在没有特殊要求时，通常认为无向边是两条方向相反的有向边

邻接表
通过head数组来记录每个节点第一条边出发的节点在edge.to和edge.next中存储的位置，其中to和val 分别记录每个边的终点和权值，next 记录下一条边在to和val中存储的位置。
这种存储方法被称为链式前向星。

struct node{
   
	int to,next,val;
};
int cnt=0;
void add(int x,int y,int z)//存储一条起点为x，终点为y,权值为z的边 
{
   
	edge[++cnt].to=y;
	edge[cnt].val=z;
	edge[cnt].next=head[x];
	head[x]=cnt;
}

空间复杂度为$O(m)$，时间复杂度为$O(m)$,存储以及遍历也都是$O(m)$(m为边的个数)

邻接矩阵

假设一个图有n个点，那么邻接矩阵就是一个$n\ast n$的二维数组用来存储每个节点与节点的关系

	int a[N][N]
	a[x][y]=z;//存储一条从x到y，权值为z的边

空间复杂度为$O(n^2)$

单源最短路径问题

单源最短路问题（Single Source Short）

dijkstra算法

假设有一个权值全为非负数的图，那么有一种复杂度有保证的单源最短路算法便是$dijkstra$，它的大体流程如下：

1.初始化dis[s]=0（s为源节点）,其余dis值赋值为极大值，

2,从源节点开始，找到v(v为当前节点)所有出边中未被标记的，dis[x]最小的出边。

3.扫描x的所有出边y，如果dis[y]>dis[x]+a[x][y],那么就用dis[x]+a[x][y]更新dis[y]的值，并标记。

4.重复2，3,步骤，直到所有的节点都被标记。

void dij(int s)
{
   
	memset(dis,10,sizeof(dis));//memset中赋值为10时，数组中并非是10，而是168430090
	dis[s]=0;
	for(int i=1;i<n;i++)
	{
   
		int x=0;
		for(int j=1;j<=n;j++)
		{
   
			if(v[j]==0&&(dis[x]>dis[j]||x==0)) x=j;
		}
		v[x]=1;
		for(int j=1;j<=n;j++)
		{
   
			dis[j]=min(dis[j],dis[x]+a[x][j]);
		}
	}
}

堆优化的dijkstra

因为要遍历所有点及其最小值，所以复杂度为$O(n^2)$，
如何省去找最小值这一过程呢？利用二