P And Np In Theory Of Computation