Q954210

From Wikidata
Jump to: navigation, search

Savitch's theorem(Q954210)

theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S^2)
    No aliases defined.
[edit]
Language Label Description Also known as
English
Savitch's theorem
theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S^2)

    Statements

    /m/030dbh
    1 reference
    0 references
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]