Computing the irregularity strength of connected graphs by parallel constraint solving in the Mozart system

Abstract

In this paper we show how the problem of computing the irregularity strength of a graph can be expressed in terms of CP(FD) programming methodology and solved by parallel computations in the Mozart system. We formulate this problem as an optimization task and apply the branch-and-bound method and iterative best-solution search in order to solve it. Both of these approaches have been evaluated in experiments. We also estimate the speedup obtained by parallel processing. © 2008 Springer-Verlag Berlin Heidelberg.