Savitch's theorem — The Logic Path
Node
Savitch's theorem (Theorem) in The Logic Path. Era: 1970. Formula: NSPACE(f) ⊆ DSPACE(f²). Origin axiom of path: Huntington's theorem (Boole's Boolean). Modern reach: SAT · NP-completeness · Complexity theory.
Savitch's theorem (Theorem) in The Logic Path. Era: 1970. Formula: NSPACE(f) ⊆ DSPACE(f²). Origin axiom of path: Huntington's theorem (Boole's Boolean). Modern reach: SAT · NP-completeness · Complexity theory.
Canonical: https://axiom.tanaakk.com/lineage/logic-path/savitch/