arXiv subjects

Paloma T. de Lima

Publications and source records attributed to Paloma T. de Lima.

3 recordsLinked to original sources

arXiv2026

Odd Cycle Transversal on $H$-free graphs

\textsc{Odd Cycle Transversal} is a classic $\mathsf{NP}$-hard graph optimization problem asking for a minimum-weight set of vertices whose deletion makes the input graph bipartite, or equivalently, a maximum-weight induced bipartite subgraph. We show that \textsc{Odd Cycle Transversal} is quasi-polynomial-time solvable on $kP_4$-free graphs, for every fixed $k \in \mathbb{N}$. In fact, we provide an $n^{O_k(\log n)}$-time algorithm for the more general \textsc{Max-Weight List $2$-Colorable Induced Subgraph}, where the notation $O_{k}(\cdot)$ hides factors depending on $k$. Paired with known results from the literature, this allows us to obtain a complete complexity dichotomy for these two problems on $H$-free graphs into cases solvable in quasi-polynomial time and cases which are $\mathsf{NP}$-hard, in particular resolving an open problem of Agrawal, Lima, Lokshtanov, Saurabh, and Sharma [SODA 2024]. Our algorithms are based on a new structural tool that may be of independent interest. We introduce the notion of $H$-amiable family and show that, for every fixed graph $H$ without isolated vertices and every fixed $k\ge2$, every $kH$-free graph admits an $H$-amiable family of quasi-polynomial size that can be constructed in quasi-polynomial time. Besides yielding the aforementioned algorithms, this result gives, for every fixed connected graph $H$ and every fixed $k\ge2$, a reduction from \textsc{Max-Weight Independent Set} on $kH$-free graphs to the same problem on $H$-free graphs with $n^{O_{H,k}(\log n)}$ overhead. In this setting, it improves the $n^{O_{H,k}(\log^3 n)}$ overhead obtained by specializing the general reduction of Gartland and Lokshtanov [FOCS 2020].

cs.DS↗

arXiv2025

Hitting all longest paths in $H$-free graphs and $H$-graphs

The \textit{longest path transversal number} of a connected graph $G$, denoted by $lpt(G)$, is the minimum size of a set of vertices of $G$ that intersects all longest paths in $G$. We present constant upper bounds for the longest path transversal number of \textit{hereditary classes of graphs}, that is, classes of graphs closed under taking induced subgraphs. Our first main result is a structural theorem that allows us to \textit{refine} a given longest path transversal in a graph using domination properties. This has several consequences: First, it implies that for every $t \in \{5,6\}$, every connected $P_t$-free graph $G$ satisfies $lpt(G) \leq t-2$. Second, it shows that every $(\textit{bull}, \textit{chair})$-free graph $G$ satisfies $lpt(G) \leq 5$. Third, it implies that for every $t \in \mathbb{N}$, every connected chordal graph $G$ with no induced subgraph isomorphic to $K_t \mat \overline{K_t}$ satisfies $lpt(G) \leq t-1$, where $K_t \mat \overline{K_t}$ is the graph obtained from a $t$-clique and an independent set of size $t$ by adding a perfect matching between them. Our second main result provides an upper bound for the longest path transversal number in \textit{$H$-intersection graphs}. For a given graph $H$, a graph $G$ is called an \textit{$H$-graph} if there exists a subdivision $H'$ of $H$ such that $G$ is the intersection graph of a family of vertex subsets of $H'$ that each induce connected subgraphs. The concept of $H$-graphs, introduced by Biró, Hujter, and Tuza, naturally captures interval graphs, circular-arc graphs, and chordal graphs, among others. Our result shows that for every connected graph $H$ with at least two vertices, there exists an integer $k = k(H)$ such that every connected $H$-graph $G$ satisfies $lpt(G) \leq k$.

math.CO↗

arXiv2025

A Parameterized Complexity Analysis of Bounded Height Depth-first Search Trees

Computing bounded depth decompositions is a bottleneck in many applications of the treedepth parameter. The fastest known algorithm, which is due to Reidl, Rossmanith, Sánchez Villaamil, and Sikdar [ICALP 2014], runs in $2^{\mathcal{O}(k^2)}\cdot n$ time and it is a big open problem whether the dependency on $k$ can be improved to $2^{o(k^2)}\cdot n^{\mathcal{O}(1)}$. We show that the related problem of finding DFS trees of bounded height can be solved faster in $2^{\mathcal{O}(k \log k)}\cdot n$ time. As DFS trees are treedepth decompositions, this circumvents the above mentioned bottleneck for this subclass of graphs of bounded treedepth. This problem has recently found attention independently under the name Minimum Height Lineal Topology (MinHLT) and our algorithm gives a positive answer to an open problem posed by Golovach [Dagstuhl Reports, 2023]. We complement our main result by studying the complexity of MinHLT and related problems in several other settings. First, we show that it remains NP-complete on chordal graphs, and give an FPT-algorithm on chordal graphs for the dual problem, asking for a DFS tree of height at most $n-k$, parameterized by $k$. The parameterized complexity of Dual MinHLT on general graphs is wide open. Lastly, we show that Dual MinHLT and two other problems concerned with finding DFS trees with few or many leaves are FPT parameterized by $k$ plus the treewidth of the input graph.

cs.DS↗