×
研究员Michael R。;丹尼·赫尔梅林;弗朗西丝·罗莎蒙德;圣埃芬·维亚莱特

关于多区间图问题的参数化复杂性。 （英语） 兹比尔1161.68038

西奥。计算。科学。 410，第1期，53-61（2009）.
摘要：多区间图是区间图的自然推广，其中每个顶点可能有多个与其相关联的区间。区间图的许多应用也推广到多区间图，通常允许在特定应用的建模中具有更高的健壮性。考虑到这一动机，最近开始了对多间隔图中优化问题的系统研究。在本续集中，我们从参数化复杂性的角度研究了多区间图问题。正在考虑的问题是独立集、支配集和团，它们对于一般图都是W[1]难的，对于多区间图都是NP-完全的。我们证明了（k）-团在FPT中，而（k）独立集和（k）控制集都是W[1]-硬的。我们还证明了上述两个问题的混合——（k）-独立支配集也是W[1]-难的。即使每个顶点最多与两个区间相关联，并且所有区间都有单位长度，我们的硬度结果也成立。此外，作为硬度结果的一个有趣的副产品，我们开发了一种有用的技术，通过对“（k）-多色团问题”（“（k”-团的变体）的简化来显示W[1]-硬度。我们相信这项技术本身就很有意思，因为它应该有助于简化W[1]硬度结果，而W[1]硬度的结果是出了名的难以构建且技术单调。

引用于三评论
引用于156文件

理学硕士：

68兰特 计算机科学中的图论（包括图形绘制）
05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
05C70号 具有特殊属性的边子集（因子分解、匹配、分区、覆盖和打包等）
05C85号 图形算法（图形理论方面）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

多个间隔;独立集;支配集;集团;W硬度;参数复杂性;五彩集团
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Fellows}等人，Theor。计算。科学。410，编号1，53--61（2009；Zbl 1161.68038）
全文： 内政部

参考文献：

