3177 - Redundant Paths

给定一个连通图，问最多再加几条边，使任意两点间都至少有两条不同的路径。（两条路径不同当且仅当没有一条公共边）

tarjan缩点成树，答案即为（叶子结点个数+1）/2。

证明：

每次选择两个叶子结点，使这两个叶子结点的lca的度不为3，在这两个叶子节点间连边，可以保证减少两片叶子。

减到最后就没了。证毕。

感觉还是不太会tarjan。一背就忘。 这里放个无向图的tarjan板子。

#include<cstdio>
#include<cstring>
#include<iostream>
#include<vector>
#include<algorithm>
#include<set>
#include<map>
#include<cmath>
using namespace std;
#define rep(i,j,k) for(i=j;i<=k;++i)
#define per(i,j,k) for(i=j;i>=k;--i)
#define G getchar()
#define LL long long
#define pii pair<int,int>
#define mkp make_pair
#define X first
#define Y second
const int N=5005,NN=200;
int n,m,ans;set<int>st[N];
int to[N<<1],ne[N<<1],tot,he[N];
int blg[N],blk,stk[N],Tp,dfn[N],low[N],id;bool inz[N];
void read(int &x){
	char ch=G;
	while(ch<48||ch>57)ch=G;
	for(x=0;ch>47&&ch<58;ch=G)x=x*10+ch-48;
}
void add(int x,int y){
	to[++tot]=y;ne[tot]=he[x];he[x]=tot;
}
void tarjan(int x,int e){
	dfn[x]=low[x]=++id;
	inz[stk[++Tp]=x]=1;
	int i,y;
	for(i=he[x];i;i=ne[i])if(i!=e){
		if(!dfn[y=to[i]]){
			tarjan(y,i^1);low[x]=min(low[x],low[y]);
		}
		else if(inz[y])
			low[x]=min(low[x],dfn[y]);
	}
	if(dfn[x]==low[x]){
		++blk;
		do{inz[y=stk[Tp--]]=0;blg[y]=blk;}while(y!=x);
	}
}
int main(){
	int x,y,i;
	read(n);read(m);tot=1;
	while(m--){
		read(x);read(y);
		add(x,y);add(y,x);
	}
	tarjan(1,0);
	for(i=2;i<tot;i+=2){
		x=blg[to[i^1]];y=blg[to[i]];
		if(x!=y)st[x].insert(y),st[y].insert(x);
	}
	rep(i,1,blk)ans+=((int)st[i].size())==1;
	printf("%d\n",ans+1>>1);
	return 0;
}