English
Related papers

Related papers: Tight Lower Bounds for the Workflow Satisfiability…

200 papers

Many NP-hard problems, such as Dominating Set, are FPT parameterized by clique-width. For graphs of clique-width $k$ given with a $k$-expression, Dominating Set can be solved in $4^k n^{O(1)}$ time. However, no FPT algorithm is known for…

Discrete Mathematics · Computer Science 2015-01-05 Sang-il Oum , Sigve Hortemo Sæther , Martin Vatshelle

We address single machine problems with optional jobs - rejection, studied recently in Zhang et al. [21] and Cao et al. [2]. In these papers, the authors focus on minimizing regular performance measures, i.e., functions that are…

Discrete Mathematics · Computer Science 2018-02-02 Baruch Mor , Dana Shapira

The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c^n) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special…

Computational Complexity · Computer Science 2017-06-20 Peter Jonsson , Victor Lagerkvist , Biman Roy

Upward planarity testing and Rectilinear planarity testing are central problems in graph drawing. It is known that they are both NP-complete, but XP when parameterized by treewidth. In this paper we show that these two problems are…

Computational Geometry · Computer Science 2023-09-06 Bart M. P. Jansen , Liana Khazaliya , Philipp Kindermann , Giuseppe Liotta , Fabrizio Montecchiani , Kirill Simonov

In the \textsc{Maximum Degree Contraction} problem, input is a graph $G$ on $n$ vertices, and integers $k, d$, and the objective is to check whether $G$ can be transformed into a graph of maximum degree at most $d$, using at most $k$ edge…

Data Structures and Algorithms · Computer Science 2020-09-25 Saket Saurabh , Prafullkumar Tale

The task of scheduling jobs to machines while minimizing the total makespan, the sum of weighted completion times, or a norm of the load vector, are among the oldest and most fundamental tasks in combinatorial optimization. Since all of…

Data Structures and Algorithms · Computer Science 2020-09-25 Martin Koutecký , Johannes Zink

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter clique-width, Hamiltonian Cycle becomes…

Data Structures and Algorithms · Computer Science 2014-11-24 Sigve Hortemo Sæther

We study a variant of Min Cost Flow in which the flow needs to be connected. Specifically, in the Connected Flow problem one is given a directed graph $G$, along with a set of demand vertices $D \subseteq V(G)$ with demands $\mathsf{dem}: D…

Data Structures and Algorithms · Computer Science 2021-07-21 Isja Mannens , Jesper Nederlof , Céline Swennenhuis , Krisztina Szilágyi

Local search is a widely-employed strategy for finding good solutions to Traveling Salesman Problem. We analyze the problem of determining whether the weight of a given cycle can be decreased by a popular $k$-opt move. Earlier work has…

Data Structures and Algorithms · Computer Science 2019-09-04 Édouard Bonnet , Yoichi Iwata , Bart M. P. Jansen , Łukasz Kowalik

Scheduling problems are fundamental in combinatorial optimization. Much work has been done on approximation algorithms for NP-hard cases, but relatively little is known about exact solutions when some part of the input is a fixed parameter.…

Data Structures and Algorithms · Computer Science 2018-01-09 Dušan Knop , Martin Koutecký

One of the most fundamental problems in Computer Science is the Knapsack problem. Given a set of n items with different weights and values, it asks to pick the most valuable subset whose total weight is below a capacity threshold T. Despite…

Data Structures and Algorithms · Computer Science 2018-07-16 Kyriakos Axiotis , Christos Tzamos

We study pseudo-polynomial time algorithms for the fundamental \emph{0-1 Knapsack} problem. Recent research interest has focused on its fine-grained complexity with respect to the number of items $n$ and the \emph{maximum item weight}…

Data Structures and Algorithms · Computer Science 2024-04-02 Ce Jin

The $1|B,r_j|\sum w_jU_j$ scheduling problem takes as input a batch setup time $\Delta$ and a set of $n$ jobs, each having a processing time, a release date, a weight, and a due date; the task is to find a sequence of batches that minimizes…

Data Structures and Algorithms · Computer Science 2019-11-28 Danny Hermelin , Matthias Mnich , Simon Omlor

We study the approximability of two related problems on graphs with $n$ nodes and $m$ edges: $n$-Pairs Shortest Paths ($n$-PSP), where the goal is to find a shortest path between $O(n)$ prespecified pairs, and All Node Shortest Cycles…

Data Structures and Algorithms · Computer Science 2022-09-21 Mina Dalirrooyfard , Ce Jin , Virginia Vassilevska Williams , Nicole Wein

In this paper we consider the open shop scheduling problem where the jobs have delivery times. The minimization criterion is the maximum lateness of the jobs. This problem is known to be NP-hard, even restricted to only 2 machines. We…

Data Structures and Algorithms · Computer Science 2017-06-08 Imed Kacem , Christophe Rapine

This article is devoted to propose some lower and upper bounds for the coupled-tasks scheduling problem in presence of compatibility constraints according to classical complexity hypothesis ($\mathcal{P} \neq \mathcal{NP}$,…

Computational Complexity · Computer Science 2017-06-08 Rodolphe Giroudeau , Jean-Claude König , Benoit Darties , Gilles Simonin

In the $k$-Cut problem, we are given an edge-weighted graph $G$ and an integer $k$, and have to remove a set of edges with minimum total weight so that $G$ has at least $k$ connected components. Prior work on this problem gives, for all $h…

Data Structures and Algorithms · Computer Science 2017-10-25 Anupam Gupta , Euiwoong Lee , Jason Li

Given $k$ collections of 2SAT clauses on the same set of variables $V$, can we find one assignment that satisfies a large fraction of clauses from each collection? We consider such simultaneous constraint satisfaction problems, and design…

Data Structures and Algorithms · Computer Science 2014-07-30 Amey Bhangale , Swastik Kopparty , Sushant Sachdeva

We determine the exact threshold of satisfiability for random instances of a particular NP-complete constraint satisfaction problem (CSP). This is the first random CSP model for which we have determined a precise linear satisfiability…

Discrete Mathematics · Computer Science 2012-02-06 Harold Connamacher , Michael Molloy

Kallampally and Tewari showed in 2016 that there can be a trade-off between determinism and time in space-bounded computations. This they did by describing an unambiguous non-deterministic algorithm to solve Directed Graph Reachability that…

Computational Complexity · Computer Science 2025-04-16 Ronak Bhadra , Raghunath Tewari