I wonder where would be a good place to mention that we know some problems not in P, for instance Presburger arithmetic. --AxelBoldt
I've added it to Complexity classes P and NP. It should also be added to EXPTIME, whenever someone gets around to writing it. I would put it under P too, except that's more of a redirect than a real article. --LC
I've added a note explaining (in brief) what the Co classes are. What do you think about trying to consolidate many of these articles? For example, NP and Co-NP should probably be the same article, as should NP-complete and Co-NP-complete
GulDan 18:10, 31 Jul 2003 (UTC)