Q954210

From Wikidata
Jump to: navigation, search

Savitch's theorem (Q954210)[edit]

theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S^2) [edit]

No aliases defined. [add]

Statements

/m/030dbh
[edit]
1 reference
[add]