Matthew A. Levy

Learn More
Nondeterminism is typically used as an inherent part of the computational models used in computational complexity. However, much work has been done looking at nondeterminism as a separate resource added to deterministic machines. This survey examines several different approaches to limiting the amount of nondeterminism, including Kintala and Fischer's β(More)
  • 1