3177

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

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 secondconst 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;}