Write draft proof for NP - completeness of shortest path problem