Source author record

Naren Sarayu Manoj

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
3topics
3close collaborators

Published work

2 publications

preprint2022arXiv

An Optimal Algorithm for Certifying Monotone Functions

Given query access to a monotone function f ⁣:{0,1}n→{0,1}f\colon\{0,1\}^n\to\{0,1\} with certificate complexity C(f)C(f) and an input x⋆x^{\star}, we design an algorithm that outputs a size-C(f)C(f) subset of x⋆x^{\star} certifying the value of f(x⋆)f(x^{\star}). Our algorithm makes O(C(f)⋅log⁡n)O(C(f) \cdot \log n) queries to ff, which matches the information-theoretic lower bound for this problem and resolves the concrete open question posed in the STOC '22 paper of Blanc, Koch, Lange, and Tan [BKLT22]. We extend this result to an algorithm that finds a size-2C(f)2C(f) certificate for a real-valued monotone function with O(C(f)⋅log⁡n)O(C(f) \cdot \log n) queries. We also complement our algorithms with a hardness result, in which we show that finding the shortest possible certificate in x⋆x^{\star} may require Ω((nC(f)))Ω\left(\binom{n}{C(f)}\right) queries in the worst case.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.