|
题名:
|
近世计算理论导引 / 黄文奇, 许如初著 , |
|
ISBN:
|
7-03-012617-3 价格： CNY20.00 |
|
语种:
|
chi |
|
载体形态:
|
10, 87页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2004 |
|
内容提要:
|
本书为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效求解途径, 并在透彻讲解图灵机的基础上阐明为何有计算机不可解、难解的问题, 且为NP问题指明了得出高性能求解算法的现实途径等。 |
|
主题词:
|
电子计算机 计算复杂性 |
|
中图分类法:
|
TP301.5 版次： 4 |
|
其它题名:
|
NP难度问题的背景、前景及其求解算法研究 |
|
主要责任者:
|
黄文奇 著 |
|
主要责任者:
|
许如初 著 |
|
附注:
|
《数学机械化丛书》获国家基础研究发展规划项目“数学机械化与自动推理平台”与“数学机械化应用推广专项经费”资助 中国科学院科学出版基金资助出版 |