A fixed deterministic machine with one writable tape can be simulated through a supplied time cap T≥2 in O(T^(2/5) polylog(T+2)) work-space bits while preserving its finite-control and halting outcome.
A fixed deterministic machine with one writable tape can be simulated through a supplied time cap T≥2 in O(T^(2/5) polylog(T+2)) work-space bits while preserving its finite-control and halting outcome.
A fixed deterministic machine with one writable tape can be simulated through a supplied time cap T≥2 in O(T^(2/5) polylog(T+2)) work-space bits while preserving its finite-control and halting outcome.
If correct, improves the one-tape time-to-space exponent from 1/2 to 2/5.
Can one-tape time T be simulated in space below the square-root exponent?
Publication dates and editorial changes.
OpenAI reports a two-fifths-power space simulation for one-tape machines
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
