2026-08-21T18:34:51Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:27416 2026-08-21T14:42:39Z ddc:004 open_access

Fast Rational Search via Stern-Brocot Tree Weyers, Connor Vinodchandran, N. V. Rational number search Continued fractions Stern-Brocot tree Rational approximation We revisit the problem of rational search: given an unknown rational number α = a/b ∈ (0,∞) with a,b ≤ n, the goal is to identify α using comparison queries of the form "β ≤ α?". The problem has been studied several decades ago and optimal query algorithms are known. We present an algorithm for rational search based on a compressed traversal of the Stern-Brocot tree, which appeared to have been overlooked in the literature. This approach also naturally extends to two related problems that, to the best of our knowledge, have not been previously addressed: (i) unbounded rational search, where the bound n is unknown, and (ii) computing the best (in a precise sense) rational approximation of an unknown real number using only comparison queries. While the algorithm is simple and natural, one of our main contributions is its analysis: we give an upper and lower bound on its worst-case query complexity. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Connor Weyers and N. V. Vinodchandran 2026 Is Part Of LIPIcs, Volume 386, 51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2026.35 urn:nbn:de:0030-drops-274169 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2026.35 eng https://creativecommons.org/licenses/by/4.0/legalcode