This classic result was a way to transform any algorithm with a given time budget into a up-to-date algorithm with a slightly smaller space budget. Williams saw that the simulation based on Kamyk would cause much less employ of the space of the up-to-date algorithm – uneven for the square element of the original algorithm time budget. This up-to-date cosmic economic algorithm would also be much slower, so the simulation probably did not have practical applications. But from a theoretical point of view it was revolutionary.
For 50 years, scientists assumed that Hopcroft, Paweł and Valiant’s universal simulation could not be improved. Williams’ idea – if it worked – would not beat their album – he would undress him.
“I thought about it and I thought,” Well, it just can’t be true, “said Williams. He put him aside and did not return to this fatal day in July, when he tried to find a defect in a quarrel and failed. After he realized that he had no defect, he spent months writing and rewriting evidence to make it possible.
At the end of February Williams finally Place ready paper online. Cook and Mertz were as surprised as everyone else. “I had to go for a long walk before I did anything else,” said Mertz.
Valiant got a preview of Williams improvement to his ten -year result during the morning. For years he studies at Harvard University, right at the Williams office in Mit. They met earlier, but they did not know that they lived in the same area until they fell on the bus on a snowy February day, a few weeks before the public result. Williams described his evidence to the surprised Valiant and promised to send his paper.
“I was very impressed,” said Valiant. “If you receive any mathematical result that is the best thing in 50 years, you must do something well.”
PSPACE: Final border
Thanks to his new simulation, Williams showed a positive result about the computing force of the space: algorithms using a relatively small space can solve all problems that require a little more time. Then, using only a few lines of mathematics, he reversed it and proved a negative result about the computing force of time: at least a few problems cannot be solved unless you use more time than space. Secondly, the narrower result is consistent with the expectations of researchers. The strange part is how Williams came there, first proving the result that applies to all algorithms, regardless of the problems they solve.
“I still find it strenuous to believe,” Williams said. “It seems too good to be true.”
Williams used Cook and Mertz to establish a stronger relationship between space and time – the first progress in this problem in 50 years.Photo: Katherine Taylor for Quanta magazine
Clear in qualitative terms, the second Williams’ result may sound how long the sought solution to the problem P versus PSPACE. The difference is a matter of scale. P and PSPACE are a very wide class of complexity, while Williams’ results work at a smaller level. He established a quantitative gap between the power of space and the strength of time and prove that PSPACE is greater than P, scientists will have to make this gap much, much wider.
This is a discouraging challenge, similar to the separation of the sidewalk with a crowbar until it is as wide as a large canyon. But it can be possible using the modified version of Williams simulation procedure, which repeatedly repeats the key step, saving some space every time. This is a way to raise the length of the crowbar many times – check it out large enough and you can open everything. This repeated improvement does not work with the current version of the algorithm, but scientists do not know if this is a basic limitation.
“It can be the final bottleneck or it can be a 50-year-old bottleneck,” said Valiant. “Or it could be something that maybe someone can solve next week.”
If the problem is resolved next week, Williams will kick himself. Before he wrote the newspaper, he spent months trying and did not expand his result. But even if such an extension is not possible, Williams is convinced that more space exploration will commit to an interesting place – perhaps progress in a completely different problem.
“I can never prove exactly what I want to prove,” he said. “But often what I prove is much better than I wanted.”
Editor’s attention: Scott Aaronson is a member of the Quanta magazine Advisory Council.
Original story reprinted with consent from How much warehouseeditorly independent publication Simons Foundation whose mission is to raise public understanding of science by covering the development of research and trends in mathematics and physics and life sciences.