Alexander Razborov

中的下界为指数，以及团问题（clique problem）在单调性电路（monotone circuit）中的下界为指数。然而在1994年Alexander Razborov（英语：Alexander Razborov）和Steven Rudich（英语：Steven Rudich）的著名论文自然性证明（Natural

Abacus Medal）。 1982年 - 罗伯特·塔扬 1986年 - 莱斯利·瓦利安特 1990年 - A.A. Razborov（英语：Alexander Razborov） 1994年 - 阿维·威格森 1998年 - 彼得·秀爾 2002年 - 迈度·苏丹（英语：Madhu Sudan）

(2): 781–793, ISSN 0003-486X, doi:10.4007/annals.2004.160.781   Razborov, Alexander A.; Rudich, Steven, Natural proofs, Journal of Computer and System

132 (2): 520–529. MR 0943525. doi:10.1016/0022-247X(88)90080-7 .  Razborov, Alexander A.; Rudich, Steven. Natural proofs. Journal of Computer and System

中的下界为指数，以及团问题（clique problem）在单调性电路（monotone circuit）中的下界为指数。然而在1994年Razborov（英语：Alexander Razborov）和Rudich（英语：Steven Rudich）的著名论文自然性证明（Natural