| Pattern name |
MatrixModel. |
| Context |
An informal problem specification. |
| Problem |
Decision variables which occur at repeated time periods,
at repeated location, within repeated parts, ...
|
| Forces |
Similar constraints are posted on these variables. Different data applies to the different locations, time periods, parts ... |
| Solution |
Consider having a model with array(s) of decisions variables indexed by time,
location, part, ... Input the data as a separate array. |
| Example |
Rack configuration problem
prob031 in
CSPLib. |
| References |
Constraint Patterns
(pdf,
legal ps,
letter ps)
Toby Walsh. Proceedings of CP-2003, 2003. Matrix Modelling: Exploiting Common Patterns in Constraint Programming (pdf, legal ps, letter ps) P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh. Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, held alongside CP-2002, Cornell, 2002. Matrix Modelling (pdf, legal ps, letter ps) P. Flener, A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh. Proceedings of the CP-2001 Workshop on Modelling and Problem Formulation (Formul'01), 2001.
|