7.27集训

上午

讲了搜索，最短路，最小生成树

关于搜索

首先是bfs一些走迷宫问题

基本框架如下:

1.入队，打上标记
2.队列不空{
  取出当前队首节点，接近着pop
  一般都是对队首枚举四个方向{
     对于每个方向拓展出来的点
     进行一大堆特判
     留下经过挑选的数 {
         入队
         打上标记
     }
  }
}
3.善后

一般而言 bfs比较好理解也好实现

对于dfs，dfs就比较操蛋一些，因为掺杂了递归

我依稀记得一个名人沃乱硕得曾经说过：对于任何一个算法，掺杂了递归，就不是一个好算法

dfs基本框架如下:

到达了边界 返回
一些操蛋剪枝优化包括什么A*IDA*
一般到了这里都会有一些条件，比如在一个for里去搜索，或者在if里去搜索
直接来裸搜索的不太多

搜索有好多可做题呢，矩形覆盖数独
还没接到例题，等收到了再补上吧

最短路

首先是弗洛伊德三个for

就很nb....

其中k必须在外边，因为我们必须要用已经更新过的点去更新别的，我们不可能用一个未更新的点去更新别人

for (int k = 1; k <= n; ++ k)
   for (int i = 1; i <= n; ++ i)
      for (int j = 1; j <= n; ++ j)
	 f[i][j] = min(f[i][j], f[i][k]+f[k][j]);

dij与SPFA 回头补上

以后尽量用堆优化的dij因为spfa已经死了

下午

讲了讲图论，主要是关于(Tarjan)的相关知识

(Tarjan)与有向图

dfn[x] = low[x] = ++ tot;
sta[++tp] = x, in[x] = 1;
for (int i = head[x]; i; i = e[i].nxt) {
   int y = e[i].to;
   if (!dfn[y]) tarian (y), low[x] = min (low[x], low[y]);
   else if (in[y]) low[x] = min (low[x], dfn[y]);
}
if (dfn[x] == low[x]) {
   int y; ++ res;
   do {
      y = sta[tp--], in[y] = 0;
      tar[y] = cnt, scc[cnt].push_back(y);
   }while (x != y);
}

其中的(else)里面的(low[x] = min (low[x], dfn[y]))引起了争议，因为我交了好几道题，把里面的(dfs)改成(low)，是没有问题的，但是定义上应该是不相符的

但是学长依然建议我们写(dfn)不写(low)