论文部分内容阅读
对于强连通有向图D(V,X)而言,D的一个强连通支撑子图H,若对于(V)a∈H,子图H-a都不具有强连通性,那么称H为极小强连通支撑子图.类比于连通图中的支撑树,容易看出一个强连通有向图D包含多个极小强连通支撑子图.称D的所有极小强连通支撑子图中包含弧最少的为最小强连通支撑子图DM·对于寻找强连通有向图D的最小强连通支撑子图DM的问题称其为MSSS问题.在许多情况下解决强连通有向图D的MSSS问题是非常有用的,但是这个问题很难实现,因为若D包含哈密尔顿圈,那么就必须寻找D的哈密尔顿圈.在本文中,进一步研究了两类重要的可以找到其最小强连通支撑子图的强连通有向图. 本文第一章首先介绍了最小强连通支撑子图问题的研究背景,其次介绍了本文的基本定义和符号,最后简述了本文研究的核心问题,研究进展及本文的主要结果. 本文第二章主要是确定了本文的主要研究方法.在第一节给出了可删弧的定义,这也是研究方法和算法所涉及的核心定义,第二节利用深度优先搜索算法确定可删弧集,第三节利用可删弧集内部的相关性定义一个由强连通有向图D(V,X)的可删弧集A(D)决定的无向图GA,并将寻找强连通有向图D(V,X)的最小强连通支撑子图DM问题转化为计算无向图GA的最大独立集问题. 本文第三章与第四章,会结合第二章给出的算法解决这两个重要图类的MSSS问题,更精确的说,当可删弧集A(D)所构造的无向图GA是Kneser图或者区间图,就可以利用算法在多项式时间内计算出强连通图D的最小强连通支撑子图所包含弧的数量或者找出其最小强连通支撑子图.