Search:
Computing and Library Services - delivering an inspiring information environment

Dual modelling of permutation and injection problems

Hnich, Brahim, Smith, Barbara M. and Walsh, Toby (2004) Dual modelling of permutation and injection problems. Journal of Artificial Intelligence Research, 21. pp. 357-391. ISSN 1076-9757

Metadata only available from this repository.

Abstract

When writing a constraint program, we have to choose which variables should be the decision variables, and how to represent the constraints on these variables. In many cases, there is considerable choice for the decision variables. Consider, for example, permutation problems in which we have as many values as variables, and each variable takes an unique value. In such problems, we can choose between a primal and a dual viewpoint. In the dual viewpoint, each dual variable represents one of the primal values, whilst each dual value represents one of the primal variables. Alternatively, by means of channelling constraints to link the primal and dual variables, we can have a combined model with both sets of variables. In this paper, we perform an extensive theoretical and empirical study of such primal, dual and combined models for two classes of problems: permutation problems and injection problems. Our results show that it often be advantageous to use multiple viewpoints, and to have constraints which channel between them to maintain consistency. They also illustrate a general methodology for comparing different constraint models

Item Type: Article
Subjects: T Technology > T Technology (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering
Depositing User: Briony Heyhoe
Date Deposited: 14 Aug 2008 16:33
Last Modified: 14 Aug 2008 16:33
URI: http://eprints.hud.ac.uk/id/eprint/1524

Item control for Repository Staff only:

View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©