HDU1269迷宫城堡------------------用Tarjan算法计算强连通分量

Problem Description 
为了训练小希的方向感,Gardon建立了一座大城堡,里面有N个房间(N<=10000)和M条通道(M<=100000),每个通道都是单向的,就是说若称某通道连通了A房间和B房间,只说明可以通过这个通道由A房间到达B房间,但并不说明通过它可以由B房间到达A房间。Gardon需要请你写个程序确认一下是否任意两个房间都是相互连通的,即:对于任意的i和j,至少存在一条路径可以从房间i到房间j,也存在一条路径可以从房间j到房间i。

Input 
输入包含多组数据,输入的第一行有两个数:N和M,接下来的M行每行有两个数a和b,表示了一条通道可以从A房间来到B房间。文件最后以两个0结束。

Output 
对于输入的每组数据,如果任意两个房间都是相互连接的,输出”Yes”,否则输出”No”。

Sample Input 
3 3 
1 2 
2 3 
3 1 
3 3 
1 2 
2 3 
3 2 
0 0

Sample Output 
Yes 
No

今天别人问了我这个问题,百度了一下Tarjan算法,花了一个多小时,果然自己还是太菜了,还得不断学习,加油!

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define N 10000
typedef struct{
  int m,n;
}node;
typedef struct{
  int begin,end;
}path;
typedef struct node_s{                     //构建邻接表的数据结构
  int adjvex;
  struct node_s* next;
}Enode;
typedef struct{
  int vertex;
  Enode* FirstEdge;
}Vnode;
int visit[N];

void init(Vnode *all,int n,int m,path *map)                //将输入的数据构造为邻接表
{
    int i;
    Enode* temp;

    for(i=1;i<=n;i++)
    {
        all[i].vertex=i;
        all[i].FirstEdge=NULL;
    }
    for(i=0;i<m;i++)
    {
        temp=(Enode*)malloc(sizeof(Enode));
        temp->adjvex=map[i].end;
        temp->next=all[map[i].begin].FirstEdge;
        all[map[i].begin].FirstEdge=temp;
    }
}

void dfs(Vnode *all,int n,int *temp)                    //DFS查找结点n的子树中的结点的最小值
{
    Enode *p=all[n].FirstEdge;
    visit[n]=1;
    while(p)
    {
        if(p->adjvex<*temp)
            *temp=p->adjvex;
        if(!visit[p->adjvex])
            dfs(all,p->adjvex,temp);
        p=p->next;
    }
}

void min(Vnode *all,int n,int *LOW)                          //修改LOW[n]
{
    Enode *p=all[n].FirstEdge;
    int temp=10000,index=LOW[n];

    while(p)
    {
        memset(visit,0,sizeof(visit));
        dfs(all,p->adjvex,&temp);
        if(temp<index)
            index=temp;
        p=p->next;
    }
    LOW[n]=index;
}

int tarjan(int *DFS,int *LOW,int n,Vnode *all)                       //返回图中强连通分量的个数
{
    int count=0,i;

    for(i=1;i<=n;i++)
    {
        DFS[i]=i;
        LOW[i]=i;
    }
    for(i=1;i<=n;i++)
        min(all,i,LOW);
    for(i=1;i<=n;i++)
        if(LOW[i]==DFS[i])
            count++;

    return count;
}

int main()
{
    node one;
    path *map;
    Vnode *all;
    int *DFS,*LOW;
    int i,flag;

    scanf("%d%d",&(one.n),&(one.m));
    map=(path*)malloc(one.m*sizeof(path));

    for(i=0;i<one.m;i++)
        scanf("%d%d",&(map[i].begin),&(map[i].end));

    all=(Vnode*)malloc((one.n+1)*sizeof(Vnode));
    DFS=(int*)malloc((one.n+1)*sizeof(int));
    LOW=(int*)malloc((one.n+1)*sizeof(int));
    init(all,one.n,one.m,map);

    if((flag=tarjan(DFS,LOW,one.n,all))==1)
        printf("\nYes\n");
    else
        printf("\nNo\n");

    return 0;
}

注意!上述代码与AC格式是不符,只需要稍加修改即可!

猜你喜欢

转载自blog.csdn.net/weixin_40552964/article/details/82632895
今日推荐