4.3 Article

Scheduling meets n-fold integer programming

Journal

JOURNAL OF SCHEDULING
Volume 21, Issue 5, Pages 493-503

Publisher

SPRINGER
DOI: 10.1007/s10951-017-0550-0

Keywords

Fixed parameterized tractability; Scheduling on parallel machines

Funding

  1. GA CR [17-09142S]
  2. CE-ITI grant Project of GA CR [P202/12/G061]
  3. [SVV-2017-260452]
  4. [1784214]
  5. [338216 GA UK]

Ask authors/readers for more resources

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. In this paper, we continue this study and show that several additional cases of fundamental scheduling problems are fixed-parameter tractable for some natural parameters. Our main tool is n-fold integer programming, a recent variable dimension technique which we believe to be highly relevant for the parameterized complexity community. This paper serves to showcase and highlight this technique. Specifically, we show the following four scheduling problems to be fixed-parameter tractable, where pmax is the maximum processing time of a job and wmax is the maximum weight of a job: Makespan minimization on uniformly related machines (Q parallel to C-max) parameterized by p(max), Makespan minimization on unrelated machines (R parallel to C-max) parameterized by pmax and the number of kinds of machines (defined later), Sum of weighted completion times minimization on unrelated machines parameterized by pmax + wmax and the number of kinds of machines, The same problem, parameterized by the number of distinct job times and the number of machines.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.3
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

Article Operations Research & Management Science

Integer programming in parameterized complexity: Five miniatures

Tomas Gavenciak, Martin Koutecky, Dusan Knop

Summary: Powerful results from the theory of integer programming have led to substantial advances in parameterized complexity. However, there is still limited understanding in the parameterized complexity community of the strengths and limitations of the available tools. This study aims to address this issue by providing a quick reference guide of integer programming algorithms and demonstrating their applications in three case studies.

DISCRETE OPTIMIZATION (2022)

Article Operations Research & Management Science

Approximate separable multichoice optimization over monotone systems

Martin Koutecky, Asaf Levin, Syed M. Meesum, Shmuel Onn

Summary: This article studies the problem of separable multichoice optimization and provides approximate solutions on monotone systems. The results show that these problems can be solved with close-to-optimal solutions in polynomial time.

DISCRETE OPTIMIZATION (2022)

Article Computer Science, Theory & Methods

Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters

Robert Bredereck, Klaus Heeger, Dusan Knop, Rolf Niedermeier

Summary: In this paper, we investigate the parameterized complexity analysis of the NP-hard STABLE ROOMMATES WITH TIES AND INCOMPLETE LISTS problem and present several important results. We show that computing a maximum-cardinality stable matching is hard for acceptability graphs with bounded treedepth, bounded tree-cut width, and bounded disjoint paths modulator number. Furthermore, we demonstrate that asking for perfect stable matchings or the mere existence of a stable matching is fixed-parameter tractable with respect to tree-cut width but not with respect to treedepth. Additionally, we provide fixed-parameter tractability results for the parameter feedback edge set number.

INFORMATION AND COMPUTATION (2022)

Article Computer Science, Software Engineering

High-multiplicity N-fold IP via configuration LP

Dusan Knop, Martin Koutecky, Asaf Levin, Matthias Mnich, Shmuel Onn

Summary: This paper studies high-multiplicity N-fold integer programs and presents a corresponding algorithm. The algorithm is capable of solving this type of problem in polynomial time based on the size of the succinct encoding, which can be significantly smaller than the size of the explicit instance. Furthermore, the paper introduces a novel proximity theorem and generalizes a fundamental notion.

MATHEMATICAL PROGRAMMING (2023)

Article Operations Research & Management Science

Constant factor approximation for tracking paths and fault tolerant feedback vertex set

Vaclav Blazej, Pratibha Choudhary, Dusan Knop, Jan Matyas Kristian, Ondrej Suchy, Tomas Valla

