bfs详解

bfs

bfs是一种处理边权为一的最短路算法。
bfs的算法流程如下。初始化时把每个点的距离设为 $inf$，源点的距离为 $0$，建一个队列，把源点放入队列。每次取出队头节点，遍历每个能走到的节点，如果被遍历的节点是第一次被遍历，就将其距离设为当前节点+1，然后将其插在队列尾部。重复执行此操作，直到队列为空为止。最后如果距离是 $inf$ 说明此节点无法被遍历，否则为它距源点的真实距离。

bfs的正确性

首先，我们先默认整个队列中节点的距离非严格递增，这样的话，采用反证法。如果一个节点被遍历到的第一时刻，它的距离不是最小的，那么一定存在一个节点，比更新它的节点它晚出队，而且比更新它的节点的距离更小。这就与队列具有单调性矛盾，所以这个算法是正确的。

为什么队列非严格递增，为了好证明，我们证明非严格递增和两段性（距离为一段x和一段x + 1，也可以是一段x）。在此用数学归纳法。首先，初始状态下，只有一个节点，必然满足非严格递增和两段性。其次，对于中间的过程，如果一个队列满足非严格递增和两段性，我们看一下用对头更新后队列会是怎么样。

去除队头元素

加入队尾元素

我们发现，完成后队列任然满足非严格递增和两段性，就算是队头取完同一个距离也满足。bfs的正确性证明完毕。

代码

#include<bits/stdc++.h>
using namespace std;
int n,m,dis[100010],head[100010],tot;
bool vis[100010];
struct node{
	int to,nxt;
}e[100010];
int main(){
	ios::sync_with_stdio(false);
	cin.tie(0);cout.tie(0);
	cin>>n>>m;
	for(int i=1;i<=n;i++) dis[i]=21e8,head[i]=-1;
	dis[1]=0;
	for(int i=1;i<=m;i++){
		int x,y;
		cin>>x>>y;
		e[++tot]={y,head[x]};
		head[x]=tot;
	}
	queue<int>q;
	q.push(1);
	vis[1]=1;
	while(!q.empty()){
		int u=q.front();
		q.pop();
		for(int i=head[u];i!=-1;i=e[i].nxt){
			int to=e[i].to;
			if(dis[to]>dis[u]+1&&!vis[to]){
				dis[to]=dis[u]+1;
				vis[to]=1;
				q.push(to);
			}
		}
	}
	if(dis[n]>=1e9) cout<<"-1";
	else cout<<dis[n];
	return 0;
}