Parameterized Complexity of Vertex Splitting to Pathwidth at most 1

02/28/2023
by   Jakob Baumann, et al.
0

Motivated by the planarization of 2-layered straight-line drawings, we consider the problem of modifying a graph such that the resulting graph has pathwidth at most 1. The problem Pathwidth-One Vertex Explosion (POVE) asks whether such a graph can be obtained using at most k vertex explosions, where a vertex explosion replaces a vertex v by deg(v) degree-1 vertices, each incident to exactly one edge that was originally incident to v. For POVE, we give an FPT algorithm with running time O(4^k · m) and a quadratic kernel, thereby improving over the O(k^6)-kernel by Ahmed et al. [GD 22] in a more general setting. Similarly, a vertex split replaces a vertex v by two distinct vertices v_1 and v_2 and distributes the edges originally incident to v arbitrarily to v_1 and v_2. Analogously to POVE, we define the problem variant Pathwidth-One Vertex Splitting (POVS) that uses the split operation instead of vertex explosions. Here we obtain a linear kernel and an algorithm with running time O((6k+12)^k · m). This answers an open question by Ahmed et al. [GD22]. Finally, we consider the problem Π Vertex Splitting (Π-VS), which generalizes the problem POVS and asks whether a given graph can be turned into a graph of a specific graph class Π using at most k vertex splits. For graph classes Π that can be tested in monadic second-order graph logic (MSO_2), we show that the problem Π-VS can be expressed as an MSO_2 formula, resulting in an FPT algorithm for Π-VS parameterized by k if Π additionally has bounded treewidth. We obtain the same result for the problem variant using vertex explosions.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset