Define P and NP in the context of computational complexity theory. Explain the significance of the P vs NP problem. Discuss why it is generally believed that P is not equal to NP and the implications if P were equal to NP.