Advertisement

\({\cal O}(n \log n)\) Overload Checking for the Cumulative Constraint and Its Application

  • Armin Wolf
  • Gunnar Schrader
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4369)

Abstract

Overload checking is an important method for unary as well as for cumulative resource constraints in constraint-based scheduling, as it tests for a sufficient inconsistency property. While an algorithm with time complexity \({\cal O}(n \log n)\) exists that is known for unary resource constraints, to our knowledge no such algorithms have been established to date for overload checking in cumulative constraints on n tasks. In this paper, an \({\cal O}(n \log n)\) overload checking algorithm is presented as well as its application to a more specific problem domain: the non-overlapping placement of n rectangles in a two-dimensional area. There, the runtime complexity of overload checking is \({\cal O}(n^3 \log n)\).

Keywords

Schedule Problem Constraint Program Runtime Complexity Early Start Time Balance Binary Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baptiste, P., le Pape, C., Nuijten, W.: Constraint-Based Scheduling. In: International Series in Operations Research & Management Science, vol. 39. Kluwer Academic Publishers, Dordrecht (2001)Google Scholar
  2. 2.
    Beldiceanu, N., Carlsson, M.: Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 377–391. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Beldiceanu, N., Contjean, E.: Introducing global constraints in CHIP. Mathematical and Computer Modelling 12, 97–123 (1994)CrossRefGoogle Scholar
  4. 4.
    Caseau, Y., Laburthe, F.: Improved CLP scheduling with task intervals. In: van Hentenryck, P. (ed.) Proceedings of the Eleventh International Conference on Logic Programming, ICLP 1994, pp. 369–383. MIT Press, Cambridge (1994)Google Scholar
  5. 5.
    Caseau, Y., Laburthe, F.: Cumulative scheduling with task intervals. In: Maher, M.J. (ed.) Proceedings of the 13th Joint International Conference and Syposium on Logic Programming - JICSLP 1996, pp. 363–377. MIT Press, Cambridge (1996)Google Scholar
  6. 6.
    Hoche, M., Müller, H., Schlenker, H., Wolf, A.: Firstcs - A Pure Java Constraint Programming Engine. In: Hanus, M., Hofstedt, P., Wolf, A. (eds.) 2nd International Workshop on Multiparadigm Constraint Programming Languages – MultiCPL 2003, September 29 (2003), uebb.cs.tu-berlin.de/MultiCPL03/Proceedings.MultiCPL03.RCoRP03.pdf
  7. 7.
    Vilím, P.: O(n logn) filtering algorithms for unary resource constraint. In: Régin, J.-C., Rueher, M. (eds.) CPAIOR 2004. LNCS, vol. 3011, pp. 335–347. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Vilím, P., Barták, R., Čepek, O.: Unary resource constraint with optional activities. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 62–76. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Wolf, A.: Pruning while sweeping over task intervals. In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833, pp. 739–753. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  10. 10.
    Wolf, A., Schlenker, H.: Realizing the alternative resources constraint. In: Seipel, D., Hanus, M., Geske, U., Bartenstein, O. (eds.) INAP/WLP 2004. LNCS, vol. 3392, pp. 185–199. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Armin Wolf
    • 1
  • Gunnar Schrader
    • 1
  1. 1.Fraunhofer FIRSTBerlinGermany

Personalised recommendations