English

$L$ is unequal $NL$ under the Strong Exponential Time Hypothesis

Computational Complexity 2023-05-04 v1 Data Structures and Algorithms

Abstract

Due to Savitch's theorem we know NLDSPACE(log2(n))NL\subseteq DSPACE(\log^2(n)). To show this upper bound, Savitch constructed an algorithm with O(log2(n))O(\log^2(n)) space on the working tape. We will show that Savitch's algorithm also described a lower bound under the Strong Exponential Time Hypothesis. Every algorithm for the Connectivity Problem needs O(log2(n))O(\log^2(n)) space in this case.

Keywords

Cite

@article{arxiv.2305.02271,
  title  = {$L$ is unequal $NL$ under the Strong Exponential Time Hypothesis},
  author = {Reiner Czerwinski},
  journal= {arXiv preprint arXiv:2305.02271},
  year   = {2023}
}
R2 v1 2026-06-28T10:24:48.349Z