Provide a comprehensive theoretical explanation of the P vs NP problem. Discuss the definitions of P and NP complexity classes, the concept of polynomial-time reduction, and the implications of a proof resolving whether P equals NP or not.