最短路径问题数学模型