English
Related papers

Related papers: Parameterized Complexity of Scheduling Problems in…

200 papers

The Workflow Satisfiability Problem (WSP) asks whether there exists an assignment of authorized users to the steps in a workflow specification, subject to certain constraints on the assignment. The problem is NP-hard even when restricted to…

Data Structures and Algorithms · Computer Science 2015-08-28 Gregory Gutin , Magnus Wahlstrom

We consider the problem of online scheduling on a single machine in order to minimize weighted flow time. The existing algorithms for this problem (STOC '01, SODA '03, FOCS '18) all require exact knowledge of the processing time of each…

Data Structures and Algorithms · Computer Science 2021-03-10 Yossi Azar , Stefano Leonardi , Noam Touitou

We consider the classical problem of Scheduling on Unrelated Machines. In this problem a set of jobs is to be distributed among a set of machines and the maximum load (makespan) is to be minimized. The processing time $p_{ij}$ of a job $j$…

Data Structures and Algorithms · Computer Science 2017-01-16 Klaus Jansen , Lars Rohwedder

We present a heuristic algorithm for solving the problem of scheduling plans of tasks. The plans are ordered vectors of tasks, and tasks are basic operations carried out by resources. Plans are tied by temporal, precedence and resource…

Artificial Intelligence · Computer Science 2021-02-09 Davide Andrea Guastella

This paper investigates concurrency-constrained scheduling problems, where the objective is to construct a schedule for a set of jobs subject to concurrency restrictions. Formally, we are given a conflict graph $G$ defined over a set of $n$…

Discrete Mathematics · Computer Science 2025-06-30 Hans L. Bodlaender , Danny Hermelin , Erik Jan van Leeuwen

The task of finding efficient production schedules for parallel machines is a challenge that arises in most industrial manufacturing domains. There is a large potential to minimize production costs through automated scheduling techniques,…

Artificial Intelligence · Computer Science 2025-12-16 Christoph Einspieler , Matthias Horn , Marie-Louise Lackner , Patrick Malik , Nysret Musliu , Felix Winter

An arithmetic progression is a sequence of integers in which the difference between any two consecutive elements is the same. We investigate the parameterized complexity of two problems related to arithmetic progressions, called Cover by…

Computational Complexity · Computer Science 2023-12-12 Ivan Bliznets , Jesper Nederlof , Krisztina Szilágyi

This paper considers parallel machine scheduling with incompatibilities between jobs. The jobs form a graph and no two jobs connected by an edge are allowed to be assigned to the same machine. In particular, we study the case where the…

Computational Complexity · Computer Science 2021-03-16 Klaus Jansen , Alexandra Lassota , Marten Maack , Tytus Pikies

This chapter compiles a number of results that apply the theory of parameterized algorithmics to the running-time analysis of randomized search heuristics such as evolutionary algorithms. The parameterized approach articulates the running…

Neural and Evolutionary Computing · Computer Science 2020-01-16 Frank Neumann , Andrew M. Sutton

In the past decade, many parameterized algorithms were developed for packing problems. Our goal is to obtain tradeoffs that improve the running times of these algorithms at the cost of computing approximate solutions. Consider a packing…

Data Structures and Algorithms · Computer Science 2015-05-05 Meirav Zehavi

An optimal solution to the problem of scheduling real-time tasks on a set of identical processors is derived. The described approach is based on solving an equivalent uniprocessor real-time scheduling problem. Although there are other…

Operating Systems · Computer Science 2011-04-19 Paul Regnier , George Lima , Ernesto Massa

We present time-constrained automata (TCA), a model for hard real-time computation in which agents behaviors are modeled by automata and constrained by time intervals. TCA actions can have multiple start time and deadlines, can be…

Logic in Computer Science · Computer Science 2010-10-28 Matthieu Lemerre , Vincent David , Christophe Aussaguès , Guy Vidal-Naquet

The knapsack problem (KP) is a very famous NP-hard problem in combinatorial optimization. Also its generalization to multiple dimensions named d-dimensional knapsack problem (d-KP) and to multiple knapsacks named multiple knapsack problem…

Computational Complexity · Computer Science 2016-11-24 Carolin Albrecht , Frank Gurski , Jochen Rethmann , Eda Yilmaz

A central problem in scheduling is to schedule $n$ unit size jobs with precedence constraints on $m$ identical machines so as to minimize the makespan. For $m=3$, it is not even known if the problem is NP-hard and this is one of the last…

Data Structures and Algorithms · Computer Science 2017-08-16 Shashwat Garg

The first-order (FO) model checking problem asks, given an FO sentence $\phi$ and a graph $G$, whether $G$ is a model of $\phi$. This problem is known to be $\mathsf{AW[*]}$-hard when parameterized by the quantifier rank of the formula. A…

Logic in Computer Science · Computer Science 2026-04-27 Jan Jedelský

Timed automata are the formal model for real-time systems. Extensions with discrete probabilistic branching have been considered in the literature and successfully applied. Probabilistic timed automata (PTA) do require all branching…

Logic in Computer Science · Computer Science 2024-03-05 Darion Haase , Joost-Pieter Katoen

The Assignment problem is a fundamental and well-studied problem in the intersection of Social Choice, Computational Economics and Discrete Allocation. In the Assignment problem, a group of agents expresses preferences over a set of items,…

Data Structures and Algorithms · Computer Science 2021-05-24 Barak Steindl , Meirav Zehavi

The lower and the upper irredundance numbers of a graph $G$, denoted $ir(G)$ and $IR(G)$ respectively, are conceptually linked to domination and independence numbers and have numerous relations to other graph parameters. It is a…

Weighted flow time is a fundamental and very well-studied objective function in scheduling. In this paper, we study the setting of a single machine with preemptions. The input consists of a set of jobs, characterized by their processing…

Data Structures and Algorithms · Computer Science 2020-11-12 Lars Rohwedder , Andreas Wiese

A strength of parameterized algorithmics is that each problem can be parameterized by an essentially inexhaustible set of parameters. Usually, the choice of the considered parameter is informed by the theoretical relations between…

Computational Complexity · Computer Science 2026-05-05 Christian Komusiewicz , Nils Morawietz , Frank Sommer , Luca Pascal Staus