黄文奇
教授
黄文奇,教授、博士导师 曾任华中科技大学计算机科学与理论研究所所长,中国计算机学会理论计算机科学专业委员会常务委员,美国数学学会“数学评论”评论员。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难问题的拟人拟物方法》黄文奇 许如初
参考资料
目录
概述
学术成就
参考资料