[Colloquium] Theory Seminar: Joint Computer Science & Mathematics

[Donna Brooms]

The University of Chicago
Joint Computer Science & Mathematics
Seminar Presents:
 
Tuesday, March 9, 2014
Ryerson 251@ 3:00 pm
 
Dhiraj Holden
Caltech

Title: “The Minimum Oracle Circuit Size Problem”
Abstract: We consider variants of the Minimum Circuit Size Problem MCSP, where the goal is to minimize the size of oracle circuits computing a given function. When the oracle is QBF, the resulting problem MCSPQBF is known to be complete for PSPACE under ZPP reductions. We show that it is not complete under logspace reductions, and indeed it is not even hard for TC0 under uniform AC0 reductions. We obtain a variety of consequences that follow if oracle versions of MCSP are hard for various complexity classes under different types of reductions. We also prove analogous results for the problem of determining the resource-bounded Kolmogorov complexity of strings, for certain types of Kolmogorov complexity measures.

(Joint work with Eric Allender and Valentin Kabanets)

Host by Prof. Janos Simon

(Refreshments will be served before the talk in Ry. 255@ 2:30pm)

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20150309/16bd79e3/attachment.htm