Ádám X. Fraknói , Dávid Á. Márton , Dániel G. Simon , Dániel A. Lenger
{"title":"关于具有限制大小查询的Rényi–Ulam对策","authors":"Ádám X. Fraknói , Dávid Á. Márton , Dániel G. Simon , Dániel A. Lenger","doi":"10.1016/j.disopt.2023.100772","DOIUrl":null,"url":null,"abstract":"<div><p>We investigate the following version of the well-known Rényi–Ulam game. Two players – the Questioner and the Responder – play against each other. The Responder thinks of a number from the set <span><math><mrow><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></mrow></math></span>, and the Questioner has to find this number. To do this, he can ask whether a chosen set of at most <span><math><mi>k</mi></math></span> elements contains the thought number. The Responder answers with YES or NO immediately, but during the game, he may lie at most <span><math><mi>ℓ</mi></math></span> times. The minimum number of queries needed for the Questioner to surely find the unknown element is denoted by <span><math><mrow><mi>R</mi><msubsup><mrow><mi>U</mi></mrow><mrow><mi>ℓ</mi></mrow><mrow><mi>k</mi></mrow></msubsup><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>. First, we develop a highly effective tool that we call Convexity Lemma. By using this lemma, we give a general lower bound of <span><math><mrow><mi>R</mi><msubsup><mrow><mi>U</mi></mrow><mrow><mi>ℓ</mi></mrow><mrow><mi>k</mi></mrow></msubsup><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> and an upper bound which differs from the lower one by at most <span><math><mrow><mn>2</mn><mi>ℓ</mi><mo>+</mo><mn>1</mn></mrow></math></span>. We also give its exact value when <span><math><mi>n</mi></math></span> is sufficiently large compared to <span><math><mi>k</mi></math></span>. With these, we managed to improve and generalize the results obtained by Meng, Lin, and Yang in a 2013 paper about the case <span><math><mrow><mi>ℓ</mi><mo>=</mo><mn>1</mn></mrow></math></span>.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":null,"pages":null},"PeriodicalIF":0.9000,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the Rényi–Ulam game with restricted size queries\",\"authors\":\"Ádám X. Fraknói , Dávid Á. Márton , Dániel G. Simon , Dániel A. Lenger\",\"doi\":\"10.1016/j.disopt.2023.100772\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We investigate the following version of the well-known Rényi–Ulam game. Two players – the Questioner and the Responder – play against each other. The Responder thinks of a number from the set <span><math><mrow><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></mrow></math></span>, and the Questioner has to find this number. To do this, he can ask whether a chosen set of at most <span><math><mi>k</mi></math></span> elements contains the thought number. The Responder answers with YES or NO immediately, but during the game, he may lie at most <span><math><mi>ℓ</mi></math></span> times. The minimum number of queries needed for the Questioner to surely find the unknown element is denoted by <span><math><mrow><mi>R</mi><msubsup><mrow><mi>U</mi></mrow><mrow><mi>ℓ</mi></mrow><mrow><mi>k</mi></mrow></msubsup><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>. First, we develop a highly effective tool that we call Convexity Lemma. By using this lemma, we give a general lower bound of <span><math><mrow><mi>R</mi><msubsup><mrow><mi>U</mi></mrow><mrow><mi>ℓ</mi></mrow><mrow><mi>k</mi></mrow></msubsup><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> and an upper bound which differs from the lower one by at most <span><math><mrow><mn>2</mn><mi>ℓ</mi><mo>+</mo><mn>1</mn></mrow></math></span>. We also give its exact value when <span><math><mi>n</mi></math></span> is sufficiently large compared to <span><math><mi>k</mi></math></span>. With these, we managed to improve and generalize the results obtained by Meng, Lin, and Yang in a 2013 paper about the case <span><math><mrow><mi>ℓ</mi><mo>=</mo><mn>1</mn></mrow></math></span>.</p></div>\",\"PeriodicalId\":50571,\"journal\":{\"name\":\"Discrete Optimization\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2023-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Discrete Optimization\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1572528623000142\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Optimization","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1572528623000142","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
On the Rényi–Ulam game with restricted size queries
We investigate the following version of the well-known Rényi–Ulam game. Two players – the Questioner and the Responder – play against each other. The Responder thinks of a number from the set , and the Questioner has to find this number. To do this, he can ask whether a chosen set of at most elements contains the thought number. The Responder answers with YES or NO immediately, but during the game, he may lie at most times. The minimum number of queries needed for the Questioner to surely find the unknown element is denoted by . First, we develop a highly effective tool that we call Convexity Lemma. By using this lemma, we give a general lower bound of and an upper bound which differs from the lower one by at most . We also give its exact value when is sufficiently large compared to . With these, we managed to improve and generalize the results obtained by Meng, Lin, and Yang in a 2013 paper about the case .
期刊介绍:
Discrete Optimization publishes research papers on the mathematical, computational and applied aspects of all areas of integer programming and combinatorial optimization. In addition to reports on mathematical results pertinent to discrete optimization, the journal welcomes submissions on algorithmic developments, computational experiments, and novel applications (in particular, large-scale and real-time applications). The journal also publishes clearly labelled surveys, reviews, short notes, and open problems. Manuscripts submitted for possible publication to Discrete Optimization should report on original research, should not have been previously published, and should not be under consideration for publication by any other journal.