黃文奇

黃文奇

教授、博士導師 曾任華中科技大學計算機科學與理論研究所所長,中國計算機學會理論計算機科學專業委員會常務委員,美國數學會“數學評論”評論員,1981、1982年在美國康乃爾大學數學系作為訪問學者進修遞歸論。

基本信息

簡介

1982年及1992年在美國康乃爾大學數學系及洛克菲勒大學數理邏輯室作為訪問科學家、諮詢人與美方卓越學者王浩、Nerode、鮑亦興教授進行合作研究。他的主要學術成就為如下五條

成就

1. 在國際上首次提出求解NP難度問題的擬物擬人方法.

2. 在Nerode的指導下並同Nerode合作發表了奠基性的論文,為遞歸分析的現代化奠定了嚴格的理論基礎.

3. 提出基於未來點上自然約束的預卜方法, 為無解析表達式曲線之求長得到了低複雜度高精度的測量計算公式.

4. 依擬物擬人的哲學與技術, 指導自己的青年學生並同他們合作為五個典型的NP難度問題得出了具有當代(或當時)最高性能指標的求解算法. 這五大問題是Packing 問題, Scheduling問題, Covering問題, 蛋白質摺疊問題與SAT問題.

5. 在 P=?NP 問題的研究歷程中, 有一個困惑了國際學術界著名學者們近二十年的Tseitin問題. 黃文奇同他的學生余向東發表了著名論文"一個無正則最短消解路徑的析取範式", 使Tseitin問題得到了徹底的解決.

共完成並正式發表論文50餘篇,1996年參加第三屆SAT問題快速算法國際競賽獲得第一名。享受國家政府特殊津貼。

著作

《近世計算理論導引——NP難度問題的背景、前景及其求解算法研究》————黃文奇 許如初著 科學出版社

《求解NP難問題的擬人擬物方法》黃文奇 許如初

相關詞條

相關搜尋

熱門詞條

聯絡我們