图的连通性

1，有向图

1.割点：删除这个点(p)及与其相连的边后，整个图不连通

因为删除p后，图被分裂为多个子图，也就是p一边的图没有连向另一边图的边

表现在搜索树上的是至少有一个p的子节点没有连向p的祖先节点的边

也就是p的子节点连接的边至少有一个以p为根的子树上

还有，若p为根节点，需要有两个这种节点

stack<int>s; 
vector<int>ecc[100100]
void tarjan(int x,int p_id){
	dfn[x]=low[x]=++times;
	s.push(x);
    int gs=0;
	for(int i=0;i<tu[x].size();i++){
		int p=tu[x][i].p;
		int id=tu[x][i].id;
		if(!dfn[p]){
			tarjan(p,id);
			low[x]=min(low[p],low[x]);
			if(low[p]>=dfn[x]){//只要判定条件成立，就一定是点双连通分量
                gs++;
                if(x!=1||gs>1) gd[id]=true;
            }
		}else{
			low[x]=min(low[x],dfn[p]);
		}
	}
}

点双连通分量

一个图中没有割点，就叫做点双连通分量

所以点双连通分量也就很好求出了

stack<int>s; 
vector<int>ecc[100100]
void tarjan(int x,int p_id){
	dfn[x]=low[x]=+