中文

1-正则冲突下的平面图和 3-退化图的冲突免切

组合数学 2026-05-13 v1

摘要

在简单连通图 G=(V,E)G = (V, E) 上的冲突免切 FF 定义为边集合 FEF \subseteq E,使得 GFG-F 断开,且 FF 中的任意两条边不存在冲突。冲突边的概念通过关联冲突图 G^=(V^,E^)\widehat{G} = (\widehat{V}, \widehat{E}) 表示,其中 V^=E\widehat{V} = E。判定给定平面图 GG(伴随冲突图 G^\widehat{G})是否具有冲突免切已知在 GG 最大度为四且 G^\widehat{G}GG 的线图时为 NP 完全问题 [Bonsma, JGT 2009]。本文在 G^\widehat{G} 为 1-正则的情况下,对以下内容进行完全解决:* 我们完全解决当 GG 为平面图时的决策问题的复杂度。为此,我们表明(a)除非图为八角形图,否则平面且 4-正则的图始终存在冲突免切;(b)即使 GG 为平面且最大度为 5 的图,决策问题也为 NP 完全。* 我们还表明,当 GG 为最大度为 5 的 3-退化图时,决策问题为 NP 完全。这完全解决了当 GG 为 3-退化图时的复杂度状态。* 我们构造了具有 1-正则冲突图且不存在冲突免切的图族。这些结果回答了 [Rauch, Rautenbach 和 Souza, IPL 2025] 中的问题。

关键词

引用

@article{arxiv.2605.12068,
  title  = {Conflict-Free Cuts in Planar and 3-Degenerate Graphs with 1-Regular Conflicts},
  author = {Subrahmanyam Kalyanasundaram and Subodh Kumar},
  journal= {arXiv preprint arXiv:2605.12068},
  year   = {2026}
}

备注

42 pages, 72 figures, preliminary version accepted in IWOCA 2026