Nondeterministic time hierarchy theorem

From Complexity
Revision as of 02:38, 28 December 2011 by Vipul (talk | contribs) (Created page with "==Statement== If <math>f</math> and <math>g</math> are time-constructible functions and <math>f(n + 1) = o(g(n))</math>, then <math>\operatorname{NTIME}(f(n))</math> is stri...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

If and are time-constructible functions and , then is strictly contained in .

Related facts