树与图的优先遍历 + 拓扑排序

###树与图 深度优先遍历(DFS)

原理：对于一颗树，深搜由根节点一条路走到黑，再回溯到最近的未走过的节点，直到遍历完所有点。

题意：对于一棵树，n个结点，n-1条无向边，删除其中一个结点后剩余各联通块的最大值最小，找到该最小的最大联通块。

框架：vector模拟邻接表

//深度遍历框架
void dfs(int u)
{
	st[u] = true;
	for(auto j : q[u])
	{
		if(!st[j])
		dfs(j);
	}
}

code详解：

#include<iostream>
#include<algorithm>
#include<vector>
using namespace std;

const int N = 2e5+10;
int n, m;
bool st[N];
int ans = N;//全局答案，寻找最小的最大值
vector<int> q[N];

int dfs(int u)//返回以u为根的子树的大小
{
	st[u] = true;//标记当前点已经被搜过
	
	int sum = 1, res = 0;//记录当前子树大小和删掉该点后每一个联通块的最大值
	for(auto j : q[u])//遍历当前节点所连接的子节点
	{
		if(!st[j])
		{
			int s = dfs(j);
			res = max(res, s);
			sum += s;
		}
	}
	res = max(n - sum, res);//子树上方整体的联通块和下方最大的联通块进行比较，找到最大连通块
	
	ans = min(ans, res);//取最小的最大值
	return sum;
}

int main()
{
	cin >> n;
	for(int i = 0; i < n - 1; i ++)
	{
		 int a, b; cin >> a >> b;
		 q[a].push_back(b);
		 q[b].push_back(a);
	}
	
	dfs(1);
	
	cout << ans << endl;
	
	return 0;
}

###树与图 广度优先遍历(BFS)

原理：从起点开始向外拓展一层结点，当第一次拓展到某一点，即为起点到该点的最短路

题意：对于一个n点m边的有向图，可能存在重边和自环，求出1到n点的最短距离，若无法到n点则输出-1.

框架：队列实现，存入起点，向外拓展当前队头所能拓展的邻点，若拓展点未被遍历过则存入队列并弹出队头，

注意更新距离数组的距离，只有第一次搜到目标点的距离才为最短距离

code详解：

#include<iostream>
#include<algorithm>
#include<cstring>
#include<vector>
#include<queue>
using namespace std;

typedef long long LL;
const int N = 2e5+10;
int n, m, d[N];//距离数组，存当前点的最短路经
queue<int> q;
vector<int> g[N];//存图，模拟邻接表

int bfs()
{
	memset(d, -1, sizeof d);//初始化为-1，到不了就直接输出

	d[1] = 0;//初始点距离为1
	
	q.push(1);
	while(!q.empty())
	{
		int t = q.front();
		q.pop();
		for(auto j : g[t])//遍历当前节点子节点
		{
			if(d[j] == -1)
			{
				d[j] = d[t] + 1;
				q.push(j);
			}
		}
	}
	return d[n];
}

int main()
{
	cin >> n >> m;
	for(int i = 0; i < m; i ++)
	{
		int a, b; cin >> a >> b;
		g[a].push_back(b);
	}
	
	cout << bfs() << endl;
	
	return 0;
}

拓扑排序

定义：对于一个有向图中的每条边起点均在终点之前，所有边均为从前指向后的有向无环图被称为拓扑图，环不可能是拓扑序列。入度，有多少边指向该点；出度，有多少边从该点出去。

题意：给出合法有向图，输出任一拓扑序列

框架：

1.把所有入度为0的点入队，入度为0即没有任何边指向该点，即没有点在其前面，则所有入度为0的点都可以排在当前最前面的位置

2.宽搜，枚举t的所有出边，即t指向的边，删掉t并存入答案数组，t所指向的点的入度减一，若指向点的入度减为0，则该点无限制可放入队列

3.比较答案数组与n的数量，若不相同说明存在环，环的入度不会为0

一个有向无环图一定至少存在一个入度为0的点，且图的拓扑序列不唯一

code详解：

#include<iostream>
#include<algorithm>
#include<queue>
#include<vector>
#include<cstring>
using namespace std;

const int N = 2e5+10;
vector<int> g[N];//vector模拟邻接表存图
queue<int> q;//宽搜队列
int n, m;
int d[N];//入度数组
int ans[N], cnt = 0;//STL需多开一个答案数组

bool topsort()
{
	for(int i = 1; i <= n; i ++)
	if(!d[i]) q.push(i);//压入初始入度为0的点
	
	while(!q.empty())
	{
		int t = q.front();
		q.pop();
		ans[cnt ++] = t;//每次取出入度为0的点进答案数组
		
		for(auto j : g[t])//遍历该点出度指向的点，该点删去后指向的点入度--
		{
			d[j] --;
			if(d[j] == 0) q.push(j);//入度为0时压入
		}
	}
	return cnt == n;//最终入度为0的点的数量为n时说明为拓扑序列
}

int main()
{
	cin >> n >> m;
	
	memset(d, 0, sizeof d);
	for(int i = 0; i < m; i ++)
	{
		int a, b; cin >> a >> b;
		g[a].push_back(b);//a指向b
		d[b] ++;//记录b的入度
	}
	
	if(topsort())
	{
		for(int i = 0; i < cnt; i ++)//顺序输出答案数组，即进入的顺序
		cout << ans[i] << " ";
		cout << endl;
	}
	else
	cout << "-1" << endl;//有环，无法形成拓扑序列，输出-1
	
	return 0;
}