01 · 计算人生
成果背后的人
尤里斯·哈特马尼斯通过研究时间和内存如何限制算法，帮助创建计算复杂性理论。他与理查德·斯特恩斯在通用电气建立按计算资源分类问题的框架，并证明层次结构结果。他后来建设康奈尔大学计算机科学系。他的研究把关注点从问题是否可计算，推进到求解需要多少计算资源。
理解这项贡献
尤里斯·哈特马尼斯和理查德·斯特恩斯奠定了计算复杂性理论的基础。他们不只问问题能否计算，还研究输入增大时需要多少资源。他们的工作帮助揭示，给予更多计算时间，确实可能增加机器能够解决的问题。
为什么重要
基于资源的分类，为比较问题和理解计算边界提供了语言。