SA COOK - JOURNAL OF COMPUTER AND SYSTEM …, 1973 - scholar.archive.org
We prove the following theorem in this paper: For any real numbers rl, r2, 1~ rl~ r2, there is a
set. 4 of strings which has nondeterministic time complexity n* 2, but not nondeterministic …