×
伊亚德·坎吉；克里斯蒂安·科穆塞维茨；曼纽尔·索尔吉；范·列文、埃里克·扬

识别单极图和2-亚色图的参数化算法。 （英语） Zbl 1380.68227号

J.计算。系统。科学。 92，22-47（2018）.
摘要：如果（V（G）可以被分为（A\）和（B\），则图\（G\）是一个\（（Pi_A，\Pi_B）\）-图，从而使\（G[A]\）满足属性\（Pi_A\）和\（G[C]\）符合属性\（\Pi_B\）。\（（\Pi_A，\Pi_B）\）-认可问题是识别给定的图是否是\（（\Pi_a，\Pi_B）\）-图。有许多\（（\Pi_A，\Pi_B）\）-认可问题，包括二部图、分裂图和单极图的识别问题。我们对\（（\Pi_A，\Pi_B）\）的许多情况提出了有效的算法-认可基于我们称之为归纳识别的技术。特别地，我们给出了两个NP-hard（（Pi_A，Pi_B））的固定参数算法-认可问题，单极性识别和2-分包，由\（G[A]\）中的最大团数参数化。我们用\（（\Pi_A，\Pi_B）\）的几个硬度结果来补充我们的算法结果-认可.

引用于1审查
引用于4文件

MSC公司：

65年第68季度 算法和问题复杂性分析
05C70号 具有特殊属性的边子集（因子分解、匹配、分区、覆盖和打包等）
05C85号 图形算法（图形理论方面）

关键词：

顶点划分问题；图形类；单极图；次着色；分割图；单极图；固定参数算法
PDF格式BibTeX公司 XML格式引用
\textit{I.Kanj}等人，J.Compute。系统。科学。92、22-47（2018年；Zbl 1380.68227）
全文： DOI程序 arXiv公司 链接

参考文献：

