English
Related papers

Related papers: Scheduling Meets Fixed-Parameter Tractability

200 papers

Existing research on single-machine scheduling is largely focused on exact algorithms, which perform well on typical instances but can significantly deteriorate on certain regions of the problem space. In contrast, data-driven approaches…

Machine Learning · Computer Science 2025-10-08 Nikolai Antonov , Prěmysl Šůcha , Mikoláš Janota , Jan Hůla

Deep Learning has been recently recognized as one of the feasible solutions to effectively address combinatorial optimization problems, which are often considered important yet challenging in various research domains. In this work, we first…

Artificial Intelligence · Computer Science 2020-12-15 Hyunsung Lee , Michael Wang , Honguk Woo

Fixed-point iteration algorithms like RTA (response time analysis) and QPA (quick processor-demand analysis) are arguably the most popular ways of solving schedulability problems for preemptive uniprocessor FP (fixed-priority) and EDF…

Operating Systems · Computer Science 2023-08-21 Abhishek Singh

Algorithms with predictions is a recent framework that has been used to overcome pessimistic worst-case bounds in incomplete information settings. In the context of scheduling, very recent work has leveraged machine-learned predictions to…

Data Structures and Algorithms · Computer Science 2022-12-08 Eric Balkanski , Tingting Ou , Clifford Stein , Hao-Ting Wei

We introduce a parallel machine scheduling problem in which the processing times of jobs are not given in advance but are determined by a system of linear constraints. The objective is to minimize the makespan, i.e., the maximum job…

Data Structures and Algorithms · Computer Science 2015-10-30 Kameng Nip , Zhenbo Wang , Zizhuo Wang

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 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

A classic result of Lenstra [Math.~Oper.~Res.~1983] says that an integer linear program can be solved in fixed-parameter tractable (FPT) time for the parameter being the number of variables. We extend this result by incorporating…

Data Structures and Algorithms · Computer Science 2017-11-22 Robert Bredereck , Piotr Faliszewski , Rolf Niedermeier , Piotr Skowron , Nimrod Talmon

We study the parameterized complexity of the classical Edge Hamiltonian Path problem and give several fixed-parameter tractability results. First, we settle an open question of Demaine et al. by showing that Edge Hamiltonian Path is FPT…

Data Structures and Algorithms · Computer Science 2014-03-11 Michael Lampis , Kazuhisa Makino , Valia Mitsou , Yushi Uno

We consider the parameterized complexity of the problem of tracking shortest s-t paths in graphs, motivated by applications in security and wireless networks. Given an undirected and unweighted graph with a source s and a destination t,…

Data Structures and Algorithms · Computer Science 2020-08-19 Aritra Banik , Pratibha Choudhary , Venkatesh Raman , Saket Saurabh

The NP-hard MATERIAL CONSUMPTION SCHEDULING Problem and closely related problems have been thoroughly studied since the 1980's. Roughly speaking, the problem deals with minimizing the makespan when scheduling jobs that consume non-renewable…

Computer Science and Game Theory · Computer Science 2021-03-15 Matthias Bentert , Robert Bredereck , Péter Györgyi , Andrzej Kaczmarczyk , Rolf Niedermeier

Disjunctive Answer Set Programming (ASP) is a powerful declarative programming paradigm whose main decision problems are located on the second level of the polynomial hierarchy. Identifying tractable fragments and developing efficient…

Artificial Intelligence · Computer Science 2017-01-02 Bernhard Bliem , Sebastian Ordyniak , Stefan Woltran

Real-life parallel machine scheduling problems can be characterized by: (i) limited information about the exact task duration at scheduling time, and (ii) an opportunity to reschedule the remaining tasks each time a task processing is…

Optimization and Control · Mathematics 2023-11-22 Izack Cohen , Krzysztof Postek , Shimrit Shtern

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

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

We study computationally-hard fundamental motion planning problems where the goal is to translate $k$ axis-aligned rectangular robots from their initial positions to their final positions without collision, and with the minimum number of…

Computational Geometry · Computer Science 2024-03-05 Iyad Kanj , Salman Parsa

What is the minimal information that a robot must retain to achieve its task? To design economical robots, the literature dealing with reduction of combinatorial filters approaches this problem algorithmically. As lossless state compression…

Robotics · Computer Science 2024-10-15 Yulin Zhang , Dylan A. Shell

This paper studies a scheduling problem in a parallel machine setting, where each machine must adhere to a predetermined fixed order for processing the jobs. Given $n$ jobs, each with processing times and deadlines, we aim to minimize the…

Data Structures and Algorithms · Computer Science 2025-05-16 Andre Berger , Arman Rouhani , Marc Schröder

Machine scheduling problems involving conflict jobs can be seen as a constrained version of the classical scheduling problem, in which some jobs are conflict in the sense that they cannot be proceeded simultaneously on different machines.…

Data Structures and Algorithms · Computer Science 2021-02-12 Minh Hoàng Hà , Dinh Quy Ta , Trung Thanh Nguyen

The structure of Markov equivalence classes (MECs) of causal DAGs has been studied extensively. A natural question in this regard is to algorithmically find the number of MECs with a given skeleton. Until recently, the known results for…

Data Structures and Algorithms · Computer Science 2024-01-01 Vidya Sagar Sharma