williams

计算机科学中最著名的问题之一 50 年来的首次进展

2024年 7 月的下午,瑞恩·威廉姆斯他开始证明自己错了。两个月过去了,他突然发现了计算中时间和记忆之间关系的惊人发现。这是一个数学证明的粗略草图,证明内存比计算机科学家认为的更强大:在所有可以想象的计算中,少量的内存与大量时间一样有用。这听起来太不可能了,

williams 计算机科学 valiant pspace 2025-05-22 16:46  3