shortest path spec