Define the P vs NP problem clearly. Explain the difference between problems solvable in polynomial time and those whose solutions can be verified in polynomial time, and discuss the implications if P were to equal NP.