Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities

  • Authors:
  • Petr Vilím;Roman Barták;Ondřej Čepek

  • Affiliations:
  • Faculty of Mathematics and Physics, Charles University, Praha, Czech Republic 1;Faculty of Mathematics and Physics, Charles University, Praha, Czech Republic 1;Faculty of Mathematics and Physics, Charles University, Praha, Czech Republic 1

  • Venue:
  • Constraints
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among these global constraints, edge-finding and not-first/not-last are the most popular filtering algorithms for unary resources. In this paper we introduce new O(n log n) versions of these two filtering algorithms and one more O(n log n) filtering algorithm called detectable precedences. These algorithms use a special data structures 驴-tree and 驴-驴-tree. These data structures are especially designed for "what-if" reasoning about a set of activities so we also propose to use them for handling so called optional activities, i.e. activities which may or may not appear on the resource. In particular, we propose new O(n log n) variants of filtering algorithms which are able to handle optional activities: overload checking, detectable precedences and not-first/not-last.