Tarjan笔记

(\%\%\%tarjan)

有向图

强联通分量

DAG 的一些结论

• 图中唯一出度为0的点，将会受到所有点的%%
• 给所有入度为0的点传消息，那么消息会传到所有点（这也是传给初始点最少的方案）
• 使DAG上任意一点都被至少一个环覆盖，至少要添边 (max){入度为(0)的点的个数，出度为(0)的点的个数}

P.S.:

• 别忘了DAG中的一个点对应原图中的一个强联通分量(答案要输出强联通分量中的点)。

无向图

割点和点双

• 因为点双联通分量的求法与众不同(别的都是自己求自己，而点双是父亲求儿子)，这就导致了 (father) 割掉 (child) 时还有别的 (child) 在 (stack) 内，

  所以只能出栈到 (child)( (child) 未出栈)，然后手动加上 (now) 和 (child) (即 (v)).

• (root) 与他的每一个 (child) (确切的说是与 (child) 在 (stack) 内的结点) 构成点双。

  证明：(v) 的 (child) 中 (low[child]<=dfn[v]) 的已经出栈了，剩余的 (v's space childs) ,必然有 (low[v space childs]==dfn[root])

  因为(low[v's space childs])
  既不可能 (<dfn[root]) ,也不可能指向其他子树。

  故必有后向边指向(root),即证。

• 一个点可能同时属于多个点双（割点），若用染色法标记点双，请用数组套 (vector) 或 数组套 (set) .

求割点的Code：

int dfn[N],low[N],times=0;
set<int> cut;
void tarjan(int now,const int &fa)
{
	dfn[now]=low[now]=++times;
	rint i,v,child=0;
	for(i=one[now];i>0;i=Next[i]) {
		v=ver[i];
		if(!dfn[v]) {
			child++;
			tarjan(v,now);
			if((fa==0&&child>1)||(fa!=0&&low[v]>=dfn[now])) 
				cut.insert(now);
			low[now]=min(low[now],low[v]);
		}
		else //if(v!=fa) // 割点并不需要这句，但是指向father的low确实没有意义。（指向father的祖先才有意义）。 但桥要。 
			low[now]=min(low[now],dfn[v]);
	}
	return;  
}

（也可以开一个(bool) 数组来标记）

求点双的代码：

int dfn[N],low[N],times=0;
set<int> col[N];
int all=0;
int S[N],top=0;
int siz[N];
void tarjan(int now,const int &fa)
{
  dfn[now]=low[now]=++times;
  top++,S[top]=now;
  rint i,v,child=0;
  for(i=one[now];i>0;i=Next[i]) {
  	v=ver[i];
  	if(!dfn[v]) {
  		child++;
  		tarjan(v,now);
  		if((fa==-1)||(fa!=-1&&low[v]>=dfn[now])) {
  			all++;
  			while(S[top]!=v) {
  				siz[all]++;
  				col[S[top]].insert(all);
  				S[top]=0; top--;
  			}	
  			col[v].insert(all); S[top]=0,top--;
  			col[now].insert(all);
  			siz[all]++; siz[all]++;
  		}
  		low[now]=min(low[now],low[v]);
  	}
  	else low[now]=min(low[now],dfn[v]);
  }
  return;  
}

不得不说一下 (STL) 栈和手写栈的优缺点了

• STL (stack) 能减少码量，动态空间，但不方便调试。
• 手写栈方便调试，但会多上几行。

关于点双的一些结论

• 如果一个点双联通分量的 (size>=2) ，则点双中任意两点 (u),(v)，必然存在至少两条 互不重叠（指路径上除了起点和终点外，没有相同的点）的路径，

  而对于点双中的一点(u)和不在此点双中的一点(v),则不会存在两条路径互不重叠。

  证明：

  先证 点双（size>2）中任意两点 必然存在至少两条 互不重叠的路径，：

  若只存在一条，那么去掉其中一点（不是任意，是连着其他点的点），不联通，违反了定义，即证。

  再证

  而对于点双中的一点(u)和不在此点双中的一点(v),则不会存在两条路径互不重叠。

  若存在，则 (v) 也在此点双中，违反了定义，即证。

  一定要记得特判 size

桥和边双

一些结论

• 一个点只能属于一个边双联通分量
• 把一个无向无环图（通过加边）变成使每一个点都至少在一个环上的代价是(叶子节点数+1)>>1;(叶子节点指只有一条边与该点相邻的点)。