整数规划求解有向图最短路径问题环路解决方法
在有向图中,经常遇到给定起点和终点以及必经点,选择一条权重最小的路径这样的问题。这种问题可以看做是旅行商问题(tsp)的变种,tsp问题是一种组合爆炸问题,当规模变大时,时间耗费十分巨大。
在数学上tsp可以使用整数规划求解,通过求解最小值问题得出需要的路径, 其正确性通过添加约束来保证的。
图问题不可避免的遇到环路问题,解决环路问题在规模比较小的时候,可以通过遍历图中所有节点,寻找出所有环路,对环路添加约束,进行求解,此方法一定能够得到最优解。但是随着图的规模变大,不可能把所有环路全部得出。
问题描述
给定一个带权有向图,起点,终点和必经节点子集,寻找从起点到终点的一条最短路径,此路经必须经过必经节点子集,必经节点子集部分顺序。
求解方法
整数规划,第三方库lpsolve
数学描述
设有向边为{ x0 , x1 , x2 , ... , xn }, 权重为{ w0 , w1 , w