Configurations and Minority in the String Consensus Problem

Abstract

The Closest String Problem is defined as follows. Let S be a set of k strings {s ₁,…s _k }, each of length ℓ, find a string $\hat{s}$, such that the maximum Hamming distance of $\hat{s}$ from each of the strings is minimized. We denote this distance with d. The string $\hat{s}$ is called a consensus string. In this paper we present two main algorithms, the Configuration algorithm with O(k ² ℓ k) running time for this problem, and the Minority algorithm.

The problem was introduced by Lanctot, Li, Ma, Wang and Zhang [13]. They showed that the problem is $\cal{NP}$-hard and provided an IP approximation algorithm. Since then the closest string problem has been studied extensively. This research can be roughly divided into three categories: Approximate, exact and practical solutions. This paper falls under the exact solutions category. Despite the great effort to obtain efficient algorithms for this problem an algorithm with the natural running time of O(ℓ k) was not known. In this paper we close this gap.

Our result means that algorithms solving the closest string problem in times O(ℓ²), O(ℓ³), O(ℓ⁴) and O(ℓ⁵) exist for the cases of k = 2,3,4 and 5, respectively. It is known that, in fact, the cases of k = 2,3, and 4 can be solved in linear time. No efficient algorithm is currently known for the case of k = 5. We prove the minority lemma that exploit surprising properties of the closest string problem and enable constructing the closest string in a sequential fashion. This lemma with some additional ideas give an O(ℓ²) time algorithm for computing a closest string of 5 binary strings.