Hostname: page-component-848d4c4894-cjp7w Total loading time: 0 Render date: 2024-06-24T21:00:57.490Z Has data issue: false hasContentIssue false

Inequality-sum: a global constraint capturing the objective function

Published online by Cambridge University Press:  15 October 2005

Jean-Charles Régin
Affiliation:
ILOG Les Taissounieres HB2 1681, route des Dolines Sophia-Antipolis, 06560 Valbonne, France; regin@ilog.fr
Michel Rueher
Affiliation:
Université de Nice–Sophia-Antipolis, Projet COPRIN I3S/CNRS-INRIA-CERMICS, ESSI, 930, route des Colles, B.P. 145, 06903 Sophia-Antipolis, France; rueher@essi.fr
Get access

Abstract

This paper introduces a new method to prune the domains of the variables in constrained optimization problems where the objective function is defined by a sum y = ∑xi, and where the integer variables xi are subject to difference constraints of the form xj - xi ≤ c. An important application area where such problems occur is deterministic scheduling with the mean flow time as optimality criteria. This new constraint is also more general than a sum constraint defined on a set of ordered variables. Classical approaches perform a local consistency filtering after each reduction of the bound of y. The drawback of these approaches comes from the fact that the constraints are handled independently. We introduce here a global constraint that enables to tackle simultaneously the whole constraint system, and thus, yields a more effective pruning of the domains of the xi when the bounds of y are reduced. An efficient algorithm, derived from Dijkstra's shortest path algorithm, is introduced to achieve interval consistency on this global constraint.

Keywords

Type
Research Article
Copyright
© EDP Sciences, 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

R.K. Ahuja, T.L. Magnanti and J.B. Orlin, Network Flows. Prentice Hall (1993).
Beldiceanu, N. and Contejean, E., Introducing global constraints in chip. J. Math. Comput. Model. 20 (1994) 97123. CrossRef
J. Blazewicz, K. Ecker, G. Schmidt and J. Weglarz, Scheduling in Computer and Manufacturing Systems. Springer-Verlag (1993).
Carlier, J. and Pinson, E., A practical use of jackson's preemptive schedule for solving the job-shop problem. Ann. Oper. Res. 26 (1990) 269287.
Dechter, R., Meiri, I. and Pearl, J., Temporal constraint networks. Artif. Intell. 49 (1991) 6195. CrossRef
Dror, M., Kubiak, W. and Dell'Olmo, P., Scheduling chains to minimize mean flow time. Inform. Process. Lett. 61 (1997) 297301. CrossRef
P. Van Hentenryck and Y. Deville, The cardinality operator: A new logical connective for constraint logic programming, in Proc. of ICLP'91 (1991) 745–759.
Van Hentenryck, P., Saraswat, V. and Deville, Y., Design, implementation, and evaluation of the constraint language cc(FD). J. Logic Program. 37 (1998) 139164. CrossRef
Rueher, M. and Régin, J.-C., A global constraint combining a sum constraint and difference constraints, in Proc. of CP'2000, Sixth International Conference on Principles and Practice of Constraint Programming. Singapore, Springer-Verlag. Lect. Notes Comput. Sci. 1894 (2000) 384395.
Leiserson, C.E. and Saxe, J.B., A mixed-integer linear programming problem which is efficiently solvable. J. Algorithms 9 (1988) 114128. CrossRef
J.-C. Régin, A filtering algorithm for constraints of difference in CSPs, in Proc. of AAAI-94. Seattle, Washington (1994) 362–367.
J.-C. Régin, Generalized arc consistency for global cardinality constraint, in Proc. of AAAI-96, Portland, Oregon (1996) 209–215.
H. Simonis, Problem classification scheme for finite domain constraint solving, in CP96, Workshop on Constraint Programming Applications: An Inventory and Taxonomy, Cambridge, MA, USA (1996) 1–26.
R.E. Tarjan, Data Structures and Network Algorithms. CBMS 44 SIAM (1983).
P. Van Hentenryck, Y. Deville and C.-M. Teng, A generic arc-consistency algorithm and its specializations. Artif. Intell. 57 (October 1992) 291–321.