Leonid Levin

任何其他NP问题都可以在多項式時間內被一决定型圖靈機歸約成這個問題。 庫克-李文定理是以史蒂芬·库克和利奥尼德·李文（英语：Leonid Levin）為名。 這定理一個非常重要的推论为：如果SAT问题可在多项式时间内被一确定型演算法解决，則「所有的」NP問題都存在可在多项式时间内解决之

年大奖难题之一。P/NP问题包括复杂度类P与NP的关系。1971年由史提芬·古克（Stephen A. Cook）和列昂尼德·列文（英语：Leonid Levin）分別提出。 复杂度类P即為所有可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由所有可以在多项式时间内验证它的解是否正確的决

Lynch 2008年 - 沃爾克·施特拉森 2010年 - David Johnson 2011年 – Ravi Kannan 2012年 – Leonid Levin 2013年 – Gary Miller 2014年 – Richard J. Lipton 2015年 – László Babai 2016年

一開始很難相信NPC問題是實際存在的，但著名的古克-李芬定理說明了一切（由Leonid Levin（英语：Leonid Levin）與Cook獨立證出SAT問題是NPC問題（即Cook-Levin理論）。 在1972年，理查德·卡普證明有好幾個問題也是NPC（請見卡普的二十一個NP-

2-38.5亿年前的酒海纪，其名称取自前苏联火箭技术工程师，与科罗廖夫长期共事的列昂尼德·亚历山德罗维奇·沃斯克列先斯基（英语：Leonid Voskresensky）（Leonid Alexandrovich Voskresensky，1913年－1965年），1970年被国际天文学联合会正式批准接受。