博客园食用更佳
关注洛谷谢谢喵~
无向图连通分量
定义
在无向连通图中，若删去一个节点 xxx 及所有与 xxx 关联的边后，该图被分为两个不连通的子图，则节点 xxx 称为割点。
在无向连通图中，若删去一条边 eee 后，该图被分为两个不连通的子图，则该边 eee 称为割边或桥。
而在无向图中，其割边与割点即为其各个连通块的割边与割点。
在一张无向连通图中，若不存在割点，则称其为“点双连通图”；若不存在割边，则称其为“边双连通图”。
一张无向图中，极大的点双连通图称为“点双连通分量”；极大的边双连通图称为“边双连通分量”。点双连通分量简称点双，简记为 “v-DCC”；边双连通分量简称边双，简记为 “e-DCC”。二者统称双连通分量，简记 “DCC”。
在无向图上，任选一点按照深度优先遍历的顺序叫做 dfs 序，依照每个点在 dfs 序中第一次被访问到的时间顺序，依次给予 NNN 个节点 111 至 NNN 的整数标记，该标记叫做时间戳。
在无向连通图上，任选一个点进行深度优先遍历，每个点仅允许被访问一次，则所有访问到的边组成一棵树，该树称为无向连通图的搜索树。在无向图中，所有的连通块的搜索树组成的森林叫做该无向图的搜索森林。
无向图中的 TARJAN 算法
Tarjan 算法可以求出无向图中的割边与割点。
对于一张无向图，可以对每个连通块分开处理，对于每个连通块求出割边与割点，故下文仅考虑无向连通图。先考虑割点的求法。
割点
首先无向连通图的边可以分为两部分：
* 在该无向连通图的搜索树上的边，称为树边。
* 不在该无向连通图的搜索树上的边，称为非树边。
性质 111
非树边连接的两个节点一定形成祖先后代关系。
证明：假如两个节点 x,yx,yx,y 先遍历的为 xxx，则遍历到 xxx 的时候由于 yyy 还未被遍历，则一定会由 xxx 或其子树中的节点遍历到 yyy，从而 xxx 成为 yyy 的祖先。
性质 222
一棵子树中的 dfndfndfn 一定是一段连续的区间。
证明：由于子树内的节点在 dfs 序的情况下是连续的，故其 dfndfndfn 也是连续的。
若该图是一棵树，则除该树根之外，每个节点都一定是割点，证明显然。考虑什么时候根为割点，显然若根的儿子数量只有一个的时候，其不是割点；否则删去根之后，原树变为多个不连通的子树，即根为割点。
根据割点的定义，若一个点 xxx 的子树（下文简记为 T(x)T(x)T(x)）中有节点在不经过该点的情况下无法与整张图除该点子树外的点（下文简记为 T′(x)T'(x)T′(x)）连通，则该点为割点。
由于该点每个儿子的子树连通，所以只需要判断该点所有的儿子能否不通过 xxx 到达 T′(x)T'(x)T′(x) 即可。所以我们可以记录 dpidp_idpi 代表 iii 点在只到达 T(i)T(i)T(i) 的情况下能达到的最小 dfndfndfn。
若存在 sonxson_xsonx 使得 dpsonx≥dfnxdp_{son_x} \ge dfn_xdpsonx ≥dfnx 则说明该子树在不经过 xxx 的情况下只能到达自己本身，即该点为割点。由此可推出状态转移方程 dpx=min(minsonxdpsonx,mine∈非树边dfnv)dp_x=\min(\min_{son_x} dp_{son_x},\min_{e \in 非树边} dfn_{v})dpx =min(minsonx dpsonx ,mine∈非树边 dfnv )，若 dpsonx≥dfnxdp_{son_x} \ge dfn_xdpsonx ≥dfnx ，则
xxx 为割点。注意此时是只有对通过非树边到达的点的 dfndfndfn 取最小值，而每个节点的父亲与该节点的连边显然不是非树边，但由于更新父亲的 dfndfndfn 并不会影响判定，所以方便起见，只要是访问过的节点我们都对其的 dfndfndfn 取最小值，其他取 dpdpdp 值。
此时会引出一个问题：我们能否对访问过的节点的 dpdpdp 取最小值？首先对于父亲节点肯定不行，若父亲节点提前访问到了祖先节点，则 dpfa=dfnfafadp_{fa}=dfn_{fa_{fa}}dpfa =dfnfafa ，所以所有的儿子的 dpdpdp 也会变为 dfnfafadfn_{fa_{fa}}dfnfafa ，这相当于是经过了 T′(x)T'(x)T′(x) 后能到达的 dfndfndfn 最小值，不符合我们对 dpdpdp 数组的定义。那么改为对通过非树边到达的节点的 dpdpdp 取最小值呢？考虑与父亲节点有重边，变为上述情况。那如果除了父亲呢？考虑下图：
先来看一个性质。
性质 333
一个点可以属于多个点双，若多个点双共有一个点，那该点一定为割点。
证明：充分性：若一个割点连接两个连通块，则将该节点删去，两个连通块内部仍然连通，互相不连通，这保证了该割点属于两个点双，且两个点双无法合并为一个点双。
必要性：考虑若多个点双共用多个点，则删去其中任意一个共用的点，各个点双内部连通，外部可以通过其他共用的点连通，故原假设不成立。若多个点双给共用的不是割点，说明删去该点后，图仍然连通，说明连通性没有改变；同时，删去点双中的其他点，该点双显然连通，同时也不会对其他点双造成连通性的影响，所以这多个点连通图不是极大的，可以合并，所以其不是点双，原假设不成立。
回到上图，此时 dp6=dp3=dp1=dfn1=1dp_6=dp_3=dp_1=dfn_1=1dp6 =dp3 =dp1 =dfn1 =1，所以 dp5=dp6=1<dfn4dp_5=dp_6=1<dfn_4dp5 =dp6 =1<dfn4 ，故按照这样 444 号节点不能算为割点，但其肯定为割点，就其根本原因还是一个割点可以属于多个点双，如果按照 dpdpdp 更新的话，相当于将两个点双合并了。（建议看完如何求解割边再看后文）如果是割边或者求边双的话，由于一条点顶多属于一个边双，所以即使按照 dpdpdp 更新，也不会将其他的边双的 dpdpdp 更新到当前边双中，所以是可以的。
这就是 lowlowlow 数组的含义，一般地，我们将 dpxdp_xdpx 初始化为 dfnxdfn_xdfnx ，显然不会影响答案。
割边
仿照割点的求法，发现割边的判定条件与割点有所不同，如下图：
会发现，在点 222 至点 666 中，割点为 222 与 444，但是并没有任何一个割边。而根据定义，发现假如现在判定的是 (4,5)(4,5)(4,5) 这条边，那么判定的条件应该是 555 及以下的节点不通过 (4,5)(4,5)(4,5) 这条边能到达的最高（即最小 dfndfndfn）点在 444 之下（不包括 444）。因为到达 444 之后其就不必借助 (4,5)(4,5)(4,5) 这条边能与 T′(4)T'(4)T′(4) 连通。
由此可推出状态转移方程 dpx=min(minsonxdpsonx,mine∈非树边dfnv)dp_x=\min(\min_{son_x} dp_{son_x},\min_{e \in 非树边} dfn_{v})dpx =min(minsonx dpsonx ,mine∈非树边 dfnv )，若 dpsonx>dfnxdp_{son_x} > dfn_xdpsonx >dfnx ，则 (x,sonx)(x,son_x)(x,sonx ) 为割边。注意，此时是必须为非树边，也就是说不能通过 dfnfadfn_{fa}dfnfa 更新，但如果有重边那也就是非树边就能用
dfnfadfn_{fa}dfnfa 更新。所以在 dfs 的时候可以传进去进来的边的编号，如果枚举到这条边的反向边，那就直接跳过即可。
边双
对于边双的求解，我们有两种方法：
* 第一种，求出割边之后做一遍 dfs，割边将整张图分为若干个边双，此时，求解割边的时候就不必判断重边，只需判断是否是父亲节点即可。因为假如有重边，也只会标记那一条边为重边，然而 dfs 的时候会递归另外一条边，所以点双求解是正确的，但是如果输出割边那就是不正确的。
* 第二种，由于边双是搜索树上的一个连通块，且每个点仅属于一个边双，所以考虑用栈存储下来每个点，当搜索完一个节点的所有子树后，且当前节点是该边双的起点时，就可以一直出栈直至到该节点。
对于第二种，问题来到如何判断一个点 xxx 是否是该边双的起点。
分两种情况：
* 若 lowsonx<dfnxlow_{son_x}<dfn_xlowsonx <dfnx ，说明儿子可以不通过 (x,sonx)(x,son_x)(x,sonx ) 这条边到达更高的点，也就说明 xxx 点并不是一个边双的起点。
* 若 dfnv<dfnx(e∈非树边)dfn_v<dfn_x(e \in 非树边)dfnv <dfnx (e∈非树边)，说明 xxx 可以通过非树边到达更高的点，所以 xxx 为某个边连通图的 dfndfndfn 最小的点，但其不会是一个边双的起点。
综上，又因为 lowx=dfnxlow_x=dfn_xlowx =dfnx ，所以当 lowxlow_xlowx 遍历完所有子树但仍未被更新的时候，说明其为一个边双的起点，此时一直出栈直到该点即可。
点双
点双似乎也可以使用 dfs 每遇到割点分割点双，进行求解，但是细节较多，所以一般使用栈存储。
当 lowsonx=dfnxlow_{son_x}=dfn_xlowsonx =dfnx 时，说明该 xxx 是一个点双的起点。若 lowsonx<dfnxlow_{son_x}<dfn_xlowsonx <dfnx ，见边双证明过程，xxx 一定不是包含 xxx 与 sonxson_xsonx 的点双的起点。若 dfnv<dfnxdfn_v<dfn_xdfnv <dfnx ，xxx 能到达 dfndfndfn 更小的点，但是 xxx 的儿子在不通过 xxx 的情况下无法到达，所以这些边不影响 xxx 是否能成为一个包含 xxx 与 sonxson_xsonx 的点双起点。
当 xxx 是两个点双的起点时，属于两个点双的两棵子树一定不连通，因为子树之间没有祖先后代关系，由性质 111 可以证明。所以在遍历完一棵子树的时候若 lowsonx=dfnxlow_{son_x}=dfn_xlowsonx =dfnx 便可出栈。注意，由于 xxx 可能属于多个点双，所以不必把 xxx 出栈。
注意当遍历到根的时候，如果根没有儿子，记得也要将其单独计入一个点双。
有向图连通分量
定义
给定一个有向图 G=(V,E)G=(V,E)G=(V,E)中，若存在点 rrr，满足从 rrr 除法能够到达 VVV 中所有的点。则称 GGG 是一张流图，简记为 (G,r)(G,r)(G,r)
在一个流图上从 rrr 出发进行深度优先遍历，每个点只访问一次，则发生递归的边组成一棵由 rrr 为根的树，我们将这棵树称为流图 (G,r)(G,r)(G,r) 的搜索树。
在深度优先遍历的时候，按照每个点第一次被访问的时间给予流图中 NNN 个节点 111 至 NNN 的整数标记，该标记被称为时间戳，记为 dfnxdfn_xdfnx 。
我们将有向图的边 (x,y)(x,y)(x,y) 分为四种：
* 树枝边，即搜索树上的边，xxx 是 yyy 的父节点。
* 前向边，xxx 是 yyy 的祖先节点，有时候也叫返祖边。
* 后向边，yyy 是 xxx 的祖先节点。
* 横叉边，即上述三种情况以外的边，满足 dfny<dfnxdfn_y<dfn_xdfny <dfnx 。注意，无向图的搜索树中没有横叉边，详见性质 111。
给定一张流图，若其中任意两个点 u,vu,vu,v 都能互相到达，就称这张流图为强连通图。继而，给定一张有向图，其中极大的强连通子图称为强连通分量，简称 “SCC”。
有向图中的 TARJAN 算法
在有向图中，Tarjan 可以求解强连通分量，继而可以缩点，缩点之后原图转化为一个 DAG，于是就会有一些性质可以帮助解题。
强连通分量
性质 111
强连通具有传递性。比如两个点 u,vu,vu,v 能互相到达，若 v,kv,kv,k 也能互相到达，则 u,ku,ku,k 能互相到达。
证明：显然。
性质 222
由性质 111 得到，每个点只属于一个强连通分量。
证明：反证，若一个点属于多个强连通分量中，那么根据传递性，这两个强连通分量可以合并，其就不是极大的了，故原假设不成立。
类似于求解边双与点双，一个环肯定是强连通分量，所以我们可以使用栈储存点，当回溯的起点的时候，就一直出栈一直到起点。由于每个点只属于一个强连通分量，所以可以搜索完所有的子树后再检查当前位置是否是起点，然后出栈，类似于边双而非点双。判断其是否是起点与点双和边双相同，也是如果 dfnu=lowudfn_u=low_udfnu =lowu ，其就是起点。
先说 lowlowlow 数组也就是类似 dpdpdp 数组的含义与更新。lowlowlow 在有向图中的含义与在无向图中有所不同。在有向图中 lowxlow_xlowx 的含义为 xxx 节点能到达的且会和其在同一个强连通分量的点的最小 dfndfndfn。这是因为在无向图中，若 xxx 遍历到了一条边的终点的 dfndfndfn 小于 dfnxdfn_xdfnx ，因为无向图没有横叉边，所以这条边一定是返祖边，则 xxx 与该点一定形成一个环，故这两个点既在一个边双又在一个点双中。而在有向图中，遇到了一条边的终点的 dfnv<dfnxdfn_v<dfn_xdfnv <dfnx
，这条边可能为横叉边，如下图：
若先遍历到了 2,3,4,52,3,4,52,3,4,5，然后是 666，则 (6,3)(6,3)(6,3) 这条边 dfn3<dfn6dfn_3<dfn_6dfn3 <dfn6 ，但是由于 333 已经确定了自己的强连通分量，所以 666 和 333 一定不在一个强连通分量里面，如果强行更新的话，会导致判断强连通分量的起点错误。
以上是 lowlowlow 数组新的定义，下文讲解 lowlowlow 数组的更新。
当遇见横叉边 (u,v)(u,v)(u,v) 的时候，如果 vvv 已经不在栈中了，说明 vvv 点已经出栈，其已经找到了自己的强连通分量，所以 uuu 与 vvv 一定不在一个强连通分量中。所以更新的时候的前提条件是 vvv 在栈中，而 vvv 在栈中说明 vvv 所属的强连通分量起点在 lca(u,v)lca(u,v)lca(u,v) 以上，所以 vvv 一定能通过若干个横叉边与后向边，最后通过若干个前向边或树枝边到达 lca(u,v)lca(u,v)lca(u,v) 继而向下到达 uuu。所以此时 lowu=min(lowu,lowv)low_u=min(low_u,low_v)lowu
=min(lowu ,lowv ) 或者 lowu=min(lowu,dfnv)low_u=min(low_u,dfn_v)lowu =min(lowu ,dfnv ) 都是可以的，因为无论是哪种更新 lowu>dfn强连通分量起点low_u>dfn_{强连通分量起点}lowu >dfn强连通分量起点 。
当遇到树枝边，将 lowx=min(lowx,lowsonx)low_x=min(low_x,low_{son_x})lowx =min(lowx ,lowsonx )。因为如果 lowsonxlow_{son_x}lowsonx 如果小于 dfnxdfn_xdfnx ，则可以将 (x,sonx)(x,son_x)(x,sonx ) 看成在栈中的横叉边，两者一定在一个强连通分量。但一定要取 lowsonxlow_{son_x}lowsonx ，因为 lowlowlow 数组的含义是能到达最小的 dfndfndfn。
当遇到后向边 (u,v)(u,v)(u,v) 的时候，也可以将 (u,v)(u,v)(u,v) 看成在栈中的横叉边。按照横叉边更新即可。
缩点
缩点就是将一个强连通分量缩成一个点，由于缩完点后的图上如果有环就说明仍然有强连通分量存在，所以缩完点后的图一定是一个 DAG（有向无环图），此时有一些好的性质可以在题中利用，或者在这个图上做 dp。如下题：缩点模板。
由于这个题可以重复经过点，所以处于同一个强连通分量的点只要选取了一个，那么整个分量都可以选上，缩点之后相当于一个 DAG，拓扑一下然后在 DAG 做一个简单 dp 即可。
现在问题来到怎么建立缩点后的新图。由于已经求出了强连通分量，所以可以再次进行 dfs，如果一条有向边连接的两个点不属于一个强连通分量，那就在这两个强连通分量上连一条有向边即可。
2-SAT
这个就有点像强连通分量的扩展了。这类型的题目大意为给定长度 nnn，求出满足 kkk 个形如若 ax=pa_x=pax =p 则 ay=qa_y=qay =q 的限制条件的布尔序列的一种解。
首先考虑什么情况无解，显然当 ax=0a_x=0ax =0 能推出来 ax=1a_x=1ax =1 且当 ax=1a_x=1ax =1 能推出来 ax=0a_x=0ax =0 的时候无解，即两者可以互相推出。这就类似一个强连通分量，所以我们考虑建图。
我们将每个点看成两个，分别为 iii 与 i+ni+ni+n，iii 号节点代表下标为 iii 的值是 000，i+ni+ni+n 代表下标为 iii 的值是 111。则原先的条件可以转化成 x+p×nx+p \times nx+p×n 向 y+q×ny+q \times ny+q×n 连一条有向边。然而我们发现当 ay=pa_y=pay =p 的时候，axa_xax 必须为 qqq。这就是其的逆否命题，应当也将逆否命题看成一条限制来连边。
则无解的条件转化为 iii 和 i+ni+ni+n 节点在一个强连通分量的时候无解。否则进行拓扑排序，后出现的节点就是下标为 iii 的值如果是先出现的节点的话，有可能推出来另外一个节点，也就互相矛盾了。
接下来需要证明同一个强连通分量中的节点要不然都比与自己对应的另外一个节点的拓扑序小，要不然比他们大。这样可以保证同一个强连通分量的取值是一致的。
由于一个限制条件同时有逆否命题，故一个强连通分量对应的另外的节点也会形成强连通分量，故两者一定不会出现拓扑序大小不同的情况。证毕。
以上就是本次图论连通分量的笔记。
