$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 . To show this upper bound, Savitch constructed an algorithm with 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 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}
}