桐桐的糖果计划(vijos 1325)

背景

桐桐是一个快乐的小朋友，他生活中有许多许多好玩的事，让我们一起来看看吧……

描述

桐桐很喜欢吃棒棒糖。他家处在一大堆糖果店的附近。

但是，他们家的区域经常出现塞车、塞人等情况，这导致他不得不等到塞的车或人走光了他才能去买到他最爱吃的棒棒糖品种。于是，他去找市长帮他修路，使得每两个糖果店之间至少有两条完全不同的路。可是市长经费有限，于是让桐桐找出哪些路被塞住后会使某些糖果店与糖果店间无法到达及最少的修路条数。你能帮助他吃到他最喜爱的糖果吗？
注：
1->3->2 和 1->3->4->2 为不完全不同的路，即不符合题意的路。

1->3->4->2 和 1->5->2 为完全不同的路，即符合题意的路。

格式

输入格式

输入第一行是两个数n，m（n<=5000，m<=10000）
接下来的m行，每行两个数i,j，表示i,j间有一条边连接。

输出格式

输出有两行。第一行为塞住后就不可以到达某些糖果店的道路条数，第二行为最少的修路条数。

样例1

样例输入1[复制]

7 7
1 2
2 3
3 4
2 5
4 5
5 6
5 7

样例输出1[复制]

3
2

限制

提示

1 2 3 +---+---+ | | | | 6 +---+---+ 4 / 5 / / 7 +

上图是样例所表示的一个图。

下图是改变后的图，其中虚线表示应连接的边。

1 2 3 +---+---+ : | | : | | 6 +---+---+ 4 / 5 : / : / : 7 + - - - -

/*
  第一问求无向图中桥的个数，即双连通分量个数减1；
  第二问求添最少的边能使无向图变成双连通图，即(叶子节点数+1)/2 。
*/
#include<cstdio>
#include<iostream>
#include<vector>
#include<stack>
#include<cstring>
#define M 5010
using namespace std;
int head[M],num[M],low[M],vis[M],instack[M],belong[M],in[M],indexx,cnt;
struct node
{
    int v,pre;
};node e[M*4];
stack<int> s;
void add(int i,int x,int y)
{
    e[i].v=y;
    e[i].pre=head[x];
    head[x]=i;
}
bool pd(int x,int y)
{
    if((x&1)&&y==x+1)return true;
    if(!(x&1)&&y==x-1)return true;
    return false;
}
void tarjan(int v,int fa)
{
    num[v]=low[v]=++indexx;
    vis[v]=1;
    instack[v]=1;
    s.push(v);
    for(int i=head[v];i;i=e[i].pre)
    {
        if(pd(i,fa))continue;
        int w=e[i].v;
        if(!vis[w])
        {
            tarjan(w,i);
            low[v]=min(low[v],low[w]);
        }
        else if(instack[w])
          low[v]=min(low[v],num[w]);
    }
    int u;
    if(low[v]==num[v])
    {
        ++cnt;
        do
        {
            u=s.top();
            s.pop();
            belong[u]=cnt;
            instack[u]=0;
        }while(u!=v);
    }
}
int main()
{
    int n,m;
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        int x,y;
        scanf("%d%d",&x,&y);
        add(i*2-1,x,y);add(i*2,y,x);
    }
    for(int i=1;i<=n;i++)
      if(!vis[i])tarjan(i,-1);
    printf("%d\n",cnt-1);
    for(int i=1;i<=n;i++)
      for(int j=head[i];j;j=e[j].pre)
        if(belong[i]!=belong[e[j].v])
          in[belong[i]]++;
    int tot=0;
    for(int i=1;i<=cnt;i++)
      if(in[i]==1)tot++;
    printf("%d",(tot+1)/2);
    return 0;
}