|
|
A000983
|
|
Size of minimal binary covering code of length n and covering radius 1.
(Formerly M0329 N0124)
|
|
8
|
|
|
|
OFFSET
|
1,2
|
|
COMMENTS
|
For k > 0, a(2^k-1) = 2^(2^k-k-1). In this case the minimal covering code is also a Hamming code.
In the game described in the Wikipedia link, with n players, the optimal strategy wins with probability 1-a(n)/2^n. In the optimal strategy, the players first agree on a minimal covering code of length n. After the hats are placed, each player knows two words of length n such that one of them is the hat colors of the n players. If one of these two words is a member of the covering code and the other word is not, that player guesses the word that is not. Otherwise, that player does not guess. This strategy guarantees that the team wins for all words that are not members of the covering code.
Because each codeword covers n+1 of the 2^n words, A053637(n+1) is a lower bound. - Rob Pratt, Jan 05 2015
a(n) is also the domination number of the n-hypercube graph Q_n. - Eric W. Weisstein, Feb 20 2016
|
|
REFERENCES
|
G. D. Cohen et al., Covering Codes, North-Holland, 1997, p. 166.
I. S. Honkala and Patric R. J. Östergård, Code design, Chapter 13 of Local Search in Combinatorial Optimization, E. Aarts and J. K. Lenstra (editors), Wiley, New York 1997, pp. 441-456.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
|
|
LINKS
|
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,hard,more,nice
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|