The language PATH is decided by the following algorithm in polynomial time:
Use Bellman-Ford to find shortest path from u to v in G If length(path) k then output 1 else output 0