A Constraint-Based Approach to the Golomb Ruler Problem

A Golomb ruler with m marks can be defined as a set of m distinct integers such that the differences between them are all distinct. An optimal Golomb ruler minimizes the value of the largest mark. The Golomb ruler problem is highly combinatorial and difficult to solve efficiently even for small sizes. Golomb rulers and related problems play an important role in, e.g., radio communication, VLSI architectures, convolutional selforthogonal codes and radio-astronomy. We propose a combination of constraint programming and improved lower bounds in order to solve it. In particular, we introduce a new lower bound based on minimum weight matchings and multi-decompositions. Experimental results are given.

[1]  Yvon Savaria,et al.  New VLSI architectures for fast soft-decision threshold decoders , 1991, IEEE Trans. Commun..

[2]  Torleiv Kløve Bounds and construction for difference triangle sets , 1989, IEEE Trans. Inf. Theory.

[3]  Joseph A. Gallian A survey: Recent results, conjectures, and open problems in labeling graphs , 1989, J. Graph Theory.

[4]  James B. Shearer,et al.  Some New Difference Triangle Sets , 1998 .

[5]  J. E. Pettey,et al.  Variations in the Rotation of the Earth , 1984, Science.

[6]  Zhi Chen Further Results on Difference Triangle Sets , 1994, IEEE Trans. Inf. Theory.

[7]  J. Singer A theorem in finite projective geometry and some applications to number theory , 1938 .

[8]  John P. Robinson Golomb rectangles , 1985, IEEE Trans. Inf. Theory.

[9]  Apostolos Dollas,et al.  A New Algorithm for Golomb Ruler Derivation and Proof of the 19 Mark Ruler , 1998, IEEE Trans. Inf. Theory.

[10]  James B. Shearer,et al.  Some New Optimum Golomb Rectangles , 1995, Electron. J. Comb..

[11]  James B. Shearer,et al.  Some new optimum Golomb rulers , 1990, IEEE Trans. Inf. Theory.

[12]  Ravindra K. Ahuja,et al.  Network Flows: Theory, Algorithms, and Applications , 1993 .

[13]  Toby Walsh,et al.  Modelling the Golomb Ruler Problem , 1999 .

[14]  Jean-Charles Régin,et al.  A Filtering Algorithm for Constraints of Difference in CSPs , 1994, AAAI.

[15]  Arthur J. Bernstein,et al.  A class of binary recurrent codes with limited error propagation , 1967, IEEE Trans. Inf. Theory.

[16]  Charles J. Colbourn,et al.  Constructions for difference triangle sets , 1997, IEEE Trans. Inf. Theory.

[17]  Dilip V. Sarwate,et al.  On optimum time-hopping patterns , 1988, IEEE Trans. Commun..