Skip to content

feat(LogSpace): Savitch's theorem in space log² n, NL and RL in DSPACE(log² n) (#474) - #1671

Merged
SamuelSchlesinger merged 7 commits into
cslib-community:mainfrom
chris-ai1:feat/rl-dspace-log-squared-474
Oct 30, 2026
Merged

feat(LogSpace): Savitch's theorem in space log² n, NL and RL in DSPACE(log² n) (#474)#1671
SamuelSchlesinger merged 7 commits into
cslib-community:mainfrom
chris-ai1:feat/rl-dspace-log-squared-474

Commits

  1. Commits on Oct 29, 2026

  2. Commits on Oct 30, 2026