MITの理論計算機科学者ライアン・ウィリアムズ氏が発表した新たな証明により、従来よりもはるかに少ないメモリで計算を可能にするアルゴリズム変換手法が明らかになりました。この成果は、過去50年間解明されなかった時間と空間の関係性に一石を投じるもので、複雑性理論における大きな前進と評価されています。今後のP対PSPACE問題の突破口としても注目されています。