×
尼克·布雷特尔;马修·约翰逊;贾科莫·佩萨尼;丹尼尔·保卢斯马

计算\（H\）-自由图中的子集横截。 （英语） 兹布尔07458786

西奥。计算。科学。 902，76-92（2022）.
摘要：我们研究了两个著名的图横向问题的计算复杂性，即子集反馈顶点集和子集奇数循环横截通过将输入限制为无（H）图，即不包含某些固定图（H）作为诱导子图的图。通过结合已知结果和新结果，我们确定了除某些图（sgeq 1）的（H=sP_1+P_4）外，每个图（H）的无（H）图上这两个问题的计算复杂性。作为我们方法的一部分，我们引入子集顶点覆盖并证明了对于每个（sgeq1），（sP_1+P_4）自由图是多项式时间可解的。

引用于4文件

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
65年第68季度 算法和问题复杂性分析

关键词：

反馈顶点;奇数周期横向;遗传图类;\（H\）-自由图;复杂性二分法

软件：

算法447
PDF格式BibTeX公司 XML格式引用
\textit{N.Brettell}等人，Theor。计算。科学。902，76-92（2022；Zbl 07458786）
全文： 内政部 arXiv公司

参考文献：

[1] Abrishami，T。；Chudnovsky，M。；Pilipczuk，M。；Rząewski，P。；Seymour，P.，有界树宽的诱导子图和容器方法，（Proc.SODA 2021（2021）），1948-1964
[2] Bergougnoux，B。；阀盖，等等。；北卡罗来纳州布雷特尔。；Kwon，O.，《反馈顶点集的近亲，无树宽参数化的单指数算法》（Proc.IPEC 2020）。程序。IPEC 2020，LIPIcs，第180卷（2020年），3:1-3:17·Zbl 07764094号
[3] Bergougnoux，B。；帕帕佐普洛斯，C。；Telle，J.A.，有界mim-width图上的节点多路切割和子集反馈顶点集，（Proc.WG 2020。程序。WG 2020，LNCS，第12301卷（2020）），388-400·Zbl 07636221号
[4] Bodlaender，H.L。；Möhring，R.H.，齿图的路径宽度和树宽度，SIAM J.离散数学。，181-188年6月（1993年）·兹比尔0773.05091
[5] 博纳米，M。；达布罗夫斯基，K.K。；Feghali，C。；约翰逊，M。；Paulusma，D.，无（P_5）图的独立反馈顶点集，算法，811342-1369（2019）·Zbl 1422.68105号
[6] Brandstädt，A。；Kratsch，D.，关于一些NP-完全图问题对置换图的限制，（Proc.FCT 1985。程序。FCT 1985，LNCS，第199卷（1985）），53-62·Zbl 0575.68069号
[7] Brandstädt，A。；Le，V.B。；Spinrad，J.P.，《图形类：调查》，SIAM离散数学与应用专著，第3卷（1999年），SIAM·Zbl 0919.05001号
[8] 北卡罗来纳州布雷特尔。；霍斯菲尔德，J。；Munaro，A。；Paesani，G。；Paulusma，D.，限制遗传图类的最小宽度，图论，99117-151（2022）·Zbl 1522.05394号
[9] 北卡罗来纳州布雷特尔。；约翰逊，M。；Paesani，G。；Paulusma，D.，《计算无H图中的子集断面》（Proc.WG 2020）。程序。WG 2020，LNCS，第12301卷（2020年），187-199·Zbl 07636205号
[10] 北卡罗来纳州布雷特尔。；约翰逊，M。；Paulusma，D.，《计算无H图中的加权子集断面》（Proc.WADS 2021）。程序。WADS 2021，LNCS，第12808卷（2021）），229-242·Zbl 07498680号
[11] Chiarelli，N。；Hartinger，T.R。；约翰逊，M。；米拉尼奇，M。；Paulusma，D.，图中的最小连通断面：新的硬度结果和使用连通性价格的可处理情况，Theor。计算。科学。，705, 75-83 (2018) ·兹比尔1380.68219
[12] 奇尼斯，R。；福明，F.V。；Lokshtanov，D。；Misra，P。；拉马努扬，M.S。；Saurabh，S.，一些终端集问题的快速精确算法，J.Compute。系统。科学。，88, 195-207 (2017) ·Zbl 1371.05283号
[13] 科内尔·D·G。；Lerchs，H。；伯林厄姆，L.S.，补可约图，离散应用。数学。，3, 163-174 (1981) ·Zbl 0463.05057号
[14] 科内尔·D·G。；Perl，Y。；Stewart，L.K.，齿状图的线性识别算法，SIAM J.Compute。，14, 926-934 (1985) ·Zbl 0575.68065号
[15] Cygan，M。；Pilipczuk，M。；Pilipczuk，M。；Wojtaszczyk，J.O.，子集反馈顶点集是固定参数可处理的，SIAM J.离散数学。，27, 290-309 (2013) ·Zbl 1268.05196号
[16] 达布罗夫斯基，K.K。；Feghali，C。；约翰逊，M。；Paesani，G。；Paulusma，D。；Rząewski，P.，《在缺少小型线性森林的情况下，关于周期横截及其连接变体》，Algorithmica，82，2841-2866（2020）·Zbl 1459.05332号
[17] 达布罗夫斯基，K.K。；约翰逊，M。；Paesani，G。；Paulusma，D。；Zamaraev，V.，《关于顶点覆盖、反馈顶点集和奇数循环横向的独立性价格》（Proc.MFCS 2018）。程序。MFCS 2018，LIPIcs，第117卷（2018）），63:1-63:15·Zbl 1516.05185号
[18] Földes，S。；Hammer，P.L.，分裂图，Congr。数字。，19, 311-315 (1977) ·兹比尔0407.05071
[19] 福明，F.V。；赫格内斯，P。；Kratsch，D。；帕帕佐普洛斯，C。；Villanger，Y.，枚举最小子集反馈顶点集，Algorithmica，69，216-231（2014）·Zbl 1303.05189号
[20] Golovach，P.A。；Heggenes，P。；Kratsch，D。；Saei，R.，弦图中的子集反馈顶点集，J.Discret。算法，26，7-15（2014）·Zbl 1298.05302号
[21] Grzesik，A。；Klimošová，T。；Pilipczuk，M。；Pilipczuk，M.，无（P_6）图上最大权无关集的多项式时间算法（Proc.SODA 2019（2019）），1257-1271·Zbl 1431.68047号
[22] 霍尔，E.C。；Kratsch，S.，子集反馈顶点集的随机多项式核，理论计算。系统。，62, 63-92 (2018) ·Zbl 1387.68134号
[23] 霍普克罗夫特，J.E。；Tarjan，R.E.，《算法447：图形操作的有效算法》，Commun。美国医学会，16372-378（1973）
[24] 岩手，Y。；瓦尔斯特伦，m。；Yoshida，Y.，半积分，lp-分支和FPT算法，SIAM J.Compute。，45, 1377-1411 (2016) ·Zbl 1343.05151号
[25] 贾夫克，L。；Kwon，O。；Telle，J.A.，《Mim-width II》。反馈顶点集问题，算法，82118-145（2020）·Zbl 1442.05158号
[26] 约翰逊，M。；Paesani，G。；Paulusma，D.，无（（s P_1+P_5）图的连通顶点覆盖，算法，82，20-40（2020）·Zbl 1436.68245号
[27] 北卡罗来纳州卡基穆拉。；Kawarabayashi，K。；Kobayashi，Y.，Erdõs-Pósa性质及其算法应用：奇偶约束、子集反馈集和子集打包，（Proc.SODA 2012（2012）），1726-1736·兹比尔1425.05082
[28] 川原雅史，K。；Kobayashi，Y.，子集反馈集问题和S循环装箱问题的固定参数可处理性，J.Comb。理论，Ser。B、 1021020-1034（2012）·Zbl 1245.05103号
[29] 克拉奇，S。；Wahlström，m.，《代表集和无关顶点：核化的新工具》，J.ACM，67，16（2020）·Zbl 1491.68092号
[30] Lokshtanov，D。；Misra，P。；拉马努扬，M.S。；Saurabh，S.，Hitting selected（odd）cycles，SIAM J.离散数学。，31, 1581-1615 (2017) ·Zbl 1368.05147号
[31] Lokshtanov，D。；Vatshelle，M。；Villanger，Y.，多项式时间内无（P_5）图的独立集，（Proc.SODA 2014（2014）），570-581·Zbl 1422.68126号
[32] Minty，G.J.，《关于无爪图中顶点的最大独立集》，J.Comb。理论，Ser。B、 28、284-304（1980）·Zbl 0434.05043号
[33] Misra，P。；拉曼，V。；拉马努扬，M.S。；Saurabh，S.，偶数循环横向的参数化算法，（Proc.WG 2012，vol.7551（2012）），172-183·Zbl 1341.05248号
[34] Munaro，A.，亚三次无三角图的在线图，离散数学。，340, 1210-1226 (2017) ·Zbl 1369.05178号
[35] 帕帕佐普洛斯，C。；Tzimas，S.，区间图和置换图上子集反馈顶点集问题的多项式时间算法，离散应用程序。数学。，258, 204-221 (2019) ·Zbl 1407.05225号
[36] 帕帕佐普洛斯，C。；Tzimas，S.，有界独立集大小图上的子集反馈顶点集，Theor。计算。科学。，814, 177-188 (2020) ·Zbl 1435.68244号
[37] Poljak，S.，关于图的稳定集和着色的注记，评论。数学。卡罗尔大学。，15, 307-309 (1974) ·Zbl 0284.05105号
[38] Sbihi，N.，Algorithme de recherche d’un stable de cardialitémaximum dans un grape sansétoule，离散数学。，第29页，第53-76页（1980年）·兹比尔0444.05049
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。