Abstract:We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, we propose an O(n 4 ) algorithm which makes use of the preemptive mean busy time relaxation of the scheduling problem. The solution to this problem is used to test if an activity can start at each start time in its domain in solutions that respect the upper bound on the cost of the schedule. Empirical results show that the proposed global constraint si… Show more
“…The notion of regret and its use in the context of costbased filtering was originally introduced for dealing with constraints having a cost variable (Focacci, Lodi, and Milano 1999) and used more extensively later on, e.g. (Focacci, Lodi, and Milano 2002;Sellmann, Gellermann, and Wright 2007;Kovács and Beck 2011). This paper shows how to use this notion of regret for providing a GAC filtering algorithm for a conjunction of a linear inequality and an atleast constraint.…”
We provide a filtering algorithm achieving GAC for the conjunction of constraints atleast (b, [x(0),x(1),...,x(n-1)], V) and (a(0)*x(0) +...+ a(n-1)*x(n-1)) <= c, where the atleast constraint enforcesb variables out of x(0), x(1), ..., x(n-1) to be assigned to avalue in the set V. This work was motivated by learning simplepolynomials, i.e. finding the coefficients of polynomialsin several variables from example parameter and function values.We additionally require that coefficients be integers, andthat most coefficients be assigned to zero or integers close to0. These problems occur in the context of learning constraintmodels from sample solutions of different sizes. Experimentswith this more global filtering show an improvement by severalorders of magnitude compared to handling the constraintsin isolation or with cost gcc, while also out-performing a0/1 MIP model of the problem.
“…The notion of regret and its use in the context of costbased filtering was originally introduced for dealing with constraints having a cost variable (Focacci, Lodi, and Milano 1999) and used more extensively later on, e.g. (Focacci, Lodi, and Milano 2002;Sellmann, Gellermann, and Wright 2007;Kovács and Beck 2011). This paper shows how to use this notion of regret for providing a GAC filtering algorithm for a conjunction of a linear inequality and an atleast constraint.…”
We provide a filtering algorithm achieving GAC for the conjunction of constraints atleast (b, [x(0),x(1),...,x(n-1)], V) and (a(0)*x(0) +...+ a(n-1)*x(n-1)) <= c, where the atleast constraint enforcesb variables out of x(0), x(1), ..., x(n-1) to be assigned to avalue in the set V. This work was motivated by learning simplepolynomials, i.e. finding the coefficients of polynomialsin several variables from example parameter and function values.We additionally require that coefficients be integers, andthat most coefficients be assigned to zero or integers close to0. These problems occur in the context of learning constraintmodels from sample solutions of different sizes. Experimentswith this more global filtering show an improvement by severalorders of magnitude compared to handling the constraintsin isolation or with cost gcc, while also out-performing a0/1 MIP model of the problem.
“…These methods have been much more effective for makespan minimization than for summation cost functions, as the total flow time. Nevertheless, in [28] the authors propose a global constraint involving unary resources and weighted completion time that propagates constraints quite well. So, we plan to use this method for reducing the search space and devising better heuristic estimations for guiding the search, as it was done in [33,34] for the job shop scheduling problem with makespan minimization.…”
The job shop scheduling problem with an additional resource type has been recently proposed to model the situation where each operation in a job shop has to be assisted by one of a limited set of human operators. We confront this problem with the objective of minimizing the total flow time, which makes the problem more interesting from a practical point of view and harder to solve than the version with makespan minimization. To solve this problem we propose an enhanced dept-first search algorithm. This algorithm exploits a schedule generation schema termed OG&T , two admissible heuristics and some powerful pruning rules. In order to diversify the search, we also consider a variant of this algorithm with restarts. We have conducted an experimental study across several benchmarks. The results of this study show that the global pruning rules are really effective and that the proposed algorithms are quite competent for solving this problem.
“…Below we present experiments comparing the performance of FCFS, SP T sum , makespan and completionTime models for minimizing the mean flow time over a long time horizon in our two problem settings. The completion-Time model was implemented via constraint programming in Ilog Scheduler 6.5 and uses the completion global constraint (Kovács and Beck 2011). The remaining methods were implemented using C++.…”
Section: Mean Flow Time In Dynamic Flow Shop Environmentsmentioning
Stability analysis consists of identifying conditions under which the number of jobs in a system is guaranteed to remain bounded over time. To date, such long-run performance guarantees have not been available for periodic approaches to dynamic scheduling problems. However, stability has been extensively studied in queueing theory. In this paper, we introduce stability to the dynamic scheduling literature and demonstrate that stability guarantees can be obtained for methods that build the schedule for a dynamic problem by periodically solving static deterministic sub-problems. Specifically, we analyze the stability of two dynamic environments: a two-machine flow shop, which has received significant attention in scheduling research, and a polling system with a flow-shop server, an extension of systems typically considered in queueing. We demonstrate that, among stable policies, methods based on periodic optimization of static schedules may achieve better mean flow times than traditional queueing approaches.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.