Sciweavers

179 search results - page 16 / 36
» eccc 2010
Sort
View
ECCC
2010
103views more  ECCC 2010»
13 years 7 months ago
Time-Space Efficient Simulations of Quantum Computations
We give two time- and space-efficient simulations of quantum computations with intermediate measurements, one by classical randomized computations with unbounded error and the oth...
Dieter van Melkebeek, Thomas Watson
ECCC
2010
86views more  ECCC 2010»
13 years 7 months ago
On Approximating the Entropy of Polynomial Mappings
We investigate the complexity of the following computational problem: Polynomial Entropy Approximation (PEA): Given a low-degree polynomial mapping p : Fn Fm , where F is a finite...
Zeev Dvir, Dan Gutfreund, Guy N. Rothblum, Salil P...
ECCC
2010
111views more  ECCC 2010»
13 years 7 months ago
Pseudorandom Generators for Group Products
We prove that the pseudorandom generator introduced in [INW94] fools group products of a given finite group. The seed length is O(log n log 1 ), where n the length of the word and...
Michal Koucký, Prajakta Nimbhorkar, Pavel P...
ECCC
2010
72views more  ECCC 2010»
13 years 6 months ago
Paris-Harrington tautologies
We initiate the study of the proof complexity of propositional encoding of (weak cases of) concrete independence results. In particular we study the proof complexity of Paris-Harr...
Lorenzo Carlucci, Nicola Galesi, Massimo Lauria
ECCC
2010
119views more  ECCC 2010»
13 years 2 months ago
On beating the hybrid argument
The hybrid argument allows one to relate the distinguishability of a distribution (from uniform) to the predictability of individual bits given a prefix. The argument incurs a los...
Bill Fefferman, Ronen Shaltiel, Christopher Umans,...