• 发文
  • 评论
  • 微博
  • 空间
  • 微信

数据结构之图论(续)

程序猿声 2020-04-27 15:28 发文

前言

在之前的推文中,我们了解了什么是图,以及一些图的DFS和BFS的基本操作,这一期本小编将继续为大家介绍一些关于图的基本算法,一起看下吧。

NO.1

关节点和双联通域

在一个无向图G中,若将某个节点v去除之后后G所包含的连通域增多,则v称作切割节点(cut vertex或关节点(articulation point)。如果一个图不含任何关节点则称之为双连通图,最典型的就是完全图。任一无向图都可视作由若干个极大的双连 通子图组合而成,这样的每一子图都称作原图的一个双连通域(bi-connected component)。例如下图中的节点3和5就是关节点。

较之其它顶点,关节点更为重要。在网络系统中它们对应于网关,决定子网之间能否连通。在航空系统中,某些机场的损坏,将 同时切断其它机场之间的交通。故在资源总量有限的前提下, 找出关节点并重点予以保障,是提高系统整体稳定性和鲁棒性的基本策略。接下来就让我们来看下求关节点的算法吧。

NO.2

关节点算法

   遇事不决先暴力,按照暴力来解决:首先,通过BFS或DFS搜索统计出图G所含连通域 的数目;然后逐一枚举每个顶点v,暂时将其从图G中删去,并再次通过搜索统计出图G{v}所含 连通域的数目。于是,顶点v是关节点,当且仅当图G{v}包含的连通域多于图G。这一算法需执行n趟搜索,耗时O(n(n + e)),等它算出来黄花菜都凉了。

   那我们先分析下,首先在DFS树上面,叶节点不可能是关节点,因为将叶节点删去后不会影响树的连通性。另外,如果根节点有两个及两个以上的分支,则根节点一定是关节点,因为DFS会将此节点以下的所有点加入到分支中,如果有多个分支则这些分支是不相互连通的。

   现在考虑内部节点。若节点C的移除导致其某一棵(比如以D为根的)真子树与其真祖先(比如A)之间无法连通,则C必为关节点。反之,若C的所有真子树都能(如以E为根的子 树那样)与C的某一真祖先连通,则C就不可能是关节点。那么只要 在DFS搜索过程记录并更新各顶点v所能(经由后向边)连通的最高祖先(highest connected ancestor, HCA)hca[v],即可及时认定关节点,并报告对应的双连通域。  

   思路出来了,那就是代码实现了

#include

NO.3

最小支撑树

在上面我们介绍了关节点算法,现在我们来谈下另外一个概念,支撑树。在一个联通图G中,某一个能够连接所有点的无环子图,则称作G的一棵支撑 树或生成树(spanning tree),如果边带有权值,那么生成的支撑树中所有权值最小树就是最小支撑树或者最小生成树。

聚类分析、网络架构设计、VLSI布线设计等诸多实际应用问题,都可转化并描述为最小支 撑树的构造问题。在这些应用中,边的权重大多对应于某种可量化的成本,因此作为对应优化问 题的基本模型,掌握最小生成树算法很重要。
   这种问题,暴力是不可取的,时间复杂度太高,那么让我们一步步分析下。

我们首先假设G=(V,E)是一个连通网络,U是顶点集V的一个非空真子集。若(u,v)是G中一条“一个端点在U中(例如:u∈U),另一个端点不在U中的边(例如:v∈V-U),且(u,v)具有最小权值,则一定存在G的一棵最小生成树包括此边(u,v),我们先假设这条边为安全边ri。

这样,我们假设我们要的树是个只包含一个点的集合即为U,另外的点为V-U,然后我们就把安全边加入进去,然后更新这两个集合的数据。依次进行下去直到所有点进入。但是这样子的时间复杂度还是有点高,我们想一下还有上面优化的方法。怎样才能减少每次更新的时间呢?我们还有一个强大的助手STL。

STL中的优先队列提供了快捷的插入和修改,可以极大地优化时间。

下为示例与优化后的代码:

a> 首先选择A结点作为点集

b> 找A--B,A--D,A--G权值最小的点(B),之后将其加入点集中

c> 找点集中跨越边最小的边,A--D,A--G,B--C,到D的权值最小,将其加入到点集中

d> 重复上述过程,A--G,D--G,D--E,B--C,到G的权值最小,将其加入到点集中

一直重复上述步骤直到找到的边数为n-1条,i就是通过Prim算法找到的最小生成树了。

#define inf (1 << 30)using namespace std;const int maxn = 110;const int maxm = 5e5 + 50;int dis[110];map

NO.4

最小生成树之Krusal

    Prim算法是把我们要的树先假设为空,这是一种思路,接下来我们就来介绍下另外一种经典算法Krusal算法。

   我们首先假设 WN=(V,{E}) 是一个含有 n 个顶点的连通网,则按照克鲁斯卡尔算法构造最小生成树的过程为:先构造一个只含 n 个顶点,而边集为空的子图,若将该子图中各个顶点看成是各棵树上的根结点,则它是一个含有 n 棵树的一个森林。之后,从网的边集 E 中选取一条权值最小的边,若该条边的两个顶点分属不同的树,则将其加入子图,也就是说,将这两个顶点分别所在的两棵树合成一棵树;反之,若该条边的两个顶点已落在同一棵树上,则不可取,而应该取下一条权值最小的边再试之。依次类推,直至森林中只有一棵树,也即子图中含有 n-1条边为止。

   这种方法与prim算法有着一定的相似之处,但是Krusal算法可以同时存在多个树,但在prim算法中同时只能有两个树。

   与此同时我们也可以用STL进行优化操作.

#include



声明:本文为OFweek维科号作者发布,不代表OFweek维科号立场。如有侵权或其他问题,请及时联系我们举报。
2
评论

评论

    相关阅读

    暂无数据

    程序猿声

    编程爱好者的聚居地,代码黑科技的...

    举报文章问题

    ×
    • 营销广告
    • 重复、旧闻
    • 格式问题
    • 低俗
    • 标题夸张
    • 与事实不符
    • 疑似抄袭
    • 我有话要说
    确定 取消

    举报评论问题

    ×
    • 淫秽色情
    • 营销广告
    • 恶意攻击谩骂
    • 我要吐槽
    确定 取消

    用户登录×

    请输入用户名/手机/邮箱

    请输入密码