Define the classes P and NP in the context of computational complexity theory. Analyze the P vs NP problem, discussing the implications of a proof that P equals NP versus P does not equal NP. Provide examples of NP-complete problems.