Space-Efficient Circuit Evaluation
Computational Complexity
2012-08-13 v1
Abstract
We prove that uniform circuits of size n can be evaluated in space O(n/log n). Thus, Space(O(n)) is not in uniform Size(o(n*log n)). For uniformity, we only require that the circuit is O(n/log n)-Space uniform. We also generalize the construction to prove that a machine with O(n^delta) (delta<1) internal storage and O(2^n^delta) length single-bit-access read-write RAM that does only O(n) RAM reads (1 bit per read) can be simulated in space O(n * log log n / log n).
Keywords
Cite
@article{arxiv.1208.2217,
title = {Space-Efficient Circuit Evaluation},
author = {Dmytro Taranovsky},
journal= {arXiv preprint arXiv:1208.2217},
year = {2012}
}
Comments
HTML, UTF-8 encoding, 5 pages