Talk:PSPACE

From Wikipedia, the free encyclopedia

What do you mean by PSPACE-complete <= PSPACE?

  • It's rather obvious, that PSPACE-complete <= PSPACE, actually it's part of the definition. This is a bit puzzling. Someone should change this.

In the introductory paragraph, the sentence "It is also widely suspected that the \subseteq symbol on the last line should be a \subsetneq." references a symbol that is not present in the last line. Either one of the symbols is incorrect (wrt this sentence), or someone removed the line ;-)

The addition here had the original claim that PSPACE-complete ≤ PSPACE, and the comment referred to the conjecture that this containment was strict, i.e. that not all PSPACE problems were complete for the class. The last line was later removed, so the claim didn't make sense.

Someone had modified it further, but I removed it entirely from the text as it didn't make any sense anymore, and I don't think the PSPACE-complete < PSPACE idea is really that important to mention. --Saforrest 05:53, 15 November 2005 (UTC)