English

Path Contraction Faster than $2^n$

Data Structures and Algorithms 2025-05-21 v1 Discrete Mathematics

Abstract

A graph GG is contractible to a graph HH if there is a set XE(G)X \subseteq E(G), such that G/XG/X is isomorphic to HH. Here, G/XG/X is the graph obtained from GG by contracting all the edges in XX. For a family of graphs F\cal F, the F\mathcal{F}-\textsc{Contraction} problem takes as input a graph GG on nn vertices, and the objective is to output the largest integer tt, such that GG is contractible to a graph HFH \in {\cal F}, where V(H)=t|V(H)|=t. When F\cal F is the family of paths, then the corresponding F\mathcal{F}-\textsc{Contraction} problem is called \textsc{Path Contraction}. The problem \textsc{Path Contraction} admits a simple algorithm running in time 2nnO(1)2^{n}\cdot n^{\mathcal{O}(1)}. In spite of the deceptive simplicity of the problem, beating the 2nnO(1)2^{n}\cdot n^{\mathcal{O}(1)} bound for \textsc{Path Contraction} seems quite challenging. In this paper, we design an exact exponential time algorithm for \textsc{Path Contraction} that runs in time 1.99987nnO(1)1.99987^n\cdot n^{\mathcal{O}(1)}. We also define a problem called \textsc{33-Disjoint Connected Subgraphs}, and design an algorithm for it that runs in time 1.88nnO(1)1.88^n\cdot n^{\mathcal{O}(1)}. The above algorithm is used as a sub-routine in our algorithm for {\sc Path Contraction}

Keywords

Cite

@article{arxiv.2505.13996,
  title  = {Path Contraction Faster than $2^n$},
  author = {Akanksha Agrawal and Fedor V. Fomin and Daniel Lokshtanov and Saket Saurabh and Prafullkumar Tale},
  journal= {arXiv preprint arXiv:2505.13996},
  year   = {2025}
}

Comments

An extended abstract of this article appeared in ICALP 2019 and full version appeared in SIDMA 2020

R2 v1 2026-07-01T02:24:10.312Z