Skip to main content
Article thumbnail
Location of Repository

Local reductions

By Hamid Jahanjou, Eric Miles and Emanuele Viola

Abstract

We reduce non-deterministic time T ≥ 2 n to a 3SAT instance φ of size |φ | = T ·log O(1) T such that there is an explicit circuit C that on input an index i of log|φ| bits outputs the ith clause, and each output bit of C depends on O(1) inputs bits. The previous best result was C in NC 1. Even in the simpler setting of |φ | = poly(T) the previous best result was C in AC 0. More generally, for any time T ≥ n and parameter r ≤ n we obtain log 2|φ | = max(logT,n/r)+O(logn)+O(loglogT) and each output bit of C is a decision tree of depth O(logr). As an application, we simplify the proof of Williams ’ ACC 0 lower bound, and tighten his connection between satisfiability algorithms and lower bounds

Year: 2013
OAI identifier: oai:CiteSeerX.psu:10.1.1.352.3864
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.ccs.neu.edu/home/vi... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.