This question already has an answer here:
On the Wikipedia article for Complexity Theory, we can find the following diagram that shows how Complexity Classes are divided: How could I draw something similar to this in LaTeX?
Also is it possible to make the diagram less ugly, perhaps by giving the
P Problems and
NP Complete groups more interesting shapes?