English
Related papers

Related papers: Parameterized complexity of scheduling unit-time j…

200 papers

We study the collective schedules problem, which consists in computing a one machine schedule of a set of tasks, knowing that a set of individuals (also called voters) have preferences regarding the order of the execution of the tasks. Our…

Computer Science and Game Theory · Computer Science 2024-03-29 Martin Durand , Fanny Pascual

In this study, we investigate a scheduling problem on identical machines in which jobs require initial setup before execution. We assume that an algorithm can dynamically form a batch (i.e., a collection of jobs to be processed together)…

Data Structures and Algorithms · Computer Science 2025-07-16 Yasushi Kawase , Kazuhisa Makino , Vinh Long Phan , Hanna Sumita

We consider a basic problem of preemptive scheduling of $n$ non-simultaneously released jobs on a group of $m$ unrelated parallel machines so as to minimize maximum job completion time, the makespan. In the scheduling literature, the…

Data Structures and Algorithms · Computer Science 2022-05-06 Nodari Vakhania

The constraint satisfaction problem (CSP) involves deciding, given a set of variables and a set of constraints on the variables, whether or not there is an assignment to the variables satisfying all of the constraints. One formulation of…

Computational Complexity · Computer Science 2017-01-09 Hubie Chen , Benoit Larose

In a classical scheduling problem, we are given a set of $n$ jobs of unit length along with precedence constraints, and the goal is to find a schedule of these jobs on $m$ identical machines that minimizes the makespan. Using the standard…

Data Structures and Algorithms · Computer Science 2023-12-07 Jesper Nederlof , Céline M. F. Swennenhuis , Karol Węgrzycki

The minimum-cost arborescence problem is a well-studied problem in the area of graph theory, with known polynomial-time algorithms for solving it. Previous literature introduced new variations on the original problem with different…

Optimization and Control · Mathematics 2023-05-15 Xiaochen Chou , Mauro Dell'Amico , Jafar Jamal , Roberto Montemanni

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

Our work is motivated by the challenges presented in preparing arrays of atoms for use in quantum simulation. The recently-developed process of loading atoms into traps results in approximately half of the traps being filled. To consolidate…

Computational Complexity · Computer Science 2025-04-09 Alexandre Cooper , Stephanie Maaz , Amer E. Mouawad , Naomi Nishimura

This work proposes a unified heuristic algorithm for a large class of earliness-tardiness (E-T) scheduling problems. We consider single/parallel machine E-T problems that may or may not consider some additional features such as idle time,…

Artificial Intelligence · Computer Science 2017-01-11 Arthur Kramer , Anand Subramanian

This paper considers scheduling on identical machines. The scheduling objective considered in this paper generalizes most scheduling minimization problems. In the problem, there are $n$ jobs and each job $j$ is associated with a…

Data Structures and Algorithms · Computer Science 2019-04-23 Benjamin Moseley

The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main…

Artificial Intelligence · Computer Science 2014-07-09 David A. Cohen , Martin C. Cooper , Páidí Creed , András Z. Salamon

This paper presents a novel idea for the general case of the Common Due-Date (CDD) scheduling problem. The problem is about scheduling a certain number of jobs on a single or parallel machines where all the jobs possess different processing…

Data Structures and Algorithms · Computer Science 2014-05-07 Abhishek Awasthi , Jörg Lässig , Oliver Kramer

In moldable job scheduling, we are provided $m$ identical machines and $n$ jobs that can be executed on a variable number of machines. The execution time of each job depends on the number of machines assigned to execute that job. For the…

Data Structures and Algorithms · Computer Science 2026-01-07 Klaus Jansen , Felix Ohnesorge

Typestate systems ensure many desirable properties of imperative programs, including initialization of object fields and correct use of stateful library interfaces. Abstract sets with cardinality constraints naturally generalize typestate…

Programming Languages · Computer Science 2013-02-14 Bruno Marnette , Viktor Kuncak , Martin Rinard

In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of V\"a\"an\"anen from 2007. We study a propositional variant of this logic (PDL)…

Logic in Computer Science · Computer Science 2020-06-16 Yasir Mahmood , Arne Meier

We consider the problem of assigning tasks to agents under time conflicts, with applications also to frequency allocations in point-to-point wireless networks. In particular, we are given a set $V$ of $n$ agents, a set $E$ of $m$ tasks, and…

Discrete Mathematics · Computer Science 2020-09-01 Alessandro Aloisio , Vahan Mkrtchyan

In this paper we consider the classic scheduling problem of minimizing total weighted completion time on unrelated machines when jobs have release times, i.e, $R | r_{ij} | \sum_j w_j C_j$ using the three-field notation. For this problem, a…

Data Structures and Algorithms · Computer Science 2016-06-29 Sungjin Im , Shi Li

We consider a natural generalization of classical scheduling problems in which using a time unit for processing a job causes some time-dependent cost which must be paid in addition to the standard scheduling cost. We study the scheduling…

Data Structures and Algorithms · Computer Science 2018-12-03 Lin Chen , Nicole Megow , Roman Rischke , Leen Stougie , José Verschae

For a first-order theory $T$, the Constraint Satisfaction Problem of $T$ is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of $T$. In this article we develop sufficient…

Logic · Mathematics 2020-12-03 Manuel Bodirsky , Johannes Greiner
‹ Prev 1 4 5 6 7 8 10 Next ›