Is Space a Stronger Resource than Time? Positive Answer for the Nondeterministic at-Least-Quadratic Time Case
Computational Complexity
2010-01-27 v1
Abstract
We show that all languages accepted in time f(n) >= n^2 can be accepted in space O(f(n)^{1/2})_and_ in time O(f(n)). The proof is carried out by simulation, based on the idea of guessing the sequences of internal states of the simulated TM when entering certain critical cells, whose location is also guessed. Our method cannot be generalised easily to many-tapes TMs, and in no case can it be relativised.
Keywords
Cite
@article{arxiv.1001.4649,
title = {Is Space a Stronger Resource than Time? Positive Answer for the Nondeterministic at-Least-Quadratic Time Case},
author = {Nicola Caporaso},
journal= {arXiv preprint arXiv:1001.4649},
year = {2010}
}
Comments
7 pages