［笔记］tarjan-无向图（桥、割点、双联通分量）

一．基本概念
　　1.桥：对于一个无向图，如果删除某条边后，该图的连通分量增加，则称这条边为桥
　　2.割点/割项：对于一个无向图，如果删除某个节点u节点后，该图的连通分量增加，则节点u为割项或关节点
　　3.点-双联通：对于一个连通图，如果任意两点至少存在两条点不重复路径，则称这个图为点双连通（也就是通常说的的双联通）
　　4.边-双联通：对于一个连通图，如果任意两点至少存在两条边不重复路径，则称该图为边双连通的
二．判断条件
　　1.桥：
　　　　- 存在重边必定不为桥
　　　　-low[v]>dfn[u]
　　2.割点/割项：
　　　　-u不为搜索起点，low[v]>=dfn[u]
　　　　-u为搜索起点，size[ch]>=2
　　PS:　–> 一般情况下，不建议在tarjan中直接输出答案（可能会有重复）
　　　　 –> 在有重边的情况下，将tarjan传值中的father改为其编号，由于存边的连续性　只要判断　(当前编号)i != (father编号)pre^1
　　　　{ 初始值tarjan(i,-1) 编号:0—-2m }
　　　*************************************************
　　3.点-双联通：大致同求割点
　　　　-用栈保存边（并非点）
　　　　-遇到割点后开始出栈，直到当前的边出栈后
　　4.边-双联通：（目前只提供一种方法　其实是不知道另一种方法）
　　　　-第一次dfs找出所有的桥
　　　　-第二次dfs保证不经过桥．一个连通图即为一个边-双联通分量
　三．构造双连通图
　　　缩点后找度为1的个数，需要加的边为（tot+1)/2