English
Related papers

Related papers: On the Parameterized Complexity of Reconfiguration…

200 papers

Given a simple connected undirected graph G = (V, E), a set X \subseteq V(G), and integers k and p, STEINER SUBGRAPH EXTENSION problem asks if there exists a set S \supseteq X with at most k vertices such that G[S] is p-edge-connected. This…

Data Structures and Algorithms · Computer Science 2025-10-07 Eduard Eiben , Diptapriyo Majumdar , M. S. Ramanujan

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

In graph modification problems, one is given a graph G and the goal is to apply a minimum number of modification operations (such as edge deletions) to G such that the resulting graph fulfills a certain property. For example, the Cluster…

Data Structures and Algorithms · Computer Science 2016-06-13 Christian Komusiewicz , André Nichterlein , Rolf Niedermeier

In this work, we initiate the complexity study of Biclique Contraction and Balanced Biclique Contraction. In these problems, given as input a graph G and an integer k, the objective is to determine whether one can contract at most k edges…

Data Structures and Algorithms · Computer Science 2026-01-15 R. Krithika , V. K. Kutty Malu , Roohani Sharma , Prafullkumar Tale

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

We introduce in a general setting a dynamic programming method for solving reconfiguration problems. Our method is based on contracted solution graphs, which are obtained from solution graphs by performing an appropriate series of edge…

Data Structures and Algorithms · Computer Science 2018-07-13 Paul Bonsma , Daniel Paulusma

We discuss approximability and inapproximability in FPT-time for a large class of subset problems where a feasible solution $S$ is a subset of the input data and the value of $S$ is $|S|$. The class handled encompasses many well-known…

Computational Complexity · Computer Science 2013-10-22 Edouard Bonnet , Vangelis Th. Paschos

The goal in {\em reconfiguration problems} is to compute a {\em gradual transformation} between two feasible solutions of a problem such that all intermediate solutions are also feasible. In the {\em Matching Reconfiguration Problem} (MRP),…

Data Structures and Algorithms · Computer Science 2020-05-07 Noam Solomon , Shay Solomon

We study the parameterized and kernelization complexity of the s-Club Cluster Edge Deletion problem, a distance-bounded generalization of Cluster Edge Deletion. Given a graph G = (V, E) and integers k and s, the goal is to delete at most k…

Discrete Mathematics · Computer Science 2025-11-04 Ajinkya Gaikwad

One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph…

Data Structures and Algorithms · Computer Science 2023-11-03 Johannes Rauch , Dieter Rautenbach , Uéverton S. Souza

Given a graph $G = (V,E)$, a threshold function $t~ :~ V \rightarrow \mathbb{N}$ and an integer $k$, we study the Harmless Set problem, where the goal is to find a subset of vertices $S \subseteq V$ of size at least $k$ such that every…

Computational Complexity · Computer Science 2022-01-27 Ajinkya Gaikwad , Soumen Maity

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

We study two variants of \textsc{Maximum Cut}, which we call \textsc{Connected Maximum Cut} and \textsc{Maximum Minimal Cut}, in this paper. In these problems, given an unweighted graph, the goal is to compute a maximum cut satisfying some…

Data Structures and Algorithms · Computer Science 2019-08-12 Hiroshi Eto , Tesshu Hanaka , Yasuaki Kobayashi , Yusuke Kobayashi

A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The problem: given a propositional logic program P and a non-negative integer k, decide whether P has a stable…

Logic in Computer Science · Computer Science 2007-05-23 Zbigniew Lonc , Miroslaw Truszczynski

This paper investigates the complexity of finding secluded paths in graphs. We focus on the \textsc{Short Secluded Path} problem and a natural new variant we introduce, \textsc{Shortest Secluded Path}. Formally, given an undirected graph…

Data Structures and Algorithms · Computer Science 2026-04-07 Tesshu Hanaka , Daisuke Tsuru

Given a graph G, a matching is a subset of edges of G that do not share an endpoint. A matching M is uniquely restricted if the subgraph induced by the endpoints of the edges of M has exactly one perfect matching. Given a graph G and a…

Data Structures and Algorithms · Computer Science 2025-08-19 Juhi Chaudhary , Ignasi Sau , Meirav Zehavi

The question if a given partial solution to a problem can be extended reasonably occurs in many algorithmic approaches for optimization problems. For instance, when enumerating minimal dominating sets of a graph $G=(V,E)$, one usually…

Computational Complexity · Computer Science 2018-10-11 Katrin Casel , Henning Fernau , Mehdi Khosravian Ghadikolaei , Jérôme Monnot , Florian Sikora

The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization". In this paper we introduce and explore a novel but general form of parameterization: the number of…

Data Structures and Algorithms · Computer Science 2015-05-19 Michael R. Fellows , Serge Gaspers , Frances A. Rosamond

Repair operators are often used for constraint handling in constrained combinatorial optimization. We investigate the (1+1)~EA equipped with a tailored jump-and-repair operation that can be used to probabilistically repair infeasible…

Neural and Evolutionary Computing · Computer Science 2023-01-24 Luke Branson , Andrew M. Sutton

A workflow specification defines a set of steps and the order in which those steps must be executed. Security requirements may impose constraints on which groups of users are permitted to perform subsets of those steps. A workflow…

Cryptography and Security · Computer Science 2013-01-10 Jason Crampton , Gregory Gutin , Anders Yeo
‹ Prev 1 3 4 5 6 7 10 Next ›