變更

史蒂芬·庫克

增加 39 位元組, 3 年前

無編輯摘要

|}

'''史蒂芬·亞瑟·库克'''（Stephen Arthur Cook，{{bd|1939年|12月14日}} ，誕生於 [[紐約州]][[水牛城]] ，[[計算機科學]]家，[[計算複雜性理論]]的重要研究者。

1971年，在他的論文《{{lang|en|The Complexity of Theorem Proving Procedures}}》，他整理了[[NP完備|NP完備性]]的目標，亦產生了[[古克定理|库克定理]]——[[布爾可滿足性問題]]是NP完備的證明。

24,865

次編輯