Constructive derandomization of query algorithms

12/06/2019
by   Guy Blanc, et al.
0

We give efficient deterministic algorithms for converting randomized query algorithms into deterministic ones. We first give an algorithm that takes as input a randomized q-query algorithm R with description length N and a parameter ε, runs in time poly(N) · 2^O(q/ε), and returns a deterministic O(q/ε)-query algorithm D that ε-approximates the acceptance probabilities of R. These parameters are near-optimal: runtime N + 2^Ω(q/ε) and query complexity Ω(q/ε) are necessary. Next, we give algorithms for instance-optimal and online versions of the problem: ∘ Instance optimal: Construct a deterministic q^_R-query algorithm D, where q^_R is minimum query complexity of any deterministic algorithm that ε-approximates R. ∘ Online: Deterministically approximate the acceptance probability of R for a specific input x in time poly(N,q,1/ε), without constructing D in its entirety. Applying the techniques we develop for these extensions, we constructivize classic results that relate the deterministic, randomized, and quantum query complexities of boolean functions (Nisan, STOC 1989; Beals et al., FOCS 1998). This has direct implications for the Turing machine model of computation: sublinear-time algorithms for total decision problems can be efficiently derandomized and dequantized with a subexponential-time preprocessing step.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/29/2021

Deterministic Algorithms for the Hidden Subgroup Problem

In this note, we present deterministic algorithms for the Hidden Subgrou...
research
07/04/2023

Faster Detours in Undirected Graphs

The k-Detour problem is a basic path-finding problem: given a graph G on...
research
11/09/2019

Quantum speedups need structure

We prove the following conjecture, raised by Aaronson and Ambainis in 20...
research
10/16/2018

Peek Search: Near-Optimal Online Markov Decoding

We resolve the fundamental problem of online decoding with ergodic Marko...
research
12/29/2019

Towards Optimal Separations between Quantum and Randomized Query Complexities

The query model offers a concrete setting where quantum algorithms are p...
research
09/25/2017

Quantum Online Algorithms with Respect to Space Complexity

Online algorithm is a well-known computational model. We introduce quant...
research
11/01/2017

Typically-Correct Derandomization for Small Time and Space

Suppose a language L can be decided by a bounded-error randomized algori...

Please sign up or login with your details

Forgot password? Click here to reset