[dgs_sgd]

I think that's unclear. A constructive proof of P != NP might yield insights into the "gap" between them.