在可计算性理论和计算复杂性理论之间,王浩起了承上启下的作用,其实,他介入复杂性理论相对机器定理证明要更早,但他对复杂性理论的贡献多少被忽视。这有外在的原因:图灵(1936)和库克(1971)影响如此之广之深;另一方面,也有内在的原因:王浩晚年转向哲学,对计算理论兴趣不大。1986~1987年间,我的老师杨学良教授曾在洛克...
计算复杂性50年:王浩与计算理论 2021-12-21中国计算机学会 文/尼克 如果说图灵 (Turing) 1936年那篇开天辟地的文章《论可计算数及其在判定问题上的应用》[1]奠定了计算理论的基础,那么称库克 (Cook) 1971年发表的文章《定理证明过程的复杂性》[2]是计算复杂性的开山之作,一点也不夸张。从库克这篇文章的发表日...
【计算复杂性50年:王浩与计算理论】如果说图灵 (Turing) 1936年那篇开天辟地的文章《论可计算数及其在判定问题上的应用》[1]奠定了计算理论的基础,那么称库克 (Cook) 1971年发表的文章《定理证明过程的复杂性》[2]是计算复杂性的开山之作,一点也不夸张。从库克这篇文章的发表日期开始算,今年(2021年),计算复杂...
库克(Cook)1971年发表的文章《定理证明过程的复杂性》被认为是计算复杂性的开山之作。从这篇文章的发表日开始算,至2021年,计算复杂性理论已经50岁了,且恰逢库克的导师王浩百年诞辰。本文回溯计算复杂性的起源,并力图梳理王浩和这门学科的关系。 如果说图灵(Turing)1936年那篇开天辟地的文章《论可计算数及其在判定问...