Prosser, P. (2010) Triangle packing with constraint programming. In: 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010), St. Andrews. U.K, 06 - 10 Sep 2010, pp. 88-102.
|
Text
43754.pdf - Accepted Version 760kB |
Abstract
In vertex disjoint triangle packing we are given a simple undirected graph G and we have to select the maximum number of triangles such that each triangle is composed of three adjacent vertices and each pair of triangles selected has no vertex in common. The problem is NP-hard and APX-complete. We present three constraint models and apply them to the optimisation and decision problem (attempting to pack n/3 triangles in a graph with n vertices). In the decision problem we observe a phase transition from satisfiability to unsatisfiability, with a complexity peak at the point where 50% of instances are satisfiable, and this is expected. We characterise this phase transition theoretically with respect to constrainedness. However, when we apply a mixed integer programming model to the decision problem the complexity peak disappears.
Item Type: | Conference Proceedings |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Prosser, Dr Patrick |
Authors: | Prosser, P. |
College/School: | College of Science and Engineering > School of Computing Science |
Research Group: | FATA |
Copyright Holders: | Copyright © 20140 The Authors |
Publisher Policy: | Reproduced with the permission of the author |
Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record