English
Related papers

Related papers: Reconfiguration over tree decompositions

200 papers

We study the NP-hard Minimum Shared Edges (MSE) problem on graphs: decide whether it is possible to route $p$ paths from a start vertex to a target vertex in a given graph while using at most $k$ edges more than once. We show that MSE can…

Computational Complexity · Computer Science 2017-06-08 Till Fluschnik , Meike Hatzel , Steffen Härtlein , Hendrik Molter , Henning Seidler

We propose a novel generalization of Independent Set Reconfiguration (ISR): Connected Components Reconfiguration (CCR). In CCR, we are given a graph $G$, two vertex subsets $A$ and $B$, and a multiset $\mathcal{M}$ of positive integers. The…

Data Structures and Algorithms · Computer Science 2025-05-13 Yu Nakahata

The quest for colorful components (connected components where each color is associated with at most one vertex) inside a vertex-colored graph has been widely considered in the last ten years. Here we consider two variants, Minimum Colorful…

Data Structures and Algorithms · Computer Science 2018-06-20 Riccardo Dondi , Florian Sikora

We study the NP-complete Minimum Shared Edges (MSE) problem. Given an undirected graph, a source and a sink vertex, and two integers p and k, the question is whether there are p paths in the graph connecting the source with the sink and…

Computational Complexity · Computer Science 2016-02-05 Till Fluschnik , Stefan Kratsch , Rolf Niedermeier , Manuel Sorge

A secure set $S$ in a graph is defined as a set of vertices such that for any $X\subseteq S$ the majority of vertices in the neighborhood of $X$ belongs to $S$. It is known that deciding whether a set $S$ is secure in a graph is…

Computational Complexity · Computer Science 2017-07-11 Bernhard Bliem , Stefan Woltran

We study {\sc Cluster Edge Modification} problems with constraints on the size of the clusters. A graph $G$ is a cluster graph if every connected component of $G$ is a clique. In a typical {\sc Cluster Edge Modification} problem such as the…

Data Structures and Algorithms · Computer Science 2024-09-05 Jayakrishnan Madathil , Kitty Meeks

For a family of graphs $\cal F$, the $\mathcal{F}$-Contraction problem takes as an input a graph $G$ and an integer $k$, and the goal is to decide if there exists $S \subseteq E(G)$ of size at most $k$ such that $G/S$ belongs to $\cal F$.…

Data Structures and Algorithms · Computer Science 2017-08-03 Akanksha Agrawal , Saket Saurabh , Prafullkumar Tale

Vertex integrity is a graph parameter that measures the connectivity of a graph. Informally, its meaning is that a graph has small vertex integrity if it has a small separator whose removal disconnects the graph into connected components…

Data Structures and Algorithms · Computer Science 2024-04-29 Tesshu Hanaka , Michael Lampis , Manolis Vasilakis , Kanae Yoshiwatari

A vertex of a plane digraph is bimodal if all its incoming edges (and hence all its outgoing edges) are consecutive in the cyclic order around it. A plane digraph is bimodal if all its vertices are bimodal. Bimodality is at the heart of…

Data Structures and Algorithms · Computer Science 2023-08-31 Walter Didimo , Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Stephen Kobourov , Marie Diana Sieper

The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of (unlabeled) subgraphs obtained from it by deleting $\ell$ vertices. An $n$-vertex graph is $\ell$-reconstructible if it is determined by its $(n-\ell)$-deck, meaning that no…

Combinatorics · Mathematics 2023-07-20 Alexandr V. Kostochka , Mina Nahvi , Douglas B. West , Dara Zirlin

We settle the parameterized complexities of several variants of independent set reconfiguration and dominating set reconfiguration, parameterized by the number of tokens. We show that both problems are XL-complete when there is no limit on…

Computational Complexity · Computer Science 2023-10-24 Hans L. Bodlaender , Carla Groenland , Céline M. F. Swennenhuis

The complexity of the maximum common connected subgraph problem in partial $k$-trees is still not fully understood. Polynomial-time solutions are known for degree-bounded outerplanar graphs, a subclass of the partial $2$-trees. On the other…

Data Structures and Algorithms · Computer Science 2017-08-10 Nils Kriege , Florian Kurpicz , Petra Mutzel

We investigate the complexity of finding a transformation from a given spanning tree in a graph to another given spanning tree in the same graph via a sequence of edge flips. The exchange property of the matroid bases immediately yields…

Data Structures and Algorithms · Computer Science 2022-01-13 Nicolas Bousquet , Takehiro Ito , Yusuke Kobayashi , Haruka Mizuta , Paul Ouvrard , Akira Suzuki , Kunihiro Wasa

We study the problem of transforming one list (vertex) coloring of a graph into another list coloring by changing only one vertex color assignment at a time, while at all times maintaining a list coloring, given a list of allowed colors for…

Data Structures and Algorithms · Computer Science 2016-01-20 Tatsuhiko Hatanaka , Takehiro Ito , Xiao Zhou

A matching cut of a graph is a partition of its vertex set in two such that no vertex has more than one neighbor across the cut. The Matching Cut problem asks if a graph has a matching cut. This problem, and its generalization d-cut, has…

Data Structures and Algorithms · Computer Science 2024-07-04 Guilherme C. M. Gomes , Emanuel Juliano , Gabriel Martins , Vinicius F. dos Santos

Reconfiguration graphs provide a way to represent relationships among solutions to a problem, and have been studied in many contexts. We investigate the reconfiguration graphs corresponding to minimum PSD forcing sets and minimum skew…

Combinatorics · Mathematics 2025-01-08 Novi Bong , Mary Flagg , Mark Hunnell , John Hutchens , Ryan Moruzzi , Houston Schuerger , Ben Small

Many hard graph problems can be solved efficiently when restricted to graphs of bounded treewidth, and more generally to graphs of bounded clique-width. But there is a price to be paid for this generality, exemplified by the four problems…

Data Structures and Algorithms · Computer Science 2014-05-01 Sigve Hortemo Sæther , Jan Arne Telle

One of the most famous algorithmic meta-theorems states that every graph property that can be defined by a sentence in counting monadic second order logic (CMSOL) can be checked in linear time for graphs of bounded treewidth, which is known…

Logic in Computer Science · Computer Science 2015-09-29 Lars Jaffke , Hans L. Bodlaender

We consider the problems of finding optimal identifying codes, (open) locating-dominating sets and resolving sets (denoted IDENTIFYING CODE, (OPEN) LOCATING-DOMINATING SET and METRIC DIMENSION) of an interval or a permutation graph. In…

Discrete Mathematics · Computer Science 2017-07-17 Florent Foucaud , George B. Mertzios , Reza Naserasr , Aline Parreau , Petru Valicov

Given a graph $G = (V,E)$, $A \subseteq V$, and integers $k$ and $\ell$, the \textsc{$(A,\ell)$-Path Packing} problem asks to find $k$ vertex-disjoint paths of length $\ell$ that have endpoints in $A$ and internal points in $V \setminus A$.…

Data Structures and Algorithms · Computer Science 2020-08-11 Rémy Belmonte , Tesshu Hanaka , Masaaki Kanzaki , Masashi Kiyomi , Yasuaki Kobayashi , Yusuke Kobayashi , Michael Lampis , Hirotaka Ono , Yota Otachi