English
Related papers

Related papers: Reconfiguration over tree decompositions

200 papers

In the \textsc{Coloring Reconfiguration} problem, we are given two proper $k$-colorings of a graph and asked to decide whether one can be transformed into the other by repeatedly applying a specified recoloring rule, while maintaining a…

Data Structures and Algorithms · Computer Science 2025-11-11 Janosch Fuchs , Rin Saito , Tatsuhiro Suga , Takahiro Suzuki , Yuma Tamura

One of Courcelle's celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic is fixed-parameter tractable on C by linear time parameterised algorithms. An immediate…

Logic in Computer Science · Computer Science 2009-04-09 Stephan Kreutzer

A graph is said to be a Konig graph if the size of its maximum matching is equal to the size of its minimum vertex cover. The Konig Edge Deletion problem asks if in a given graph there exists a set of at most k edges whose deletion results…

Data Structures and Algorithms · Computer Science 2019-09-26 Diptapriyo Majumdar , Rian Neogi , Venkatesh Raman , S. Vaishali

The graph bisection problem is the problem of partitioning the vertex set of a graph into two sets of given sizes such that the sum of weights of edges joining these two sets is optimized. We present a semidefinite programming relaxation…

Optimization and Control · Mathematics 2016-11-23 Renata Sotirov

Graph modification problems are typically asked as follows: is there a small set of operations that transforms a given graph to have a certain property. The most commonly considered operations include vertex deletion, edge deletion, and…

Data Structures and Algorithms · Computer Science 2014-06-02 Yixin Cao , Dániel Marx

We consider the problem of finding a subgraph of a given graph which minimizes the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already when all functions are the same, we show that it…

Combinatorics · Mathematics 2023-05-30 Shmuel Onn

A vertex set $U \subseteq V$ of an undirected graph $G=(V,E)$ is a $\textit{resolving set}$ for $G$, if for every two distinct vertices $u,v \in V$ there is a vertex $w \in U$ such that the distances between $u$ and $w$ and the distance…

Computational Complexity · Computer Science 2018-06-28 Duygu Vietz , Stefan Hoffmann , Egon Wanke

This paper investigates the reconfiguration variant of the Constraint Satisfaction Problem (CSP), referred to as the Reconfiguration CSP (RCSP). Given a CSP instance and two of its solutions, RCSP asks whether one solution can be…

Data Structures and Algorithms · Computer Science 2026-03-06 Kei Kimura

Vertex deletion problems for graphs are studied intensely in classical and parameterized complexity theory. They ask whether we can delete at most k vertices from an input graph such that the resulting graph has a certain property.…

Logic in Computer Science · Computer Science 2024-06-27 Max Bannach , Florian Chudigiewitsch , Till Tantau

Combinatorial reconfiguration is a growing research field studying problems on the transformability between a pair of solutions of a search problem. We consider the approximability of optimization variants of reconfiguration problems; e.g.,…

Discrete Mathematics · Computer Science 2025-01-07 Naoto Ohsaka

We present a constraint model for the problem of producing a tree decomposition of a graph. The inputs to the model are a simple graph G, the number of nodes in the desired tree decomposition and the maximum cardinality of each node in that…

Discrete Mathematics · Computer Science 2019-08-08 Benjamin Bumpus , Patrick Prosser , James Trimble

Shifted combinatorial optimization is a new nonlinear optimization framework which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. This framework captures well…

Computational Complexity · Computer Science 2021-02-25 Jakub Gajarský , Petr Hliněný , Martin Koutecký , Shmuel Onn

It is known that problems like Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal are polynomial time solvable in the class of chordal graphs. We consider these problems in a graph that has at most $k$ vertices whose deletion…

Data Structures and Algorithms · Computer Science 2020-02-25 Ashwin Jacob , Fahad Panolan , Venkatesh Raman , Vibha Sahlot

In this paper we study the complexity of the following problems: Given a colored graph X=(V,E,c), compute a minimum cardinality set S of vertices such that no nontrivial automorphism of X fixes all vertices in S. A closely related problem…

Computational Complexity · Computer Science 2016-06-15 V. Arvind , Frank Fuhlbrück , Johannes Köbler , Sebastian Kuhnert , Gaurav Rattan

Assume we are given a graph $G$, two independent sets $S$ and $T$ in $G$ of size $k \geq 1$, and a positive integer $\ell \geq 1$. The goal is to decide whether there exists a sequence $\langle I_0, I_1, ..., I_\ell \rangle$ of independent…

Computational Complexity · Computer Science 2022-09-13 Akanksha Agrawal , Soumita Hait , Amer E. Mouawad

Motivated by the landmark resolution of the 1-2-3 Conjecture, we initiate the study of the parameterized complexity of the Vertex-Coloring {0,1}-Edge-Weighting problem and its generalization, Vertex-Coloring Pre-edge-Weighting, under…

Data Structures and Algorithms · Computer Science 2026-04-15 Shubhada Aute , Fahad Panolan , Geevarghese Philip

Constraint satisfaction problem (CSP) is a well-studied combinatorial search problem, in which we are asked to find an assignment of values to given variables so as to satisfy all of given constraints. We study a reconfiguration variant of…

Data Structures and Algorithms · Computer Science 2018-12-31 Tatsuhiko Hatanaka , Takehiro Ito , Xiao Zhou

A vertex set $S$ of a graph $G$ is geodetic if every vertex of $G$ lies on a shortest path between two vertices in $S$. Given a graph $G$ and $k \in \mathbb N$, the NP-hard Geodetic Set problem asks whether there is a geodetic set of size…

Data Structures and Algorithms · Computer Science 2020-10-01 Leon Kellerhals , Tomohiro Koana

We present a parameterized dichotomy for the \textsc{$k$-Sparsest Cut} problem in weighted and unweighted versions. In particular, we show that the weighted \textsc{$k$-Sparsest Cut} problem is NP-hard for every $k\geq 3$ even on graphs…

Computational Complexity · Computer Science 2023-04-04 Ramin Javadi , Amir Nikabadi

Given a bipartite graph $G=(U\cup V,E)$, a left-perfect many-to-one matching is a subset $M \subseteq E$ such that each vertex in $U$ is incident with exactly one edge in $M$. If $U$ is partitioned into some groups, the matching is called…

Computational Complexity · Computer Science 2024-11-28 Ramin Javadi , Hossein Shokouhi