slogspace (360B)
1 # SL 2 3 class of [decision_problem] reducible to [st_reachability_undirected] 4 5 Can be defined via [turing_machine_reversible] 6 7 Shown to be equal to [logspace] by [reingold] 8 9 - for [2sat]: corresponds to the case where exactly one literal in each clause must hold 10 11 Closed under [complementation] 12 13 Up: [complexity_class] 14 15 See also: [complexity_space] 16 17 Aliases: SL