• 点/边 双连通分量---Tarjan算法


        运用Tarjan算法,求解图的点/边双连通分量。

    1、点双连通分量【块】

          割点可以存在多个块中,每个块包含当前节点u,分量以边的形式输出比较有意义。

     1 typedef struct{  //栈结点结构  保存边
     2     int front;
     3     int rear;
     4 }BNode;
     5 BNode block_edge[MAXL];                                                                                                                                  
     6 int top;  //栈指针,指向下一个空位
     7 int num_block; //块计数
     8 int b1,b2;  //存储块中的边  辅助信息[全局变量]
     9 void add(int *top,int front,int rear)  //边入栈
    10 {
    11     if(*top < MAXL)
    12     {
    13         block_edge[*top].front=front;
    14         block_edge[*top].rear=rear;
    15         (*top)++;
    16     }
    17 }
    18 void del(int *top)  //边出栈
    19 {
    20     if(*top > 0)
    21     {
    22         (*top)--;
    23         b1=block_edge[*top].front;
    24         b2=block_edge[*top].rear;
    25     }
    26 }
    27 
    28 void init_dfnlow(void)  //初始化
    29 {
    30     depth=0;
    31     root=0;  //【**可自定义**】若不输出割点,可以不用
    32     num_block=0;
    33     for(int i=0;i<ALG->n;i++)
    34     {
    35         vis[i]=0;
    36         dfn[i]=low[i]=-1;
    37     }
    38 
    39     top=0;
    40     b1=b2=-1;
    41     for(int j=0;j<ALG->e;j++)
    42     {
    43         block_edge[j].front=0;
    44         block_edge[j].rear =0;
    45     }
    46 }
    47 
    48 void cutblock_Tarjan(int u,int parent)
    49 {
    50     int son;
    51     ENode *ptr=(ENode *)malloc(sizeof(ENode));
    52 
    53     dfn[u]=low[u]=depth++;
    54     vis[u]=1;
    55     ptr=ALG->vlist[u].firstedge;
    56     while(ptr!=NULL)
    57     {
    58         son=ptr->key;
    59         if(son!=parent && dfn[son]<dfn[u]) //非树边&&回退边
    60         {                                // 新边压栈,v!=w是防止重复计算无向图中同一条树边
    61                  add(&top,u,son);           //dfn[w]<dfn[u] 是防止重复计算回退边
    62              if(!vis[son])
    63              {
    64                  cutblock_Tarjan(son,u);
    65                  low[u]=MIN(low[u],low[son]);
    66                  if(low[son] >= dfn[u])  //u是割点,输出连通分支,包括(u,son)
    67                  {
    68                      num_block++;
    69                      do{
    70                         del(&top);
    71                         printf("<%c,%c> ",ALG->vlist[b1].vertex,ALG->vlist[b2].vertex);
    72                      }while(!(u==b1 && son==b2));
    73                      printf("
    ");
    74 
    75                     /* del(&top);   //两种不同的输出形式
    76                      while(!((u==b1) && (son==b2)))
    77                      {
    78                         printf("<%c,%c>,",ALG->vlist[b1].vertex,ALG->vlist[b2].vertex);
    79                             del(&top);
    80                      }
    81                      printf("<%c,%c>
    ",ALG->vlist[u].vertex,ALG->vlist[son].vertex);  */
    82                  }
    83              }
    84              else if(son != parent)
    85              {
    86                 low[u]=MIN(low[u],dfn[son]);
    87              }
    88         }
    89         
    90         ptr=ptr->next;
    91     }
    92 }

    2、边双连通分量【缩点】

         某一个点只能在一个“缩点”内,“缩点”时不包括当前节点u,分量以顶点的形式输出。

     1 int stack[MAXL];  //栈用于缓存缩点,存放编号
     2 int top;  
     3 int bnode[MAXL];  //用于存储缩点,存放编号
     4 int count_bnodeele; //分量元素计数
     5 void init_Tarjan(void)
     6 {
     7     depth=0;
     8     num_bridge=0;
     9     for(int i=0;i<ALG->n;i++)
    10     {
    11         dfn[i]=low[i]=-1;
    12         vis[i]=0;
    13     //    bridge[i]=0;
    14         stack[i]=-1;
    15     }
    16     top=0;
    17 }
    18 
    19 void init_bnode(void) //缩点初始化
    20 {
    21     count_bnodeele=0;
    22     for(int i=0;i<ALG->n;i++)
    23         bnode[i]=-1;
    24 }
    25 
    26 void bridge_node_Tarjan(int u,int parent)
    27 {
    28     int son;
    29     ENode *ptr=(ENode*)malloc(sizeof(ENode));
    30 
    31     dfn[u]=low[u]=depth++;  //访问+标记+入栈+遍历
    32     vis[u]=1;
    33     stack[top++]=u;
    34     ptr=ALG->vlist[u].firstedge;
    35     while(ptr!=NULL)
    36     {
    37         son=ptr->key;
    38         if(son!=parent && dfn[son]<dfn[u])
    39         {
    40             if(!vis[son])
    41             {
    42                 bridge_node_Tarjan(son,u);
    43                 low[u]=MIN(low[u],low[son]);
    44                 if(low[son] > dfn[u])  //(u,son)是桥
    45                 {
    46                     num_bridge++;
    47                     init_bnode(); //缩点初始化
    48                     while(stack[--top] != son)
    49                     {
    50                         bnode[count_bnodeele++]=stack[top];
    51                     }
    52                     bnode[count_bnodeele]=stack[top];
    53 
    54                     for(int cn=0;cn<=count_bnodeele;cn++) //缩点输出
    55                         printf("%c ",ALG->vlist[bnode[cn]].vertex);
    56                     printf("
    ");
    57                 }
    58             }
    59             else if(son != parent)
    60             {
    61                 low[u]=MIN(low[u],dfn[son]);
    62             }
    63         }
    64         ptr=ptr->next;
    65     }
    66 }
    67     while(top != 0) //最后节点无法全部出栈,被自然分成一个连通分量【***此步必须要有***】
    68     {
    69         top--;
    70         printf("%c ",ALG->vlist[stack[top]].vertex);
    71     }
    72     printf("
    ");
    ---  纵使山重水复,亦会柳暗花明   sunqh1991@163.com   欢迎关注,互相交流
  • 相关阅读:
    从 datetime2 数据类型到 datetime 数据类型的转换产生一个超出范围的值
    EF增删改查操作
    将String转化成Stream,将Stream转换成String, C# Stream 和 byte[] 之间的转换(文件流的应用)
    解决远程主机关闭了连接错误(正在中止线程)
    手动爆库详细流程以及语句解析
    asp.net 中将汉字转换成拼音
    jdk1.6下使用sardine和jackrabbit-webdav的问题
    模式匹配-BF算法
    git项目创建
    main thread starting…
  • 原文地址:https://www.cnblogs.com/wjcx-sqh/p/5929925.html
Copyright © 2020-2023  润新知