P vs. PSPACE: O Espaço é Computacionalmente Mais Poderoso que o Tempo?

Uma questão central na teoria da complexidade é a relação entre as classes de complexidade P e PSPACE. P engloba problemas solucionáveis em tempo razoável, enquanto PSPACE trata da complexidade espacial. A crença predominante é que PSPACE é maior que P, devido à reusabilidade do espaço, ao contrário do tempo. Provar isso requer demonstrar problemas em PSPACE insolúveis em tempo polinomial. O artigo relata a descoberta de 1975 por Hopcroft, Paul e Valiant, mostrando a ligeira vantagem do espaço sobre o tempo, mas o progresso estagnou. O trabalho de Ryan Williams finalmente quebrou o impasse, oferecendo novas perspectivas para resolver o problema P vs. PSPACE.