题目大意:给出一个无向图(连通且没有重边),将尽量多的无向边变为有向边,使得图变为强连通图,输出所有的边,如果无向边不能变为有向边,那么就输出两个单向边表示这个边;
思路分析:对于一个双连通分量,把所有的边定向,这一个双连通分量也就变成强连通了,对于割边,就只能维持两条边了。
代码实现:
#include<cstdio>
#include<cstring>
#include<vector>
#include<queue>
#include<stack>
#include<cmath>
#include<algorithm>
#include<iostream>
#define Min(a,b) ((a)<(b)?(a):(b))
#define Max(a,b) ((a)>(b)?(a):(b))
#define MEM(a) (memset((a),0,sizeof(a)))
#define MEME(a) (memset((a),-1,sizeof(a)))
#define MEMX(a) (memset((a),0x3f,sizeof(a)))
using namespace std;
const int N=1005;
const int M=4005;
int first[N],next[M*2],low[N],dfn[N],tim,bccn,top,n,m;
bool vis[M],isbridge[M],vis_edge[M];
struct Edge{
int u,v,id;
Edge(int _u=0,int _v=0,int _id=0):u(_u),v(_v),id(_id){}
}edge[M*2];
void Addedge(int u,int v,int id){
edge[top]=Edge(u,v,id);
next[top]=first[u];
first[u]=top++;
}
stack<int> st;
void Tarjan_bcc(int u,int fa){
dfn[u]=low[u]=++tim;
st.push(u);
int v,id,tmp;
for(int i=first[u];i+1;i=next[i]){
v=edge[i].v,id=edge[i].id;
if(v==fa) continue;
if(!dfn[v]){
Tarjan_bcc(v,u);
low[u]=Min(low[u],low[v]);
if(low[v]>dfn[u]){
++bccn;
isbridge[id]=1;
do{
tmp=st.top();
st.pop();
}while(tmp!=v);
}
}else low[u]=Min(low[u],dfn[v]);
}
}
void dfs(int u){
vis[u]=1;
for(int i=first[u];i+1;i=next[i]){
int v=edge[i].v,id=edge[i].id;
if(!vis_edge[id]){
vis_edge[id]=1;
printf("%d %d\n",u,v);
if(isbridge[id]) printf("%d %d\n",v,u);
if(!vis[v]) dfs(v);
}
}
}
int main(){
int cnt=0;
while(~scanf("%d%d",&n,&m),(n||m)){
MEM(dfn),MEM(low),MEM(vis),MEM(isbridge),MEME(first),MEM(vis_edge);
while(!st.empty()) st.pop();
bccn=tim=top=0;
int a,b;
for(int i=1;i<=m;++i){
scanf("%d%d",&a,&b);
Addedge(a,b,i);
Addedge(b,a,i);
}
for(int i=1;i<=n;++i) if(!dfn[i]) Tarjan_bcc(i,-1);
printf("%d\n\n",++cnt);
for(int i=1;i<=n;++i) if(!vis[i]) dfs(i);
printf("#\n");
}
}