Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics

Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each symbol occurs the same number of times in each codeword. The problem is to find a set of codewords such that any pair of codewords are a given uniform Hamming distance apart. The equidistant case is of special interest given the result that any optimal constant composition code is equidistant. This paper presents, compares and combines a number of different constraint formulations of this problem class, including a new method of representing permutations with constraints. Using these constraint models, we are able to establish several new results, which are contributing directly to mathematical research in this area.3

• Type: Conference
• Year: 2009
• Where: CP
• Authors: Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale
• Keywords: Constant Composition Code, CP 2009, Equidistant Frequency Permutation, Frequency Permutation Array, Programming Languages