English
Related papers

Related papers: Tight Lower Bounds for the Workflow Satisfiability…

200 papers

A central problem in parameterized algorithms is to obtain algorithms with running time $f(k)\cdot n^{O(1)}$ such that $f$ is as slow growing function of the parameter $k$ as possible. In particular, a large number of basic parameterized…

Computational Complexity · Computer Science 2019-02-26 Daniel Lokshtanov , Daniel Marx , Saket Saurabh

In the last two decades the study of random instances of constraint satisfaction problems (CSPs) has flourished across several disciplines, including computer science, mathematics and physics. The diversity of the developed methods, on the…

Combinatorics · Mathematics 2025-07-02 Konstantinos Panagiotou , Matija Pasch

We study the optimization version of constraint satisfaction problems (Max-CSPs) in the framework of parameterized complexity; the goal is to compute the maximum fraction of constraints that can be satisfied simultaneously. In standard…

Computational Complexity · Computer Science 2018-04-24 Holger Dell , Eun Jung Kim , Michael Lampis , Valia Mitsou , Tobias Mömke

In this study, we investigate a robust single-machine scheduling problem under processing time uncertainty. The uncertainty is modeled using the budgeted approach, where each job has a nominal and deviation processing time, and the number…

Discrete Mathematics · Computer Science 2026-02-04 Noam Goldberg , Dvir Shabtay

In the Time-Windows Unsplittable Flow on a Path problem (twUFP) we are given a resource whose available amount changes over a given time interval (modeled as the edge-capacities of a given path $G$) and a collection of tasks. Each task is…

Data Structures and Algorithms · Computer Science 2025-03-25 Alexander Armbruster , Fabrizio Grandoni , Edin Husić , Antoine Tinguely , Andreas Wiese

A prominent problem in scheduling theory is the weighted flow time problem on one machine. We are given a machine and a set of jobs, each of them characterized by a processing time, a release time, and a weight. The goal is to find a…

Data Structures and Algorithms · Computer Science 2023-08-14 Alexander Armbruster , Lars Rohwedder , Andreas Wiese

We consider the classic problem of scheduling a set of n jobs non-preemptively on a single machine. Each job j has non-negative processing time, weight, and deadline, and a feasible schedule needs to be consistent with chain-like precedence…

Data Structures and Algorithms · Computer Science 2015-07-06 Hossein Efsandiari , MohammadTaghi Hajiaghyi , Jochen Koenemann , Hamid Mahini , David Malec , Laura Sanita

First proposed by Wang and Li in 2007, workflow resiliency is a policy analysis for ensuring that, even when an adversarial environment removes a subset of workers from service, a workflow can still be instantiated to satisfy all the…

Cryptography and Security · Computer Science 2018-09-27 Philip W. L. Fong

In this work, we study a range of constrained versions of the $k$-supplier and $k$-center problems such as: capacitated, fault-tolerant, fair, etc. These problems fall under a broad framework of constrained clustering. A unified framework…

Data Structures and Algorithms · Computer Science 2021-10-28 Dishant Goyal , Ragesh Jaiswal

The problem of maximizing the $p$-th power of a $p$-norm over a halfspace-presented polytope in $\R^d$ is a convex maximization problem which plays a fundamental role in computational convexity. It has been shown in 1986 that this problem…

Computational Complexity · Computer Science 2013-07-25 Christian Knauer , Stefan König , Daniel Werner

The Traveling Salesman Problem (TSP) in the $d$-dimensional Euclidean space is among the oldest and most famous NP-hard optimization problems. In breakthrough works, Arora [J. ACM 1998] and Mitchell [SICOMP 1999] gave the first polynomial…

Data Structures and Algorithms · Computer Science 2025-04-07 Tobias Mömke , Hang Zhou

This paper considers the scheduling of stochastic jobs on parallel identical machines to minimize the expected total weighted completion time. While this is a classical problem with a significant body of research on approximation algorithms…

Data Structures and Algorithms · Computer Science 2026-01-27 Benjamin Moseley , Kirk Pruhs , Marc Uetz , Rudy Zhou

Single Source Shortest Paths ($\textrm{SSSP}$) is among the most well-studied problems in computer science. In the incremental (resp. decremental) setting, the goal is to maintain distances from a fixed source in a graph undergoing edge…

Data Structures and Algorithms · Computer Science 2024-07-16 Barna Saha , Virginia Vassilevska Williams , Yinzhan Xu , Christopher Ye

The Knapsack problem is one of the most fundamental NP-complete problems at the intersection of computer science, optimization, and operations research. A recent line of research worked towards understanding the complexity of…

Data Structures and Algorithms · Computer Science 2024-02-27 Karl Bringmann

We prove that there is no fpt-algorithm that can approximate the dominating set problem with any constant ratio, unless FPT= W[1]. Our hardness reduction is built on the second author's recent W[1]-hardness proof of the biclique problem.…

Computational Complexity · Computer Science 2015-11-17 Yijia Chen , Bingkai Lin

Recent work has shown that many problems of satisfiability and resiliency in workflows may be viewed as special cases of the authorization policy existence problem (APEP), which returns an authorization policy if one exists and 'No'…

Data Structures and Algorithms · Computer Science 2021-07-15 Jason Crampton , Eduard Eiben , Gregory Gutin , Daniel Karapetyan , Diptapriyo Majumdar

We study the problem of non-preemptively scheduling $n$ jobs, each job $j$ with a release time $t_j$, a deadline $d_j$, and a processing time $p_j$, on $m$ parallel identical machines. Cieliebak et al. (2004) considered the two constraints…

Data Structures and Algorithms · Computer Science 2017-05-25 René van Bevern , Rolf Niedermeier , Ondřej Suchý

An upper dominating set is a minimal dominating set in a graph. In the \textsc{Upper Dominating Set} problem, the goal is to find an upper dominating set of maximum size. We study the complexity of parameterized algorithms for \textsc{Upper…

Data Structures and Algorithms · Computer Science 2021-01-20 Louis Dublois , Michael Lampis , Vangelis Th. Paschos

The (Non-Preemptive) Throughput Maximization problem is a natural and fundamental scheduling problem. We are given $n$ jobs, where each job $j$ is characterized by a processing time and a time window, contained in a global interval $[0,T)$,…

Data Structures and Algorithms · Computer Science 2026-04-01 Alexander Armbruster , Fabrizio Grandoni , Antoine Tinguely , Andreas Wiese

The Windows Scheduling Problem, also known as the Pinwheel Problem, is to schedule periodic jobs subject to their processing frequency demands. Instances are given as a set of jobs that have to be processed infinitely often such that the…

Computational Complexity · Computer Science 2014-10-28 Tobias Jacobs , Salvatore Longo