[1] Alon，N。；尤斯特，R。；Zwick，U.，《颜色编码》，ACM杂志，42，4，844-856（1995）·Zbl 0885.68116号
[2] Y.Aumann，M.Lewenstein，O.Melamud，R.Y.Pinter，Z.Yakhini，点区间图和高通量基因分型，摘自：第16届离散算法年度研讨会论文集，SODA，2005年，第339-348页；Y.Aumann，M.Lewenstein，O.Melamud，R.Y.Pinter，Z.Yakhini，点区间图和高通量基因分型，摘自：第16届离散算法年度研讨会论文集，SODA，2005年，第339-348页·Zbl 1297.05166号
[3] 巴夫纳，V。；Narayanan，B.O。；Ravi，R.，非重叠局部对齐（轴平行矩形的加权独立集），离散应用数学，71，41-53（1996）·Zbl 0873.92011号
[4] R.Bar-Yehuda、M.M.Halldórsson、J.Naor、H.Shachnai、I.Shapira，《调度分割间隔》，摘自：第十三届ACM/SIAM离散算法研讨会论文集，SODA，2002年，第732-741页；R.Bar-Yehuda、M.M.Halldórsson、J.Naor、H.Shachnai、I.Shapira，《调度分割间隔》，摘自：第13届ACM/SIAM离散算法年会论文集，SODA，2002年，第732-741页·Zbl 1093.68548号
[5] R.Bar-Yehuda，D.Rawitz，《使用分数原对偶来安排有需求的分割区间》，载于：《第13届欧洲算法年会论文集》，2005年，第714-725页；R.Bar-Yehuda，D.Rawitz，使用分数原对偶来安排有需求的分割间隔，摘自：第13届欧洲算法年会论文集，2005年，第714-725页·Zbl 1162.90443号
[6] 眨眼，G。；Fertin，G。；Vialette，S.，在2-区间集合中提取约束2-区间子集，理论计算机科学，385241-263（2007）·兹比尔1125.68085
[7] A.Butman，D.Hermelin，M.Lewenstein，D Rawitz，多区间图中的优化问题，摘自：第18届ACM/SIAM离散算法年会论文集，SODA，2007年，第268-278页；A.Butman，D.Hermelin，M.Lewenstein，D Rawitz，多区间图中的优化问题，摘自：第18届ACM/SIAM离散算法年会论文集，SODA，2007年，第268-278页·Zbl 1302.05179号
[8] 蔡，L。；陈，J。；唐尼，R.G。；Fellows，M.R.，《关于短计算和因子分解的参数化复杂性》，《数理逻辑档案》，36，4-5，321-337（1997）·Zbl 0944.68069号
[9] L.Cai，D.W.Juedes，《次指数参数化算法瓦解W层次结构》，载于：第28届国际自动机学术讨论会论文集，语言与编程，ICALP，2001年，第273-284页；L.Cai，D.W.Juedes，《次指数参数化算法瓦解W层次结构》，载《第28届国际自动机学术讨论会论文集，语言与编程》，ICALP，2001年，第273-284页·兹比尔0986.68038
[10] M.Crochemore，D.Hermelin，G.M.Landau，S.Vialette，近似2区间模式问题，第13届欧洲算法研讨会论文集，欧空局，2005年，第426-437页；M.Crochemore，D.Hermelin，G.M.Landau，S.Vialette，近似2区间模式问题，第13届欧洲算法研讨会论文集，欧空局，2005年，第426-437页·Zbl 1123.68143号
[11] 唐尼，R。；Fellows，M.，参数化复杂性（1999），Springer-Verlag·Zbl 0961.68533号
[12] 唐尼，R.G。；Fellows，M.R.，《固定参数可处理性和完整性》，国会数值，87，161-187（1992）·Zbl 0768.68136号
[13] 唐尼，R.G。；Fellows，M.R.，《固定参数可处理性和完整性I：基本结果》，SIAM计算机杂志，24873-921（1995）·Zbl 0830.68063号
[14] 唐尼，R.G。；Fellows，M.R.，固定参数可处理性和完备性II:论W的完备性[1]，理论计算机科学，141，1-2，109-131（1995）·Zbl 0873.68059号
[15] R.G.Downey，M.R.Fellows，参数化计算可行性，摘自：《可行性数学学报II》，1995年，第273-284页；R.G.Downey，M.R.Fellows，参数化计算可行性，摘自：《可行性数学学报II》，1995年，第273-284页·Zbl 0834.68046号
[16] Farber，M.，强弦图中的支配、独立支配和对偶，离散应用数学，7115-130（1984）·Zbl 0531.05045号
[17] Garey，M.R。；Johnson，D.S.，《计算机与不可纠正性：NP-完备性理论指南》（1979），弗里曼：弗里曼纽约·Zbl 0411.68039号
[18] 高尔，D.R。；茨城，T。；Krishnamurti，R.，矩形刺入问题和直线分割问题的常数比近似算法，算法杂志，43，138-152（2002）·Zbl 1005.68179号
[19] Gavril，F.，弦图最小着色、最大团、最小团覆盖和最大独立集的算法，SIAM计算杂志，1180-187（1972）·Zbl 0227.05116号
[20] Golumbic，M.C.，《算法图论与完美图》（1980），学术出版社：纽约学术出版社·Zbl 0541.05054号
[21] Griggs，J.R.，图的区间数的极值，II，离散数学，28，37-47（1979）·Zbl 0454.05039号
[22] 格里格斯，J.R。；West，D.B.，图的区间数的极值，SIAM代数和离散方法杂志，1，1，1-14（1980）·Zbl 0499.05033号
[23] Gyráfás，A。；West，D.，多轨道区间图，国会数值，109，109-116（1995）·Zbl 0904.05050号
[24] 哈辛，R。；Megiddo，N.，用直线撞击物体的近似算法，《离散应用数学》，30，1，29-42（1991）·Zbl 0800.68619号
[25] R.Hassin，D.Segev，《四舍五入到整体程序》，载于：第四届高效和实验算法国际研讨会，2005年，第44-54页；R.Hassin，D.Segev，《四舍五入到整体程序》，载于：第四届高效和实验算法国际研讨会，2005年，第44-54页·兹比尔1121.68345
[26] 哈辛，R。；Tamir，A.，《改进实线上位置问题的复杂性界限》，《运筹学快报》，10，7，395-402（1991）·Zbl 0742.90050号
[27] Hochbaum，D.S。；Levin，A.，《循环调度和多班调度：复杂性和近似算法》，《离散优化》，3，4，327-340（2006）·Zbl 1112.90023号
[28] D.马克思，几何问题的有效近似方案？摘自：第13届欧洲算法年会论文集，欧空局，2005年，第448-459页；D.马克思，几何问题的有效近似方案？摘自：第13届欧洲算法年会论文集，欧空局，2005年，第448-459页·Zbl 1162.68822号
[29] D.马克思，几何图形独立性和支配性的参数化复杂性，载于：第二届参数化和精确计算国际研讨会论文集，IWPEC，2006年，第154-165页；D.马克思，几何图形独立性和支配性的参数化复杂性，载于：第二届参数化和精确计算国际研讨会论文集，IWPEC，2006年，第154-165页·Zbl 1154.68431号
[30] Scheinerman，E.R。；West，D.B.，平面图的区间数：三个区间就足够了，组合理论杂志B，35，224-239（1983）·Zbl 0528.05053号
[31] Vialette，S.，《关于2区间模式匹配问题的计算复杂性》，《理论计算机科学》，312335-379（2004）
[32] 韦斯特，D.B。；Shmoys，D.B.，《识别具有固定区间数的图是NP-完全的》，《离散应用数学》，第8295-305页（1984）·Zbl 0554.68041号
[33] J.Zhao，R.L.Malmberg，L.Cai，通过图树分解快速从头算rna折叠包括伪结，收录于：第六届生物信息学算法研讨会论文集，WABI，2006年，第262-273页；J.Zhao，R.L.Malmberg，L.Cai，通过图树分解快速从头算rna折叠包括伪结，摘自：第六届生物信息学算法研讨会论文集，WABI，2006年，第262-273页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。