带测度函数的连通支配集问题及其近似算法

来源 :复旦大学 | 被引量 : 0次 | 上传用户:xiexia1987623
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文引入测度函数的概念,提出了带测度函数的连通支配集问题(CDS(F)),使得它具有更广的应用范围。文章给出了问题的形式定义,证明了它在几种情形下的NP完全性,并给出了多项式时间的近似算法,它的近似度为ln|V|+3,给出了一个不可近似下界。文章同时指出,对子不可近似性的结果,似乎还可以提高,也许从集合覆盖来规约是一个方向。
其他文献
本文在对时间自动机进行深入研究的基础上,提出了公式时钟自动机。在公式时钟自动机中,每一个事件对应一个命题、并且针对给定命题集上的每个线性命题时态逻辑公式,本文定义两个
随着无线通信和移动设备的飞速发展,如何保证客户端高速准确的从数据服务器端获得结果成为一项必须解决的课题。语义缓存是近些年来提出的一种解决这一问题的方法,它充分利用到
Web的飞速发展使其成为一个浩瀚而复杂的巨大数据源。整个Web可以进一步划分为Surface Web和Deep Web两大部分,Deep Web中信息的获取需要通过查询接口在线访问其后端的Web数
在无线通信设备智能化的迅速发展过程中涌现出一大批与无线通信技术相关的应用和科研领域,车载自组织网络(Vehicular Ad Hoc Networks, VANETs)就是一个非常典型的代表。相对
  广播是在移动ADHOC网络中被广泛应用的一个基本操作.有效的广播算法要求能在保证覆盖的基础上选择一个小的传送节点集.在实际的物理网络当中,由于节点的快速运动而的使网
本文研究的内容是基于Web的远程教育综合系统的一部分:多媒体实时传输技术在远程授课系统中的应用及软件实现。旨在论述在JMF平台上实现远程授课系统中的音视频数据实时处理传
  本文定义了用于描述简单数学业务规则的基于逻辑的简单MBR语言和简单MBR程序,证明简单MBR程序存在一个最小模型,而且这个最小模型是有限的,简单MBR程序的说明性语义也由这个
  基于角色的访问控制模型RBAC是目前主流的访问控制模型,可以减少授权管理复杂性,降低管理开销,并能提供与企业组织结构相一致的安全策略。而美国国家标准与技术研究所(NIST)
  本文主要研究工作是基于智能卡的说话人身份认证技术。将生物特征加入智能卡进行身份认证已经成为目前十分热门的研究课题。基于智能卡的说话人认证与传统的说话人认证有
  本文对基于近邻法的语音信源识别进行了研究。文章提出并实现了使用非传统技术—近邻法进行语音信源识别,与传统的识别技术GMM比较,证明使用近邻法进行语音信源识别比传统