The Query Complexity of Mastermind with \ell_p Distances

. Motivated by this question, in this work, we develop a nonadaptive polynomial time algorithm that works for a natural class of separable distance measures, i.e. coordinate-wise sums of functions of the absolute value. This in particular includes distances such as the smooth max (LogSumExp) as well as many widely-studied

M

-estimator losses, such as

e l l_{p}

norms, the

e l l_{1}

-

e l l_{2}

loss, the Huber loss, and the Fair estimator loss. When we apply this result to

e l l_{p}

queries, we obtain an upper bound of

O l e f t (m i n l e f t n, f r a c n l o g k l o g n i g h t i g h t)

queries for any real

1 l e q p < i n f t y

. We also show matching lower bounds up to constant factors for the

e l l_{p}

problem, even for adaptive algorithms for the approximation version of the problem, in which the problem is to output

m a t h b f y^{'}

such that

V e r t m a t h b f y^{'} - m a t h b f y V e r t_{p} l e q R

for any

R l e q k^{1 - v a r e p s i l o n} n^{1 / p}

for constant

v a r e p s i l o n > 0

. Thus, essentially any approximation of this problem is as hard as finding the hidden vector exactly, up to constant factors. Finally, we show that for the noisy version of the problem, i.e. the setting when the codemaker answers queries with any

q = (1 p m v a r e p s i l o n) V e r t m a t h b f y - m a t h b f x V e r t_{p}

, there is no query efficient algorithm.

This page was built for publication: The Query Complexity of Mastermind with $\ell_p$ Distances

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325851)