Summary: This work focuses on solving the tracking paths problem in vertex-weighted graphs. A 6-approximation algorithm is derived for weighted graphs, and a 4-approximation algorithm is obtained for unweighted graphs. It is the first constant factor approximation for this problem.

DISCRETE OPTIMIZATION (2023)

Article Computer Science, Information Systems

Polynomial kernels for tracking shortest paths

Vaclav Blazej, Pratibha Choudhary, Dusan Knop, Jan Matyas Kristan, Ondrej Suchy, Tomas Valla

Summary: This paper presents a polynomial size kernel and a kernel in planar graphs for the TRACKING SHORTEST PATHS problem, along with a single exponential algorithm for solving the problem in planar graphs.

INFORMATION PROCESSING LETTERS (2023)

Correction Computer Science, Theory & Methods

Opinion diffusion and campaigning on society graphs (vol 32, pg 1162, 2022)

Piotr Faliszewski, Rica Gonen, Martin Koutecky, Nimrod Talmon

JOURNAL OF LOGIC AND COMPUTATION (2023)

Article Automation & Control Systems

Fine-grained view on bribery for group identification

Niclas Boehmer, Robert Bredereck, Dusan Knop, Junjie Luo

Summary: Given a set of agents with qualifications, this study aims to identify a socially qualified subgroup based on specific aggregation rules. The article provides a comprehensive understanding of the computational complexity landscape and explores various aspects of bribery, including cost, price, and goals.

AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2023)

Proceedings Paper Computer Science, Software Engineering

Heuristics for Opinion Diffusion via Local Elections

Rica Gonen, Martin Koutecky, Roei Menashof, Nimrod Talmon

Summary: This research focuses on a more complex model of opinion diffusion, considering approval-based or ordinal-based preferences and diffusion processes influenced by local voting rules. The proposed greedy and local search heuristics perform well on real world and synthetic instances, with different parameters affecting the runtime and quality of solutions.

SOFSEM 2023: THEORY AND PRACTICE OF COMPUTER SCIENCE (2023)

Article Computer Science, Artificial Intelligence

Hedonic diversity games: A complexity picture with more than two colors

Robert Ganian, Thekla Hamm, Dusan Knop, Simon Schierreich, Ondrej Suchy

Summary: This article introduces a variant of hedonic games called hedonic diversity games, which aims to better model diversity and fairness. New algorithms are designed and parameterized complexity analysis is provided for computing the outcomes of these games.

ARTIFICIAL INTELLIGENCE (2023)

Proceedings Paper Computer Science, Artificial Intelligence

Balancing the Spread of Two Opinions in Sparse Social Networks (Student Abstract)

Dusan Knop, Simon Schierreich, Ondrej Suchy

Summary: The study proposes a new discrete model and presents a problem based on social networks. The goal of the study is to add as few agents as possible to initially given seed-sets so that each agent either has both opinions or none. The computational complexity of the problem is explored, and it is found to be a challenging problem. Further investigation is conducted from a parametrized perspective.

THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE (2022)

Proceedings Paper Computer Science, Artificial Intelligence

Controlling the Spread of Two Secrets in Diverse Social Networks

Vaclav Blazej, Dusan Knop, Simon Schierreich

Summary: Information diffusion in social networks is a well-studied concept. This study proposes the study of the diffusion of two secrets in a heterogeneous environment and explores parameterized approaches.

THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE (2022)

Proceedings Paper Computer Science, Artificial Intelligence

Hedonic Diversity Games: A Complexity Picture with More than Two Colors

Robert Ganian, Thekla Hamm, Dusan Knop, Simon Schierreich, Ondrej Suchy

Summary: This paper investigates a variant of Hedonic games called Hedonic diversity games, aiming to better explore diversity and fairness. By designing new algorithms and providing lower bounds, a complete parameterized-complexity picture is presented for computing Nash and individually stable outcomes. The study reveals that, apart from two trivial cases, a necessary condition for tractability in Hedonic diversity games is that the number of colors is bounded by the parameter.

THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / THE TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE (2022)

No Data Available