hydrogend的博客

B3611 【模板】传递闭包首先，要弄清楚传递闭包的定义，由题意：一张图的邻接矩阵定义为一个 n×nn\times nn×n 的矩阵 A=(aij)n×nA=(a_{ij})_{n\times n}A=(aij​)n×n​，其中aij={1,i 到 j 存在直接连边0,i 到 j 没有直接连边 a_{ij}=\left\{\begin{aligned}1,i\ 到\ j\ 存在直接连边\\0,i\ 到\ j\ 没有直接连边 \\\end{aligned}\right.aij​={1,i 到 j

上文提到，差分约束问题可以用最短路径求解，所以，我们也用一个数组。差分约束问题的典型特征是一组不等式。，这类问题都可以准换为最短路径问题。为起点，并初始化为 0。） = 一个未知数对应一个顶点（接着，用最短路径算法求。） + 一个额外的顶点（

表明我们可以令某一条边的权值为0，换句话来说，就是为某条边添上一条权值为0的重边。因为每一条边都有可能被选到，所以图中的每一条边都应该有一条这样的重边。但是，如果我们将重边直接添在原图上，就只能表示一次选择（某条边的权值为0）。所以，我们要创建原图的副本，要做。为了与原图有区别，我们需要对副本的顶点按顺序重新编号。个顶点，且是无向图）的到下一层图的重边就变成了。显然，这是一道最短路径的题目，我们可以选择。有了分层图的模型，接下来，我们就来具体实现。有了分层图，我们就能很轻松地解决本题了。