{"title":"Optimal schemes for combinatorial query problems with integer feedback","authors":"Anders Martinsson","doi":"10.5070/c63261997","DOIUrl":null,"url":null,"abstract":"A query game is a pair of a set \\(Q\\) of queries and a set \\(\\mathcal{F}\\) of functions, or codewords \\(f:Q\\rightarrow \\mathbb{Z}.\\) We think of this as a two-player game. One player, Codemaker, picks a hidden codeword \\(f\\in \\mathcal{F}\\). The other player, Codebreaker, then tries to determine \\(f\\) by asking a sequence of queries \\(q\\in Q\\), after each of which Codemaker must respond with the value \\(f(q)\\). The goal of Codebreaker is to uniquely determine \\(f\\) using as few queries as possible. Two classical examples of such games are coin-weighing with a spring scale, and Mastermind, which are of interest both as recreational games and for their connection to information theory.In this paper, we will present a general framework for finding short solutions to query games. As applications, we give new self-contained proofs of the query complexity of variations of the coin-weighing problems, and prove new results that the deterministic query complexity of Mastermind with \\(n\\) positions and \\(k\\) colors is \\(\\Theta(n \\log k/ \\log n + k)\\) if only black-peg information is provided, and \\(\\Theta(n \\log k / \\log n + k/n)\\) if both black- and white-peg information is provided. In the deterministic setting, these are the first up to constant factor optimal solutions to Mastermind known for any \\(k\\geq n^{1-o(1)}\\).Mathematics Subject Classifications: 91A46, 68Q11, 05B99Keywords: Combinatorial games, query complexity, Mastermind, coin-weighing","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":null,"pages":null},"PeriodicalIF":0.9000,"publicationDate":"2023-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Combinatorial Theory Series A","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5070/c63261997","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
A query game is a pair of a set \(Q\) of queries and a set \(\mathcal{F}\) of functions, or codewords \(f:Q\rightarrow \mathbb{Z}.\) We think of this as a two-player game. One player, Codemaker, picks a hidden codeword \(f\in \mathcal{F}\). The other player, Codebreaker, then tries to determine \(f\) by asking a sequence of queries \(q\in Q\), after each of which Codemaker must respond with the value \(f(q)\). The goal of Codebreaker is to uniquely determine \(f\) using as few queries as possible. Two classical examples of such games are coin-weighing with a spring scale, and Mastermind, which are of interest both as recreational games and for their connection to information theory.In this paper, we will present a general framework for finding short solutions to query games. As applications, we give new self-contained proofs of the query complexity of variations of the coin-weighing problems, and prove new results that the deterministic query complexity of Mastermind with \(n\) positions and \(k\) colors is \(\Theta(n \log k/ \log n + k)\) if only black-peg information is provided, and \(\Theta(n \log k / \log n + k/n)\) if both black- and white-peg information is provided. In the deterministic setting, these are the first up to constant factor optimal solutions to Mastermind known for any \(k\geq n^{1-o(1)}\).Mathematics Subject Classifications: 91A46, 68Q11, 05B99Keywords: Combinatorial games, query complexity, Mastermind, coin-weighing
期刊介绍:
The Journal of Combinatorial Theory publishes original mathematical research concerned with theoretical and physical aspects of the study of finite and discrete structures in all branches of science. Series A is concerned primarily with structures, designs, and applications of combinatorics and is a valuable tool for mathematicians and computer scientists.