paper

L is different from NP

arXiv:2404.16562

Abstract

We prove that the class LOGSPACE (L, for short) is different from the class NP.