We prove an exponential lower bound on the average time of inverting Goldreich's function by drunken backtracking algorithms; this resolves the open question stated in Cook et al. (Proceedings of TCC, pp. 521-538, 2009). The Goldreich's function has n binary inputs and n binary outputs. Every output depends on d inputs and is computed from them by the fixed predicate of arity d. Our Goldreich's function is based on an expander graph and on the nonlinear predicates that are linear in Ω(d) variables. Drunken algorithm is a backtracking algorithm that somehow chooses a variable for splitting and randomly chooses the value for the variable to be investigated at first.After the submission to the journal we found out that the same result was independently obtained by Rachel Miller.

Original languageEnglish
Pages (from-to)261-276
Number of pages16
JournalTheory of Computing Systems
Volume54
Issue number2
DOIs
StatePublished - 1 Feb 2014

    Scopus subject areas

  • Theoretical Computer Science
  • Computational Theory and Mathematics

    Research areas

  • DPLL, Expander, Goldreich's function, Lower bound

ID: 49785972