[论文解读] Subexponential Algorithms in Geometric Graphs via the Subquadratic Grid Minor Property: The Role of Local Radius

Gaétan Berthe, Marin Bougeret+2 more|arXiv (Cornell University)|Jun 30, 2023

Advanced Graph Theory Research参考文献 30被引用 1

一句话总结

本文通过引入局部半径参数，为几何图类中的环击问题（如反馈顶点集（FVS）、三角形击中（TH）和奇环击穿（OCT））建立了亚指数固定参数可满足性（FPT）算法。证明了若局部半径在团数和顶点邻域最大匹配大小上为多项式，则存在亚指数FPT算法。关键结果是在接触线段图中，FVS的算法时间复杂度为 2^O(k^{3/4} log k) n^{O(1)}，在轴对齐正方形交集图中为 2^O(k^{9/10} log k) n^{O(1)}，并基于ETH的下界证明了这些条件的紧致性。

ABSTRACT

In this paper we investigate the existence of subexponential parameterized algorithms of three fundamental cycle-hitting problems in geometric graph classes. The considered problems, extsc{Triangle Hitting} (TH), extsc{Feedback Vertex Set} (FVS), and extsc{Odd Cycle Transversal} (OCT) ask for the existence in a graph $G$ of a set $X$ of at most $k$ vertices such that $G-X$ is, respectively, triangle-free, acyclic, or bipartite. Such subexponential parameterized algorithms are known to exist in planar and even $H$-minor free graphs from bidimensionality theory [Demaine et al., JACM 2005], and there is a recent line of work lifting these results to geometric graph classes consisting of intersection of "fat" objects ([Grigoriev et al., FOCS 2022] and [Lokshtanov et al., SODA 2022]). In this paper we focus on "thin" objects by considering intersection graphs of segments in the plane with $d$ possible slopes ($d$-DIR graphs) and contact graphs of segments in the plane. Assuming the ETH, we rule out the existence of algorithms: - solving TH in time $2^{o(n)}$ in 2-DIR graphs; and - solving TH, FVS, and OCT in time $2^{o(\sqrt{n})}$ in $K_{2,2}$-free contact 2-DIR graphs. These results indicate that additional restrictions are necessary in order to obtain subexponential parameterized algorithms for %these problems. In this direction we provide: - a $2^{O(k^{3/4}\cdot \log k)}n^{O(1)}$-time algorithm for FVS in contact segment graphs; - a $2^{O(\sqrt d\cdot t^2 \log t\cdot k^{2/3}\log k)} n^{O(1)}$-time algorithm for TH in $K_{t,t}$-free $d$-DIR graphs; and - a $2^{O(k^{7/9}\log^{3/2}k)} n^{O(1)}$-time algorithm for TH in contact segment graphs.

研究动机与目标

• 确定几何图类中亚指数FPT算法适用于双维环击问题（如FVS、TH、OCT）的充分条件。
• 形式化局部半径参数在几何交集图中实现亚指数算法的作用机制。
• 通过基于ETH的下界刻画2-DIR和K_{t,t}-自由图中亚指数可解性的边界。
• 通过在特定几何类（接触线段图和轴对齐正方形交集图）中界定局部半径，展示该框架的适用性。
• 统一并拓展先前在几何图类与极小封闭图类中亚指数算法的研究成果。

提出的方法

• 引入局部半径参数作为几何图中一种新的结构度量，基于邻域复杂度和线段表示进行定义。
• 证明若局部半径在团数和顶点邻域最大匹配大小上为多项式，则图类满足次二次网格极小（SQGM）性质。
• 利用SQGM性质，通过树宽界和树分解上的动态规划推导出亚指数FPT算法。
• 运用几何与拓扑论证（如欧拉公式、平面嵌入）界定接触线段图与正方形交集图中不同邻域的数量。
• 构建平面辅助图以界定邻域多样性，并为接触线段图推导出O(|M|)的邻域复杂度。
• 通过基于ETH的归约排除某些图类中亚指数算法的存在性，证明条件的紧致性。

实验结果

研究问题

• RQ1 在何种几何图类条件下，可为环击问题（如FVS和TH）实现亚指数FPT算法？
• RQ2 局部半径参数如何与SQGM性质及几何图中亚指数可解性相关联？
• RQ3 接触线段图中FVS的精确参数化时间复杂度为何？
• RQ4 在2-DIR图中，是否存在大完全二分图子图K_{t,t}是否为亚指数FPT算法的必要且充分条件？
• RQ5 在指数时间假设（ETH）下，能否排除某些几何图类中亚指数FPT算法的存在？

主要发现

• 在接触线段图中，FVS的算法时间复杂度为 2^O(k^{3/4} log k) n^{O(1)}。
• 在轴对齐正方形交集图中，FVS的算法时间复杂度为 2^O(k^{9/10} log k) n^{O(1)}。
• 在接触线段图中，三角形击中问题在 2^O(k^{3/4} log k) n^{O(1)} 时间内求解。
• 在K_{t,t}-自由的d-DIR图中，三角形击中问题在 2^O(√(dt² log t) k^{2/3} log k) n^{O(1)} 时间内求解。
• 基于ETH的下界排除了在2-DIR图中TH和OCT问题的 2^o(n) 时间算法，以及在最大度Δ的2-DIR图中 2^o(√(Δn)) 时间算法。
• 证明在2-DIR图中，三角形击中问题的亚指数FPT算法存在的充要条件是不存在大K_{t,t}子图。