Rooted Tree and Spanning Tree Constraints

Prosser, P. and Unsworth, C. (2006) Rooted Tree and Spanning Tree Constraints. Other. Dept of Computing Science, University of Glasgow.

Abstract

We present two specialised constraints for modelling trees. The first constrains a set of variables, such that each variable takes as a value the index of its parent variable, with the exception of one variable that takes as a value its own index and becomes the root, and this results in a rooted tree. The second constraint assumes that constrained variables represent edges (or multi-edges) in a graph (or multi-graph). Edges may be selected or rejected by a search process, and the constraint ensures that this process results in a spanning tree. We also present a simple graph connectivity constraint and a no-cycle constraint.

• Item Type: Research Reports or Papers (Other)
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Unsworth, Dr Chris and Prosser, Dr Patrick
• Authors: Prosser, P., and Unsworth, C.
• College/School: College of Science and Engineering > School of Computing Science
• Publisher: Dept of Computing Science, University of Glasgow