Triangle packing with constraint programming

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.

43754.pdf - Accepted Version



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
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