Conjectura de 50 anos sobre espaço versus tempo na computação resolvida

Uma questão central na teoria da complexidade computacional é a relação entre P e PSPACE, classes que englobam problemas solucionáveis em tempo e espaço razoáveis, respectivamente. Intuitivamente, o espaço é um recurso mais poderoso que o tempo porque é reutilizável. Por 50 anos, pesquisadores tentaram provar que PSPACE é maior que P, significando que alguns problemas são impossíveis de resolver rapidamente, mas solucionáveis com espaço limitado. Hopcroft, Paul e Valiant fizeram uma descoberta em 1975, mostrando que o espaço é ligeiramente mais poderoso que o tempo. No entanto, esse progresso foi limitado pela abordagem de 'simulação'. Ryan Williams finalmente quebrou o impasse com uma abordagem inovadora, resolvendo o problema de longa data.