Savitch's theorem

短语

释义与例句

name
  1. 1.

    A theorem giving a relationship between deterministic and non-deterministic space complexity.

    计算机 工程 数学

词源

Proved by Walter Savitch in 1970.

来源：wiktionary