Savitch's theorem establishes that PSPACE = NPSPACE and EXPSPACE = NEXPSPACE.
Theo định lý Savitch, PSPACE = NPSPACE và EXPSPACE = NEXPSPACE.