English
Related papers

Related papers: Parameterized Complexity of MinCSP over the Point …

200 papers

There has been intensive work on the parameterized complexity of the typically NP-hard task to edit undirected graphs into graphs fulfilling certain given vertex degree constraints. In this work, we lift the investigations to the case of…

Discrete Mathematics · Computer Science 2018-02-01 Robert Bredereck , Vincent Froese , Marcel Koseler , Marcelo Garlet Millani , André Nichterlein , Rolf Niedermeier

A valued constraint satisfaction problem (VCSP) instance $(V,\Pi,w)$ is a set of variables $V$ with a set of constraints $\Pi$ weighted by $w$. Given a VCSP instance, we are interested in a re-weighted sub-instance $(V,\Pi'\subset \Pi,w')$…

Data Structures and Algorithms · Computer Science 2015-09-08 Arnold Filtser , Robert Krauthgamer

The constraint satisfaction problem (CSP) on a relational structure B is to decide, given a set of constraints on variables where the relations come from B, whether or not there is a assignment to the variables satisfying all of the…

Logic in Computer Science · Computer Science 2014-06-03 Hubie Chen

The Chance-Constrained Parallel Machine Scheduling Problem (CC-PMSP) assigns jobs with uncertain processing times to machines, ensuring that each machine's availability constraints are met with a certain probability. We present a…

Optimization and Control · Mathematics 2025-04-30 Nicolás Casassus , Margarita Castro , Gustavo Angulo

The Workflow Satisfiability Problem (WSP) is a problem of practical interest that arises whenever tasks need to be performed by authorized users, subject to constraints defined by business rules. We are required to decide whether there…

Computational Complexity · Computer Science 2014-09-26 Gregory Gutin , Stefan Kratsch , Magnus Wahlström

A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost functions on a finite domain. An instance of the problem is specified by a sum of cost functions from the…

Computational Complexity · Computer Science 2015-11-24 Johan Thapper , Stanislav Zivny

We study the set of solutions to a parameterized, strongly convex optimization problem whose cost depends on uncertain, bounded parameters. We compute a certified outer approximation of the corresponding set of optimizers, using convergence…

Optimization and Control · Mathematics 2026-05-01 Brendan Gould , Chih-Yuan Chiu , Antoine P. Leeman , Kyriakos G. Vamvoudakis , Samuel Coogan , Glen Chou

We consider a constrained Markov Decision Problem (CMDP) where the goal of an agent is to maximize the expected discounted sum of rewards over an infinite horizon while ensuring that the expected discounted sum of costs exceeds a certain…

Machine Learning · Computer Science 2024-11-01 Washim Uddin Mondal , Vaneet Aggarwal

In a Subgraph Problem we are given some graph and want to find a feasible subgraph that optimizes some measure. We consider Multistage Subgraph Problems (MSPs), where we are given a sequence of graph instances (stages) and are asked to find…

Data Structures and Algorithms · Computer Science 2023-06-16 Markus Chimani , Niklas Troost , Tilo Wiedera

The Steiner Multicut problem asks, given an undirected graph G, terminals sets T1,...,Tt $\subseteq$ V(G) of size at most p, and an integer k, whether there is a set S of at most k edges or nodes s.t. of each set Ti at least one pair of…

Data Structures and Algorithms · Computer Science 2015-06-24 Karl Bringmann , Danny Hermelin , Matthias Mnich , Erik Jan van Leeuwen

Given a directed graph $D$ on $n$ vertices and a positive integer $k$, the Arc-Disjoint Cycle Packing problem is to determine whether $D$ has $k$ arc-disjoint cycles. This problem is known to be W[1]-hard in general directed graphs. In this…

Data Structures and Algorithms · Computer Science 2018-02-21 R. Krithika , Abhishek Sahu , Saket Saurabh , Meirav Zehavi

We study the knapsack problem with graph theoretic constraints. That is, we assume that there exists a graph structure on the set of items of knapsack and the solution also needs to satisfy certain graph theoretic properties on top of…

Data Structures and Algorithms · Computer Science 2024-01-25 Palash Dey , Sudeshna Kolay , Sipra Singh

We present a general technique, based on parametric search with some twist, for solving a variety of optimization problems on a set of semi-algebraic geometric objects of constant complexity. The common feature of these problems is that…

Computational Geometry · Computer Science 2022-07-15 Matthew J. Katz , Micha Sharir

In this thesis, we present new techniques to deal with fundamental algorithmic graph problems where graphs are directed and partially dynamic, i.e. undergo either a sequence of edge insertions or deletions: - Single-Source Reachability…

Data Structures and Algorithms · Computer Science 2020-11-30 Maximilian Probst Gutenberg

Motivated by a phylogeny reconstruction problem in evolutionary biology, we study the minimum Steiner arborescence problem on directed hypercubes (MSA-DH). Given $m$, representing the directed hypercube $\vec{Q}_m$, and a set of terminals…

Data Structures and Algorithms · Computer Science 2024-05-15 Sugyani Mahapatra , Manikandan Narayanan , N S Narayanaswamy

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

In this paper, we study the Eulerian Strong Component Arc Deletion problem, where the input is a directed multigraph and the goal is to delete the minimum number of arcs to ensure every strongly connected component of the resulting digraph…

Data Structures and Algorithms · Computer Science 2025-07-04 Václav Blažej , Satyabrata Jana , M. S. Ramanujan , Peter Strulo

The paper presents an algebraic framework for optimization problems expressible as Valued Constraint Satisfaction Problems. Our results generalize the algebraic framework for the decision version (CSPs) provided by Bulatov et al. [SICOMP…

Computational Complexity · Computer Science 2016-05-03 Marcin Kozik , Joanna Ochremiak

In the minimum Multicut problem, the input is an edge-weighted supply graph $G=(V,E)$ and a simple demand graph $H=(V,F)$. Either $G$ and $H$ are directed (DMulC) or both are undirected (UMulC). The goal is to remove a minimum weight set of…

Discrete Mathematics · Computer Science 2016-08-01 Chandra Chekuri , Vivek Madan

We consider the problem of layering general directed graphs under height and possibly also width constraints. Given a directed graph G = (V,A) and a maximal height, we propose a layering approach that minimizes a weighted sum of the number…

Data Structures and Algorithms · Computer Science 2016-09-08 Adalat Jabrayilov , Sven Mallach , Petra Mutzel , Ulf Rüegg , Reinhard von Hanxleden