搜索到4436篇“ 固定参数可解“的相关文章
三个图修改问题的固定参数算法研究
本文针对三个NP-hard图修改问题设计固定参数算法。   第一个问题是如何从一个简单的无向图中删除最少的结点,使得剩余的图中所有顶点的度都不大于3。在前人所给的时间复杂度为(0)*(3.24k)的固定参数算法中,...
李彬
关键词:搜索树有向图时间复杂度
带权最大割问题的一种基于划分技术的固定参数算法
2010年
运用参数计算复杂性理论和技术对带权最大割问题进行了研究。首先对该问题及其相关概念进行了参数化定义,然后对参数化带权最大割问题提出了一种基于随机划分技术的随机算法。该随机算法依次将实例图的顶点进行[1n(1/ε)]×2~k(0<ε<1)次随机划分,并选择其中权值最大的k-划分作为输出,因而能在时间O~*(1n(1/ε)2~k)内以至少1-ε的概率找到目标。接着在此基础上着重运用最新改进的(n,k)-全集划分技术对参数化带权最大割问题提出了一个时间复杂度为O~*(2^(2k+12log^2(2k))的确定性算法,表明了带权最大割问题是固定参数的。
刘运龙王建新
关键词:固定参数可解
平面图上固定参数问题的核心化
划分技术是目前唯一的在平面图上设计固定参数(FPT)问题的一般性方法. 利用该方法以设计一系列满足一定条件的FPT 问提在平面图上的核,该方法的缺点是往往很难精确分析实际核的大小.提出另一种更简单,直观,在平面上设...
杨勇杰王伟平
关键词:VERTEXCOVERCOVERCOVERVERTEXDISJOINTKERNELIZATIONGIRTH
带权Matching和Packing问题的一种固定参数算法
2008年
带权的m-DMATCHING和m-SETPACKING问题(m≥3)以前是用近似算法来求的.本文首先根据参数计算理论对这两个带权问题进行了参数化定义,然后运用最新的着色技术和动态规划技术对带权的m-SETPACKING问题设计了一个时间复杂度为O*(12.8mk)的固定参数算法,接着在此基础上利用问题本身的结构特点对带权的m-DMATCHING问题提出了一个时间复杂度为O*(12.8(m-1)k)的固定参数算法,表明带权的m-SETPACKING问题和带权的m-DMATCHING问题都是固定参数的.
刘运龙陈建二王建新
关键词:PACKINGMATCHING着色固定参数可解
基于OCF博弈的联盟结构生成问题研究
Agent理论和技术作为分布式人工智能的重要研究方向之一,近些年被应用到计算机支持的各种应用中。Agent理论的核心研究内容是多agent系统,它为内部独立的agent提供了一种称为联盟的协作模式,这种模式让agent...
郭志鹏
关键词:多AGENT系统固定参数可解
基于隐性结构的图类问题FPT算法研究
图修改问题是指通过图修改操作使得给定图具有某种特定的性质。一般而言图修改操作主要包括边删除、添加以及顶点删除等。该问题是非常经典的一类NP难问题,在现实生活中许多领域都有应用,近几年也成为学者的研究热点。参数计算及复杂...
唐晓静
关键词:固定参数可解
单调重叠联盟下的最优联盟结构生成被引量:2
2021年
针对重叠联盟的合作博弈框架(OCF games)中重叠联盟结构生成(OCSG)求困难的问题,提出了一种基于贪心方法的有效算法。首先使用了一种带有联盟数量k约束的OCF博弈(kOCF games)模型来限制OCSG问题的规模;然后引入了一种相似度量来表示任意两个联盟结构之间的相似程度,并基于相似度量定义了单调性的性质,这意味着某一联盟结构与最优联盟结构的相似度越高,该联盟的单调性的值就越大;最后对于具有单调性质的kOCF博弈,采用了逐一插入玩家编号以逼近最优联盟结构的方法设计了联盟约束贪心(CCG)算法来求给定的OCSG问题,并在理论上证明了CCG算法的复杂度是O(n2k+1)。通过实验分析和验证了不同参数和联盟值分布对所提算法性能的影响,并把该算法与Zick等提出的算法(ZICK Y,CHALKIADAKIS G,ELKIND E,et al.Cooperative games with overlapping coalitions:charting the tractability frontier.Artificial Intelligence,2019,271:74-97)在约束条件等方面进行了对比,得出了当联盟最大数量k被常数约束时所提算法的搜索次数随agent的个数基本呈线性增长的结果。见CCG算法是固定参数k的,而且拥有更好的适用性。
郭志鹏刘惊雷
关键词:最优联盟结构单调性固定参数可解
PQ-树断点距离中心问题的复杂性和精确算法
2016年
PQ-树是一种树状数据结构,用来表示元素排列集合.虽然消逝物种完整基因组序列具有不确定性,但是根据同源物种以确定部分基因的相对位置,所以以利用PQ-树来存储消逝物种的基因组.在生物学中,进化树用来表示物种之间的进化关系.当构建生物进化树时,叶子结点表示现存物种,其基因组用排列表示;内部结点为祖先物种,其基因组用PQ-树表示.为了确定物种间的进化关系,需要确定PQ-树以产生的排列与已知排列之间的距离.以断点距离为标准,研究了p-PQ-树断点中心问题,即从给定PQ-树中产生一个排列,使之与给定的p个排列的断点距离之和最小.证明当p≥2时,p-PQ-树断点中心问题是NP-完全的.当p=1时,p-PQ-树断点中心问题是参数计算的,针对1-PQ-树断点中心问题,提出了时间复杂度为O(3 ^Kn)的参数化算法,其中K为最优的断点距离.
刘培霞姜海涛朱大铭
关键词:固定参数可解
基于树分的难问题的参数算法研究
NP难问题是理论计算机科学的主要研究对象,对NP难问题提出实际有效的固定参数算法是理论计算机科学中的一个新的研究方向。参数计算方法是求实际应用问题的一种新的有效手段,目前已在相当多领域中得到了成功的应用。本文选...
郑莹
关键词:固定参数可解
完全p-支配集的参数算法被引量:2
2013年
完全p-支配集是一个著名的NP-难问题,在无线传感网络中被用于构建无线传感节点的自我保护网络.该文主要研究完全p-支配集在DG(Disk Graph)模型及其特殊模型上的参数复杂性及参数算法设计.首先证明完全p-支配集在顶点度受限的UDG(Unit Disk Graph)上仍是NP-难的.为了深入理完全p-支配集在UDG模型上的难性根源,利用参数化规约进一步研究了完全p-支配集在UDG上的参数复杂性.基于难性根源的分析,最后利用树分技术和动态规划技术,针对平面图(一种特殊DG模型)上的完全p-支配集,设计了一个时间为O((2p+2)19.1·2^(1-k)k3 n+n3)的精确算法,其中n为给定实例中的顶点个数,k为问题的大小.
骆伟忠冯启龙王建新陈建二
关键词:固定参数可解动态规划

相关作者

王建新
作品数:727被引量:1,846H指数:21
供职机构:中南大学
研究主题:拥塞控制 移动自组网 数据中心网络 网络 无线传感器网络
陈建二
作品数:200被引量:814H指数:15
供职机构:中南大学
研究主题:路由算法 匿名通信 计算机网络 超立方体网络 容错性
刘运龙
作品数:17被引量:18H指数:2
供职机构:湖南师范大学数学与计算机科学学院
研究主题:固定参数可解 现代远程教育 教学模式 着色技术 参数化
冯启龙
作品数:39被引量:14H指数:2
供职机构:中南大学
研究主题:噪音数据 用户分类 随机采样 算法复杂度 分类数据
李绍华
作品数:27被引量:152H指数:7
供职机构:中南大学信息科学与工程学院
研究主题:WEB 搜索引擎 网格计算 点覆盖 固定参数可解