×

用于时序图编辑的复杂性和参数化算法。 (英语) Zbl 1253.68179号

摘要:Cograph编辑是为给定的图(G=(V,E))找到一组至多(k)个边的加法和删除,将(G)转换为一个Cograph。这个问题的计算复杂性在过去是公开的。在本文中,我们首先通过精确3-覆盖的约简证明了这个问题是NP-hard。随后,我们提出了一种基于改进搜索树技术的参数化算法,其运行时间为(O(4.612^{k}+|V|^{4.5}),改进了运行时间的平凡算法(O(6^{k{+|V| ^{4.5{))。

MSC公司:

65年第68季度 算法和问题复杂性分析
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Burzyn,P。;Bonomo,F。;Durán,G.,边修正问题的NP-完备结果,离散应用数学,154,13,1824-1844(2006)·Zbl 1110.68094号
[2] 蔡,L.,遗传特性图形修改问题的固定参数可处理性,信息处理快报,58,4,171-196(1996)·兹伯利0875.68702
[3] 陈,J。;Meng,J.,集群编辑问题的A(2k)内核,(Proc.16th COCOON.Proc.16st COCOON,LNCS,vol.6196(2010),Springer),459-468·Zbl 1286.05164号
[4] 科内尔,G。;Perl,Y。;Stewart,L.K.,齿状图的线性识别算法,SIAM计算杂志,14,4,926-934(1985)·Zbl 0575.68065号
[5] El-Mallah,E.S。;Colbourn,C.J.,一些边缘删除问题的复杂性,IEEE电路和系统汇刊,35,3,354-362(1988)·Zbl 0654.68084号
[6] 格拉姆,J。;郭杰。;Hüffner,F。;Niedermeier,R.,硬图修改问题搜索树算法的自动生成,算法,39,4,321-347(2004)·Zbl 1090.68027号
[7] 格拉姆,J。;郭杰。;Hüffner,F。;Niedermeier,R.,图模型数据聚类:团生成的精确算法,计算系统理论,38,4,373-392(2005)·Zbl 1084.68117号
[8] 吉列莫特,S。;保罗,C。;Perez,A.,关于(P_l)自由边修改问题多项式核的(非)存在性,(Proc.5th IPEC.Proc.5st IPEC,LNCS,vol.6478(2010),Springer),147-157·Zbl 1309.68151号
[9] 郭杰。;Hüffner,F。;Komusewicz,C。;Zhang,Y.,《改进的双簇编辑算法》,(第5版TAMC,第5版,TAMC,LNCS,第4978卷(2008年),Springer),445-456·Zbl 1139.68420号
[10] 哈比卜,M。;Paul,C.,模块分解算法方面的调查,《计算机科学评论》,4,1,41-59(2010)·Zbl 1302.68140号
[11] C.T.Hoáng,完美图,蒙特利尔麦吉尔大学计算机科学学院博士论文,1985年。;C.T.Hoàng,完美图,博士论文,蒙特利尔麦吉尔大学计算机科学学院,1985年。
[12] 贾米森,B。;Olariu,S.,稀疏图的树表示,离散应用数学,35115-129(1992)·Zbl 0763.05092号
[13] 贾米森,B。;Olariu,S.,识别线性时间中的(P_4)-稀疏图,SIAM计算杂志,21,2,381-406(1992)·Zbl 0763.05093号
[14] F.Mancini,与图形类相关的图形修改问题,卑尔根大学博士论文,2008。;F.Mancini,与图形类相关的图形修改问题,卑尔根大学博士论文,2008年。
[15] 麦康奈尔,R.M。;Spinrad,J.,模块分解和传递定向,离散数学,201,1-3,189-241(1999)·Zbl 0933.05146号
[16] Nastos,J。;Gao,Y.,参数化图修改问题的新型分支策略,(Proc.4th COCOA.Proc.4st COCOA,LNCS,vol.6509(2010),Springer),332-346·Zbl 1310.68191号
[17] Natanzon,A。;沙米尔,R。;Sharan,R.,一些边缘修正问题的复杂性分类,离散应用数学,113,1,109-128(2001)·Zbl 0982.68104号
[18] 尼德迈尔,R。;Rossmanith,P.,《加速固定参数可处理算法的通用方法》,《信息处理快报》,73125-129(2000)·Zbl 1014.68064号
[19] 普罗蒂,F。;医学博士席尔瓦。;Szwarcfiter,J.L.,将模块分解应用于参数化集群编辑问题,计算系统理论,44,1,91-104(2009)·Zbl 1179.68111号
[20] Seinsche,D.,关于可着色图类的一个性质,组合理论杂志B辑,16191-193(1974)·Zbl 0269.05103号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。