On the solution of the P vs NP problem