P, Np, And Np-Completeness door Oded Goldreich