【摘 要】
:
本文对特殊二部图连通支配集和顶点反馈集的算法进行了研究。连通支配集是给定图中的一个顶点子集,这个顶点子集可以支配图中所有点,并且保证该顶点子集的生成子图是连通图。反
论文部分内容阅读
本文对特殊二部图连通支配集和顶点反馈集的算法进行了研究。连通支配集是给定图中的一个顶点子集,这个顶点子集可以支配图中所有点,并且保证该顶点子集的生成子图是连通图。反馈顶点集是给定图中的一个顶点子集,删除这个顶点子集让剩下的图成为森林。最小连通支配集问题和最小反馈顶点集问题都是经典的NP完全问题之一,在实践中有广泛应用,包括操作系统中死锁预防和解除、计算机网络中节点分布算法、信息安全领域、超大规模集成电路芯片设计、人工智能领域、基因序列组装等,围绕该问题有大量的研究,包括近似算法、随机算法、参数算法、精确算法、在受限图上的多项式时间算法等。现有的理论已经证明,在一般二部图中连通支配集问题和最小顶点反馈集问题都是NP完全的,而在受限制的二部图上,即凸二部图上这两个问题都有多项式时间算法。圈凸二部图和三岔凸二部图是凸二部图的推广。本文使用理论计算机领域常用的归约方法,通过调用已有的在凸二部图上多项式算法,证明了三岔树凸二部图和环凸二部图上的最小连通支配集问题和顶点反馈集问题是多项式时间可解的,并给出了对应的多项式时间算法,将这两个问题的存在多项式算法的问题域进行扩展。同时使得这两个问题在无向图上P和NP的界限更加明晰。
其他文献
目前,构件测试已经成为人们普遍关注的研究热点,但是国内在此方面的研究几乎是一片空白,更毋庸谈及构件测试支持工具的开发.该课题旨在研究一种普遍适用的构件分析和测试方法
近年来,视频通信已成为人们广泛使用的一种通信方式。随着网络带宽的提升、音视频处理技术的发展以及大屏幕智能电视的普及,高清实时视频通信成为视频通信发展的趋势之一。复杂
Agent组织是MAS(Multi-Agent Systems,MAS)的一种特殊形式,是关于Agent社会性研究的重要内容之一,代表了未来Agent理论和技术的研究方向.Agent组织的理论基础为现代组织理论,
该文着重阐述了JPEG2000的渐进分级编码、感兴趣区域编码等特性;论述了JPEG2000算法的核心内容:小波变换和编码算法EBCOT(对嵌入式比特流具有优化截取的嵌入式块编码).针对两
信息系统安全是目前广泛研究的重要课题之一.对于办公自动化系统来说,保障信息系统的安全性和可靠性更是实现高效率协同办公的前提.因此,研究"协同办公系统"(CWS)安全机制中
数据库中间件是所有中间件中应用最广泛、技术最成熟的一种,已有的关于这方面的研究工作主要集中在异构数据源的集成上。随着企业本身对于分布式处理的需求及Internet信息网络
任务群计算(Many-Task Computing,MTC)是一种松耦合大规模并行计算模式,目的是在较短时间内完成大量相对简单、可独立调度的任务。在任务群计算这种计算模式下,人们可以基于已有
该文针对农业专家系统的特点,在原863项目单机版和网络版专家系统开发平台的基础之上,提出了一种基于软件构件方式的专家系统开发平台模型——专家系统基础开发平台集成开发
配送是物流中的关键环节,其中配送路径规划的合理化将有效的提高效率节约成本,产生十分可观的经济效益.该文将就这一点展开研究与讨论,给出配送的路径规划方案,及配送的货物
该文首先对互联网的发展过程做了简单介绍,随后进一步说明了自治系统概念的引入及外部网关协议的产生,并分析两种外部网关协议EGP和BGP之间的联系、区别及发展,特别是对BGP协