请将单源单目的地最短路径问题表示为一个线性规划问题。