最短路径覆盖