On the kernelization complexity of string problems

Abstract

In the CLOSEST STRING problem we are given an alphabet ?, a set of strings S={s<inf>1</inf>,s<inf>2</inf>,…,s<inf>k</inf>} over ? such that |s<inf>i</inf>|=n and an integer d. The objective is to check whether there exists a string s over ? such that d<inf>H</inf>(s,s<inf>i</inf>)?d, i?{1,…,k}, where d<inf>H</inf>(x,y) denotes the number of places strings x and y differ at. CLOSEST STRING is a prototype string problem. This problem together with several of its variants such as DISTINGUISHING STRING SELECTION and CLOSEST SUBSTRING have been extensively studied from parameterized complexity perspective. These problems have been studied with respect to parameters that are combinations of k, d, |?| and n. However, surprisingly the kernelization question for these problems (for the versions when they admit fixed-parameter tractable algorithms) is not studied at all. In this paper we fill this gap in the literature and do a comprehensive study of these problems from kernelization complexity perspective. We settle almost all the problems by either obtaining a polynomial kernel or showing that the problem does not admit a polynomial kernel under a standard assumption in complexity theory. © 2018 Elsevier B.V.