Derandomization under Different Resource Constraints

11/26/2022
by   Samuel Epstein, et al.
0

We provide another proof to the EL Theorem. We show the tradeoff between compressibility of codebooks and their communication capacity. A resource bounded version of the EL Theorem is proven. This is used to prove three instances of resource bounded derandomization. This paper is in support of the general claim that if the existence of an object can be proven with the probabilistic method, then bounds on its Kolmogorov complexity can be proven as well.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/19/2019

Cantor-Bernstein implies Excluded Middle

We prove in constructive logic that the statement of the Cantor-Bernstei...
research
04/10/2023

The Kraft–Barmpalias–Lewis-Pye lemma revisited

This note provides a simplified exposition of the proof of hierarchical ...
research
09/28/2019

A Note On k-Means Probabilistic Poverty

It is proven, by example, that the version of k-means with random initia...
research
12/21/2020

Ergodic Theorems for PSPACE functions and their converses

We initiate the study of effective pointwise ergodic theorems in resourc...
research
09/16/2022

An Efficient Modular Exponentiation Proof Scheme

We present an efficient proof scheme for any instance of left-to-right m...
research
05/29/2022

Theory and Applications of Probabilistic Kolmogorov Complexity

Diverse applications of Kolmogorov complexity to learning [CIKK16], circ...
research
09/13/2021

Dimension and the Structure of Complexity Classes

We prove three results on the dimension structure of complexity classes....

Please sign up or login with your details

Forgot password? Click here to reset