{"title":"Lower bounds for graph reconstruction with maximal independent set queries","authors":"Lukas Michel, Alex Scott","doi":"10.1016/j.tcs.2025.115121","DOIUrl":null,"url":null,"abstract":"<div><div>We investigate the number of maximal independent set queries required to reconstruct the edges of a hidden graph. We show that randomised adaptive algorithms need at least <span><math><mi>Ω</mi><mo>(</mo><msup><mrow><mi>Δ</mi></mrow><mrow><mn>2</mn></mrow></msup><mi>log</mi><mo></mo><mo>(</mo><mi>n</mi><mo>/</mo><mi>Δ</mi><mo>)</mo><mo>/</mo><mi>log</mi><mo></mo><mi>Δ</mi><mo>)</mo></math></span> queries to reconstruct <em>n</em>-vertex graphs of maximum degree Δ with success probability at least 1/2, and we further improve this lower bound to <span><math><mi>Ω</mi><mo>(</mo><msup><mrow><mi>Δ</mi></mrow><mrow><mn>2</mn></mrow></msup><mi>log</mi><mo></mo><mo>(</mo><mi>n</mi><mo>/</mo><mi>Δ</mi><mo>)</mo><mo>)</mo></math></span> for randomised non-adaptive algorithms. We also prove that deterministic non-adaptive algorithms require at least <span><math><mi>Ω</mi><mo>(</mo><msup><mrow><mi>Δ</mi></mrow><mrow><mn>3</mn></mrow></msup><mi>log</mi><mo></mo><mi>n</mi><mo>/</mo><mi>log</mi><mo></mo><mi>Δ</mi><mo>)</mo></math></span> queries.</div><div>This improves bounds of Konrad, O'Sullivan, and Traistaru, and answers one of their questions. The proof of the lower bound for deterministic non-adaptive algorithms relies on a connection to cover-free families, for which we also improve known bounds.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1034 ","pages":"Article 115121"},"PeriodicalIF":0.9000,"publicationDate":"2025-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525000593","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
We investigate the number of maximal independent set queries required to reconstruct the edges of a hidden graph. We show that randomised adaptive algorithms need at least queries to reconstruct n-vertex graphs of maximum degree Δ with success probability at least 1/2, and we further improve this lower bound to for randomised non-adaptive algorithms. We also prove that deterministic non-adaptive algorithms require at least queries.
This improves bounds of Konrad, O'Sullivan, and Traistaru, and answers one of their questions. The proof of the lower bound for deterministic non-adaptive algorithms relies on a connection to cover-free families, for which we also improve known bounds.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.