[1] Achlioptas，D.，无G着色的复杂性，离散数学。，165-166, 21-30 (1997) ·Zbl 0904.05030号
[2] Brandstädt，A。；Le，V.B。；Szymczak，T.，与图3-着色性相关的一些问题的复杂性，离散应用。数学。，89, 59-73 (1998) ·Zbl 0927.68063号
[3] Broersma，H。；Fomin，F.V。；Nešetřil，J。；Woeginger，G.J.，《关于次着色的更多信息》，《计算机》，69，3，187-203（2002）·兹比尔1239.05060
[4] 布鲁克纳，S。；Hüffner，F。；Komusewicz，C.，《用于发现蛋白质相互作用网络中核心-边缘结构的图形修改方法》，《分子生物学算法》。，10, 16 (2015)
[5] 丘克利（R.Churchley）。；Huang，J.，列表无爪图的单极分区，离散数学。，312, 17, 2545-2549 (2012) ·Zbl 1246.05127号
[6] 丘克利（R.Churchley）。；黄J.，关于图的极性和单极性，《图论》，76，2，138-148（2014）·Zbl 1294.05126号
[7] 丘克利（R.Churchley）。；黄，J.，用色指数解决划分问题，图梳。，30, 2, 353-364 (2014) ·兹比尔1305.05187
[8] Cygan，M。；Fomin，F.V。；科瓦利克，L。；Lokshtanov，D。；马克思，D。；Pilipczuk，M。；Pilipczuk，M。；Saurabh，S.，参数化算法（2015），Springer·Zbl 1334.90001号
[9] Diestel，R.，《图论》（2012），Springer
[10] 唐尼，R.G。；Fellows，M.R.，参数化复杂性基础，文本计算。科学。（2013），《施普林格：施普林格柏林》，海德堡·兹比尔1358.68006
[11] Ekim，T。；地狱，P。；斯塔乔·J。；de Werra，D.，弦图的极性，离散应用。数学。，156, 13, 2469-2479 (2008) ·Zbl 1163.05051号
[12] 埃舍恩，E.M。；Wang，X.，单极图和广义分裂图的算法，离散应用。数学。，162, 195-201 (2014) ·Zbl 1300.05251号
[13] Farrugia，A.，顶点划分为固定的加性诱导遗传特性是NP-hard，Electron。J.库姆。，11、1、R46（2004）·Zbl 1053.05046号
[14] 菲亚拉，J。；Jansen，K。；Le，V.B。；Seidel，E.，《图形子着色：复杂性和算法》，SIAM J.离散数学。，16, 4, 635-650 (2003) ·兹比尔1029.05052
[15] Gimbel，J。；Hartman，C.，图的次色数和次色数，离散数学。，272, 139-154 (2003) ·Zbl 1028.05032号
[16] Hammer，P.L。；Simeone，B.，图的分裂，组合，1，3275-284（1981）·Zbl 0492.05043号
[17] Impagliazzo，R。；帕图里，R。；Zane，F.，哪些问题具有强指数复杂性？，J.计算。系统。科学。，63, 4, 512-530 (2001) ·Zbl 1006.68052号
[18] Jonsson，P。；拉盖克维斯特，V。；Nordh，G.公司。；Zanuttini，B.，SAT问题的复杂性，克隆理论和指数时间假设，（第24届ACM-SIAM离散算法研讨会论文集。第24届年度ACM-SIAM离散算法研讨会文献集，SODA’13（2013），SIAM），1264-1277·Zbl 1423.68212号
[19] 科莱，S。；Panolan，F.，删除（r，ell）-图的参数化算法，（第35届IARCS软件技术和理论计算机科学基础年会论文集。第35届国际ARCS软件技术和计算机理论科学基础年会论文集，FSTTCS’15。第35届IARCS软件技术与理论计算机科学基础年会论文集。第35届IARCS软件技术和理论计算机科学基础年会论文集，FSTTCS’15，LIPIcs。莱布尼茨国际程序。通知。，第45卷（2015年），《达格斯图尔·莱布尼兹·泽特鲁姆·富尔信息》（Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），第420-433页·Zbl 1366.68368号
[20] Kratochvíl，J。；Schiermeyer，I.，关于\（（O，P）\）-划分问题的计算复杂性，讨论。数学。，图论，17，2，253-258（1997）·Zbl 0904.05074号
[21] Le，V.B。；Neveries，R.，《识别极图和单极图的复杂性和算法》，Theor。计算。科学。，528, 1-11 (2014) ·Zbl 1283.05219号
[22] Lokshtanov，D.，无轮删除是W[2]-hard，（第三届参数化和精确计算国际研讨会论文集。第三届国际参数化和准确计算研讨会论文集，IWPEC’08。第三届参数化和精确计算国际研讨会论文集。第三届参数化和精确计算国际研讨会论文集，IWPEC’08，Lect。注释计算。科学。，第5018卷（2008），施普林格），141-147·Zbl 1142.68366号
[23] McDiarmid，C。；Yolov，N.，单极图和广义分裂图的识别，算法，8，1，46-59（2015）·Zbl 1461.05216号
[24] Papadimitriou，C.H.，《计算复杂性》（1994），Addison-Wesley·Zbl 0833.68049号
[25] Ramsey，F.，《关于形式逻辑中的一个问题》，Proc。伦敦。数学。《社会学杂志》，30，3，264-286（1930）
[26] Reed，学士。；史密斯，K。；Vetta，A.，《寻找奇数循环横截面》，Oper。Res.Lett.公司。，32, 4, 299-301 (2004) ·Zbl 1052.05061号
[27] Stacho，J.，《关于弦图的二次着色》，（第八届拉丁美洲理论信息学研讨会论文集。第八届拉美理论信息学会议论文集，拉丁文'08。第八届拉丁美洲理论信息学研讨会论文集。第八届拉丁美洲理论信息学研讨会论文集，拉丁文'08，Lect。注释计算。科学。，第4957卷（2008年），施普林格出版社，544-554·Zbl 1136.68470号
[28] 蒂什凯维奇，R.I。；Chernyak，A.A.，图的分解，Cybern。系统。分析。，21, 2, 231-242 (1985)
[29] 蒂什凯维奇，R.I。；Chernyak，A.A.，图的正则分解和极性识别算法，Izvestia Akad。Nauk BSSR，序列号。菲兹。Mat.Nauk，6，16-23（1985），（俄语）·Zbl 0605.05041号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。