當前位置 主頁 > 站長資源大全 > iis7百科 >

    斯蒂芬·庫克——NP完備理論創始人

    欄目:iis7百科 時間:2019-11-13 09:47

      多倫多大學教授斯蒂芬·庫克,曾經想出了世界上最棘手的數學難題,也曾榮獲加拿大最高科學獎,如今,他又在周三的時候獲得了2012年赫茨伯格金獎,這個獎是以諾貝爾文學獎得主格哈德·赫茨伯格的名字命名的,另外,還配有100萬美元的獎金。庫克,現73歲,為數學和計算機科學的現代加密技術和商業的心臟做出了重要的貢獻。庫克畢業于哈佛大學,獲博士學位,并于1970年在北方的多倫多大學任教,除了著名的“復雜性理論”,庫克在計算理論,算法設計,編程語言以及數學邏輯上都有了不錯的成績。頒發獎牌的委員會表示:“他仍然會花費越來越多的時間在工作上,他依然可能會花費幾十年的時間在一個研究上,在宣布他的獎金的時候,他想到的是未來的研究經費有著落了,他就是斯蒂芬·庫克。
      NP完全性理論的奠基人斯蒂芬·A·庫克(Stephen A. Cook,1939年-),計算機科學家,計算復雜性理論的重要研究者。
      1971年,在他的論文《The Complexity of Theorem Proving Procedures》,他整理了NP完備性的目標,亦產生了庫克定理——布爾可滿足性問題是NP完備的證明。
      1982年,古克得到圖靈獎。因為其論文開啟了NP完備性的研究,令這個領域于之后的十年成為計算機科學中最活躍和重要的研究?爽F為多倫多大學的計算機科學和數學系教授。加拿大多倫多大學教授斯蒂芬·庫克(Stephen Arthur Cook)因在計算復雜性理論方面的貢獻,尤其是在奠定NP完全性理論基礎上的突出貢獻而榮獲1982年度的圖靈獎。
      1957年中學畢業后,庫克離開克拉倫斯去上密歇根大學,專業是科學工程。一年級時他選了一門新開設的課程——程序設計,第一次接觸計算機。作為作業,他編了一個Algol程序以驗證哥德巴赫猜想,在機器允許的范圍內,每個大于3的偶數都是2個素數之和。這使庫克開始對計算機科學發生興趣。
lj663的博客 原創內容,個人筆記,僅供參考。篠AP中導出物料 lj663的博客 原創內容,個人筆記,僅供參考。宏P于作者博文的 lj663的博客 原創內容,個人筆記,僅供參考。荷昝鳎罕救瞬┛ lj663的博客 原創內容,個人筆記,僅供參考。宏P于VIP文章的 程序員springmeng:??爆肝熬夜開發了一個SpringBoot活動管理系統 相太陽的博客:CSS font-size字體大小樣式屬性 Jqcode:配置文件中propertyConfigurer類的使用 Jqcode:Eclipse插件使用Mybatis-generator代碼生成器 Jqcode:命令行使用Mybatis-generator代碼生成器 Jqcode:SpringMVC工作原理 Jqcode:MD5Utils Jqcode:mysql中自連接查詢與case-when-then用法 Jqcode:json相關轉換 Jqcode:使用Pipeline管道技術快速寫入百萬級別緩存數據 Jqcode:mysql查詢中常用的函數整理 Jqcode:Eclipse中Debug調試時各個快捷鍵的作用 Jqcode:Controller返回json格式數據報反序列化異常的解決辦法 Jqcode:java配置相關參數啟動項目 Jqcode:初步了解mysql存儲過程 Jqcode:layDate,一款來自layui的強大日期插件 Jqcode:layer,一款來自layui的強大彈出層插件 Jqcode:java實現線程間的通信 Jqcode:java導出EXCEL表格―實戰篇 Jqcode:Redis常問面試題整理 Jqcode:List數據去重方法 Jqcode:初識mysql觸發器 Jqcode:數據庫設計規范之三大范式 Jqcode:關于mysql用戶安全管理的一些命令 Jqcode:關于哈希表必須了解的一些知識 Jqcode:本地環境nexus搭建私服jar包站點 Jqcode:使用Dom4j中的Document與Element解析XML文檔 Jqcode:postman調用https接口方式 Jqcode:簡單記錄Spring中輕量級任務調度@Scheduled注解的使用 Jqcode:項目啟動后控制臺自定義輸出圖案或內容 Jqcode:RabbitMQ消息隊列中間件――安裝與配置 Jqcode:RabbitMQ消息隊列中間件――“Hello World”入門 Jqcode:nginx反向代理實踐:將某個指定的域名代理到指定的服務 Jqcode:Spring Cloud微服務架構――Eureka注冊中心 Jqcode:Spring Cloud微服務架構――Eureka服務注冊 Jqcode:Spring Cloud微服務架構――Eureka服務發現與消費 Jqcode:Spring Cloud微服務架構――Ribbon客戶端負載均衡 Jqcode:Spring Cloud微服務架構――Feign客戶端負載均衡 Jqcode:es+kibana在windows平臺下的搭建記錄 Jqcode:kibana安裝中文插件 Jqcode:mongodb常用語法 Jqcode:關于原碼、反碼、補碼的學習 Jqcode:@Autowired、@Resource還分不清嗎? 英雄哪里出來:??13萬字《C語言動漫對話教程(入門篇)》??(建議收 lyndon:CSDN 去除圖片水印 lyndon:Android 手機修改 WiFi MAC 地址 php怎么將漢字轉成拼音 php 50.00怎么轉換成50 一文帶你分析php7的zval 聊聊關于PHP定時器的那些事 微信推廣 如何做好微商 必看微信朋友圈購物八大準則 如何避免朋友圈購物存在問題 JavaScript循環遍歷的24個方法 關于@PostConstruct、afterPropertiesSet和init-method的執行順序 Redis數據過期策略的實現詳解 Java設計模式之java觀察者模式詳解 java工程師進階之MyBatis延遲加載的使用 提高網站收錄率請從建站開始! php pthreads的使用方法 php分頁有幾種實現方法 Yaf遇上PHP7.1會有什么火花? 這個php-cs-fixer編碼格式化工具,你還不會用嗎? 微信朋友圈曬成交、曬對話有圖不等于有真相 交易量是這么來的 揭秘微商驚天陷阱 微信朋友圈里的面膜都賣給了誰? .net平臺的rabbitmq使用封裝demo詳解 C++類的特種函數生成機制詳解
A级免费视频