Theoretically analyze and compare the relationships between major complexity classes including P, NP, NP-Complete, PSPACE, and EXP. Discuss the known inclusion hierarchies and the open questions regarding their strict separations.