Steven Rudich

circuit）中的下界为指数。然而在1994年Alexander Razborov（英语：Alexander Razborov）和Steven Rudich（英语：Steven Rudich）的著名论文自然性证明（Natural proof）中指出，上面所用证明电路下界的方法，在单向函数存在的前提下是不可能分

E的計算資源。對於DTIME的能力與其他計算資源的關係，我們仍所知甚少。 American Mathematical Society. Rudich, Steven and Avi Wigderson (ed.) , 编. Computational Complexity Theory. American

ISSN 0003-486X, doi:10.4007/annals.2004.160.781   Razborov, Alexander A.; Rudich, Steven, Natural proofs, Journal of Computer and System Sciences, 1997, 55 (1):

problem）在单调性电路（monotone circuit）中的下界为指数。然而在1994年Razborov（英语：Alexander Razborov）和Rudich（英语：Steven Rudich）的著名论文自然性证明（Natural proof）中指出，上面所用证明电路下界的方法，在单向函数存在的前提下是不可能分离NP

MR 0943525. doi:10.1016/0022-247X(88)90080-7 .  Razborov, Alexander A.; Rudich, Steven. Natural proofs. Journal of Computer and System Sciences. 1997, 55 (1):