Skip to main content
Article thumbnail
Location of Repository

Local reductions

By Hamid Jahanjou, Eric Miles and Emanuele Viola


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:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

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