最大双峰子图问题的参数化和近似算法
摘要：平面图中的一个顶点被称为双峰的，如果它的所有入边（因此也包括出边）在它周围的循环顺序中是连续的。如果一个平面图的所有顶点都是双峰的，那么这个图就是双峰的。双峰性是许多图布局的核心，如上行图，层平面图和L型图。如果图不是双峰的，则最大双峰子图（MBS）问题要求找到一个保持嵌入的双峰子图，其边数最大。我们从参数复杂性的角度开展了MBS问题的研究，并得到了两个主要结果：（i）我们描述了一个以分支宽度（因而也是以树宽度）为参数的FPT算法；（ii）我们证明了以非双峰顶点数为参数的MBS问题有一个多项式核。作为这些结果的副产品，我们得到了一个亚指数级的FPT算法和一个高效的多项式时间近似方案用于MBS。
作者：Walter Didimo, Fedor V. Fomin, Petr A. Golovach, Tanmay Inamdar, Stephen Kobourov, Marie Diana Sieper
论文ID：2308.15635
分类：Data Structures and Algorithms
分类简称：cs.DS
提交时间：2023-08-31