Skip to content

Reconfiguring Subgraphs with Extra Resources

Jul 2026 · arXiv.org · Vol abs/2607.10399 · 0 citations · 22 references
Computer Science

TL;DR

This work focuses on the setting where the subgraph is specified by its set of edges, and proves two generalizations: for any fixed $k$ at least one, reconfiguring connected graphs with pathwidth at most $k$ is $\textsf{NP}$-hard, and for any fixed $k$ at least two, reconfiguring graphs with pathwidth at most $k$ is also $\textsf{NP$-hard.

Abstract

The subgraph reconfiguration problem asks whether one subgraph can be transformed into another via a sequence of local changes while maintaining a specified graph property. In this work, we focus on the setting where the subgraph is specified by its set of edges. Our contributions in this paper are twofold. First, motivated by the contrast that path reconfiguration is $\textsf{NP}$-hard while tree reconfiguration is solvable in linear time, we prove two generalizations: (1) for any fixed $k$ at least one, reconfiguring connected graphs with pathwidth at most $k$ is $\textsf{NP}$-hard, and (2) for any fixed $k$ at least two, reconfiguring graphs with pathwidth at most $k$ is also $\textsf{NP}$-hard. En route to proving (2), we show a general hardness result that applies to a range of minor-closed graph classes, which we use to show planar graph reconfiguration is also $\textsf{NP}$-hard. Second, given our negative results, we extend the problem to a resource-focused setting, asking how much additional buffer space is needed to turn a non-reconfigurable instance into a reconfigurable one. We show that $\Omega(n)$ extra buffer space is needed for planar graphs and graphs with bounded pathwidth and treewidth, while $O(1)$ extra buffer space is sufficient for cactus graphs in a restricted setting.

View source

Similar papers

Jul 2026

Structural Tractability Frontiers for Metric Repair

This paper asks what structural properties of the graph itself make metric repair tractable, and gives pseudo-polynomial time algorithms for series-parallel graphs, and by generalization, graphs of bounded treewidth and a new algorithm for the length-bounded multicut problem.

Asaf Etgar, A. Gilbert, Jamie Tucker-Foltz · 0 citations
Preprint Aug 2026

The (Parameterized) Complexity of Ordering a Graph While Avoiding a Forbidden Pattern

It is shown that Pattern Avoidance is $\Sigma_2^{\textsf{P}}$-complete and furthermore remains intractable (in both the classical and parameterized sense) even under a variety of severe restrictions to both the pattern $P$ and the graph $G$.

Thomas Depian, S. D. Fink, Alexander Firbas et al. · 0 citations
Jul 2026

Reachability in Directed Acyclic Graphs with Near-Linear Cut Queries

This work begins a systematic study of basic problems in directed \emph{acyclic} graphs (DAGs) and shows that reachability from a single vertex and even topological sorting are both computable in O(n \log^3 n) many cut queries.

Sanjeev Khanna, Aaron Putterman, Junkai Song · 1 citation
Jul 2026

Cut Query Reachability for DAGs with Subquadratic Queries

This work restricts its attention to directed acyclic graphs (DAGs) and obtains a deterministic single-source reachability algorithm using $O(n \sqrt{n \log n})$ queries, based on a topological sort algorithm, and can also be adapted to compute single-source shortest paths in DAGs.

B. Bals, Matei Tinca, Yasamin Nazari · 0 citations
Jul 2026

NP-Hardness of Connected Components Reconfiguration under Component Jumping on Caterpillar Graphs

It is proved that \CCRCJ~on path graphs is NP-hard even on caterpillar graphs, which is a very restricted subclass of trees and chordal graphs minimally above path graphs, thereby resolving Nakahata's open problem on chordal graphs under multiset size constraints.

Naoki Kitamura, Seitaro Kawaguchi, Yuya Terashima et al. · 0 citations
Preprint Aug 2026

Spanning Structures in Multipartite Graph Traversals

Let $G$ be an $r$-partite graph such that the edge density between any two parts is at least $\alpha$. We consider the problem of determining how large $\alpha$ must be in order to guarantee that $G$ has a Hamiltonian traversal (an $r$-cycle subgraph containing exactly one vertex from each part), and show that this cri...

Isabel McGuigan · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.