Savitch's theorem

专有名词

英文释义

专有名词
  1. A theorem giving a relationship between deterministic and non-deterministic space complexity.

词源

Proved by Walter Savitch in 1970.
0 次浏览 数据来源: Wiktionary