@Article{MC-13-1,
author = {尼, 克},
title = {计算复杂性50年：王浩与计算理论},
journal = {数学文化},
year = {2022},
volume = {13},
number = {1},
pages = {25--35},
abstract = {<p style="text-align: justify;"><br/></p><p style="text-align:center"><img src="https://admin.global-sci.org/uploads/ueditor/image/20220309/1646814930440769.png" title="1646814930440769.png" alt="image.png" width="386" height="171"/></p><p style="text-align: justify;">如果说图灵1936年那篇开天辟地的文章奠定了计算理论的基础，那么说库克（Stephen Cook）1971年的文章《定理证明过程的复杂性》是计算复杂性的开山之作，一点也不夸张。从库克文章发表日开始算，计算复杂性理论50岁了（2021年）。2021年又是库克的导师王浩冥诞100年。本文回溯计算复杂性的起源，并力图梳理王浩和这门学科的关系。<br/></p>},
issn = {2617-8656},
doi = {https://doi.org/2022-MC-20333},
url = {https://global-sci.com/article/89150/50}
}