黄文奇

更新时间:2023-06-01 10:34

教授、博士导师 曾任华中科技大学计算机科学与理论研究所所长,中国计算机学会理论计算机科学专业委员会常务委员,美国数学会“数学评论”评论员,1981、1982年在美国康乃尔大学数学系作为访问学者进修递归论。

简介

1982年及1992年在美国康乃尔大学数学系及洛克菲勒大学数理逻辑室作为访问科学家、咨询人与美方卓越学者王浩、Nerode、鲍亦兴教授进行合作研究。他的主要学术成就为如下五条

成就

1. 在国际上首次提出求解NP难度问题的拟物拟人方法.

2. 在Nerode的指导下并同Nerode合作发表了奠基性的论文,为递归分析的现代化奠定了严格的理论基础.

3. 提出基于未来点上自然约束的预卜方法, 为无解析表达式曲线之求长得到了低复杂度高精度的测量计算公式.

4. 依拟物拟人的哲学与技术, 指导自己的青年学生并同他们合作为五个典型的NP难度问题得出了具有当代(或当时)最高性能指标的求解算法. 这五大问题是Packing 问题, Scheduling问题, Covering问题, 蛋白质折叠问题与SAT问题.

共完成并正式发表论文50余篇,1996年参加第三届SAT问题快速算法国际竞赛获得第一名。享受国家政府特殊津贴

著作

《近世计算理论导引——NP难度问题的背景、前景及其求解算法研究》————黄文奇 许如初著 科学出版社

《求解NP难问题的拟人拟物方法》黄文奇 许如初

出版图书

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}