Search arXivSearch

arXiv · 2210.04652

Optimal Strategies for Static Black-Peg AB Game With Two and Three Pegs

Abstract

The AB~Game is a game similar to the popular game Mastermind. We study a version of this game called Static Black-Peg AB~Game. It is played by two players, the codemaker and the codebreaker. The codemaker creates a so-called secret by placing a color from a set of $c$ colors on each of $p \le c$ pegs, subject to the condition that every color is used at most once. The codebreaker tries to determine the secret by asking questions, where all questions are given at once and each question is a possible secret. As an answer the codemaker reveals the number of correctly placed colors for each of the questions. After that, the codebreaker only has one more try to determine the secret and thus to win the game. For given $p$ and $c$, our goal is to find the smallest number $k$ of questions the codebreaker needs to win, regardless of the secret, and the corresponding list of questions, called a $(k+1)$-strategy. We present a $\lceil 4c/3 \rceil-1)$-strategy for $p=2$ for all $c \ge 2$, and a $\lfloor (3c-1)/2 \rfloor$-strategy for $p=3$ for all $c \ge 4$ and show the optimality of both strategies, i.e., we prove that no $(k+1)$-strategy for a smaller $k$ exists.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gerold Jäger, Frank Drewes. 2022-10-10. Optimal Strategies for Static Black-Peg AB Game With Two and Three Pegs. https://arxiv.org/abs/2210.04652

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Adjunctions, Box Products, and Forcing Families

Sidorenko's conjecture states that the number of copies of any given bipartite graph in another graph of given density is asymptotically minimized by a random graph. For bipartite graphs containing a cycle, the forcing conjecture further asserts that asymptotic equality characterizes quasi-random graphs. We establish an adjoint identity for a general class of graph-substitution operators and use it to obtain Sidorenko and forcing results for balanced blow-ups, subdivisions, Cartesian products, and strong products.

math.CO

On the Cost Number of Graphs with Determining Number Two

A distinguishing vertex coloring of a graph $G$ is a vertex coloring such that only the identity automorphism of $G$ preserves the coloring. A graph is $2$-distinguishable if it admits a distinguishing vertex coloring with two colors, and its cost $ρ(G)$ is the minimum size of a color class in such a coloring. The determining number of a graph $G$, denoted by $Det(G)$, is the minimum size of a subset $S\subseteq V(G)$ such that only the trivial automorphism fixes every element of $S$ pointwise. Boutin (J. Combin. Math. Combin. Comput. 85: 161-171, 2013) asked if $ρ(G)$ and $Det(G)$ can be arbitrarily far apart. While the case for $Det(G) = 1$ is trivial, the answer remained unknown for $Det(G) \ge 2$. In this manuscript, we show that if $Det(G)=2$ then not only is $ρ(G)$ bounded, but in fact $ρ(G) \leq 4$. This is the first resolution of Boutin's question for any nontrivial fixed determining number. Moreover, for every fixed $Det(G)= n$, we construct examples giving a lower bound on any possible upper bound for $ρ(G)$ in terms of $n$.

math.CO