机读格式显示(MARC)
- 000 01713nam2 2200397 4500
- 010 __ |a 7-03-012617-3 |b 精装 |d CNY20.00
- 100 __ |a 20040920d2004 em y0chiy0110 ea
- 200 1_ |a 近世计算理论导引 |9 jin shi ji suan li lun dao yin |e NP难度问题的背景、前景及其求解算法研究 |f 黄文奇,许如初著
- 210 __ |a 北京 |c 科学出版社 |d 2004
- 225 2_ |a 数学机械化丛书 |v 5 |A Shuxuejixiehuacongshu
- 300 __ |a 《数学机械化丛书》获国家基础研究发展规划项目“数学机械化与自动推理平台”与“数学机械化应用推广专项经费”资助 中国科学院科学出版基金资助出版
- 300 __ |a 其他题名:NP难度问题的背景、前景及其求解算法研究
- 330 __ |a 本书为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效求解途径,并在透彻讲解图灵机的基础上阐明为何有计算机不可解、难解的问题,且为NP问题指明了得出高性能求解算法的现实途径等。
- 461 _0 |1 001002171715 |1 2001 |a 数学机械化丛书 |v 5
- 517 1_ |a NP难度问题的背景、前景及其求解算法研究 |9 NP nan du wen ti de bei jing 、 qian jing ji qi qiu jie suan fa yan jiu |A NPNanduwentidebeijing、qianjingjiqiqiujiesuanfayanjiu
- 606 0_ |a 电子计算机 |x 计算复杂性 |x 理论 |A Dianzijisuanji
- 606 0_ |a 电子计算机 |A Dianzijisuanji
- 606 0_ |a 计算复杂性 |A Jisuanfuzaxing
- 701 _0 |a 黄文奇 |9 huang wen qi |4 著
- 701 _0 |a 许如初 |9 xu ru chu |4 著
- 801 _0 |a CN |b NLC |c 20040722
- 801 _2 |a CN |b 261060 |c 20041009
- 905 __ |a XATU |d TP301.5/3
- 995 __ |a 261060 |f TP301.5/3
- 999 __ |t C |A cuixj |a 20040920 15:06:02 |I zw |i 20041009 15:03:1