On identifying codes in binary Hamming spaces

: Honkala I, Lobstein A

Publisher: ACADEMIC PRESS INC ELSEVIER SCIENCE

: 2002

: Journal of Combinatorial Theory, Series A

: JOURNAL OF COMBINATORIAL THEORY SERIES A

: J COMB THEORY A

: 99

: 2

: 232

: 243

: 12

: 0097-3165

DOI: https://doi.org/10.1006/jcta.2002.3263

A binary code C subset of or equal to {0, 1}(n) is called r-identifying, if the sets B-r(x) boolean AND C, where B-r(x) is the set of all vectors within the Hamming distance r from x, are all nonempty and no two are the same. Denote by M-r(n) the minimum possible cardinality of a binary r-identifying code in {0, 1)(n). We prove that if rho is an element of [0, 1) is a constant, then lim(n-->infinity) n(-1) log(2) M-[rhon](n) = 1 - H(rho), where H(x) = -x log(2)x - (1 - x) log(2)(1 - x). We also prove that the problem whether or not a given binary linear code is lr-identifying is Pi(2)-complete. (C) 2002 Elsevier Science (USA).

Mathematics