为什么添加完整的硬盘驱动器可以使计算机更强大

快速阅读: 据《有线》最新报道，2000年代后期，麦肯齐与史蒂芬·库克提出树评估问题，质疑其能否用有限内存解决。此研究成为复杂性理论的重要里程碑，推动算法优化研究，树评估问题仍是衡量效率与内存使用的基准。

在2000年代后期，麦肯齐与开创性复杂性理论家史蒂芬·库克设计了一个看似充满潜力的候选问题。这个问题被称为树评估问题，它涉及不断解决一个更为简单的数学问题，将一对输入数字转化为单一输出。这一数学问题的多个实例以层次结构排列，类似于锦标赛的对阵表：每一层的输出成为下一层的输入，直至只剩下一个输出为止。不同的树评估算法代表着从初始输入计算最终输出的不同策略——它们可能按照不同的顺序执行计算，或者采用不同的方式记录中间步骤的结果。许多算法能够快速解决树评估问题，将其归入P类问题。然而，每一种此类算法都必须为正在处理的数字分配部分内存，同时保存已计算出的数字以供后续步骤使用。因此，库克和麦肯齐推测，该问题无法仅靠有限内存解决。他们在2010年与其他三位研究者合作，在一篇论文中正式提出了这一直觉，并证明解决树评估问题的任何普通算法都需要过多内存，不符合L类问题的标准。

这篇研究引发了学界对树评估问题的广泛关注，成为复杂性理论领域的重要里程碑。尽管树评估问题看似简单，但它揭示了计算机科学中最基本的挑战之一：如何在有限资源下高效解决问题。麦肯齐与库克的研究不仅为复杂性理论提供了新的视角，还激发了更多学者探索算法优化的可能性。随着技术的不断发展，树评估问题依然是衡量算法效率与内存使用的重要基准。

(以上内容均由Ai生成)