MATLAB优化工具箱解决小规模旅行商问题的分支定界算法

需积分: 44 5 下载量 37 浏览量 更新于2024-08-13 收藏 486KB PDF 举报
"用分支定界算法求解旅行商问题 (2007年) - 中北大学学报(自然科学版), 管琳, 白艳萍" 旅行商问题(Traveling Salesman Problem, TSP)是运筹学领域一个经典的组合优化问题,它的核心在于寻找一个给定数量的城市之间最短的巡回路线,使得旅行商能从起始城市出发,依次经过每个城市一次,并最终返回起始城市。这个问题被广泛地应用于物流、网络设计、电路板布线等多个领域。 在这个研究中,作者管琳和白艳萍基于0-1整数规划来建立TSP的数学模型。0-1整数规划是一种特殊的线性规划,其中决策变量只取0或1两个值,这与TSP问题中必须访问或不访问每个城市的特性相吻合。他们利用MATLAB 6.5的优化工具箱中的linprog函数来解决这个问题。linprog函数是一个用于线性规划的优化器,它能够找到满足约束条件下的目标函数最小值。然而,TSP是一个NP难问题,简单的线性规划方法对于大规模问题可能效率低下。 因此,作者引入了分支定界算法(Branch and Bound Algorithm)进一步处理这个问题。分支定界算法是一种全局优化方法,通过将问题的搜索空间逐步分解为更小的子问题(分支),同时结合下界和上界的比较(定界)来消除不可能产生最优解的子问题,从而逐步逼近最优解。这种方法特别适合于解决离散优化问题,如TSP。 实验结果显示,采用这种结合linprog和分支定界算法的方法,可以有效地求解小规模的旅行商问题。尽管这个方法对于小规模问题有较好的性能,但对于大规模TSP,由于搜索空间的指数增长,计算复杂度会显著增加,因此,实际应用中可能会遇到计算时间过长的问题。 关键词"旅行商问题"强调了研究的核心内容,"分支定界"表明了所使用的求解策略,而"linprog函数"则突显了在解决这个问题时采用的工具。"文献标识码:A"表示这是一个学术研究性质的文章,"中图分类号:O29"则将其归类于运筹学和数学优化领域。 这项研究提供了一个利用MATLAB的优化工具和分支定界算法解决小规模TSP问题的实例,对于理解和应用这类算法解决实际问题具有一定的参考价值。然而,对于实际应用中遇到的大规模问题,可能需要探索更高效的算法或近似方法。
2010-05-08 上传
支限界法类又称为剪枝限界法或分支定界法,它类似于回溯法,也是一种在问题的解空间树T上搜索问题解的算法。它与回溯法有两点不同:①回溯法只通过约束条件剪去非可行解,而分支限界法不仅通过约束条件,而且通过目标函数的限界来减少无效搜索,也就是剪掉了某些不包含最优解的可行解。②在解空间树上的搜索方式也不相同。回溯法以深度优先的方式搜索解空间树,而分支限界法则以广度优先或以最小耗费优先的方式搜索解空间树。分支限界法的搜索策略是:在扩展结点处,先生成其所有的儿子结点(分支),然后再从当前的活结点表中选择下一个扩展结点。为了有效地选择下一扩展结点,以加速搜索的进程, 在每一活结点处,计算一个函数值(限界),并根据这些已计算出的函数值,从当前活结点表中选择一个最有利的结点作为扩展结点,使搜索朝着解空间树上有最优解的分支推进,以便尽快地找出一个最优解。 从活结点表中选择下一扩展结点的不同方式导致不同的分支限界法。最常见的有以下两种方式: ①队列式(FIFO)分支限界法:队列式分支限界法将活结点表组织成一个队列,并按队列的先进先出原则选取下一个结点为当前扩展结点。 ②优先队列式分支限界法:优先队列式分支限界法将活结点表按照某个估值函数C(x)的值组织成一个优先队列,并按优先队列中规定的结点优先级选取优先级最高的下一个结点成为当前扩展结点。 影响分支限界法搜索效率的有两个主要因素:一是优先队列Q的优先级由C(x)确定,它能否保证在尽可能早的情况下找到最优解,如果一开始找到的就是最优解,那么搜索的空间就能降低到最小。二是限界函数u(x),它越严格就越可能多地剪去分支,从而减少搜索空间。 在用分支限界法解决TSP问题时,有不少很好的限界函数和估值函数已经构造出来出了(限于篇幅,这里不做详细介绍), 使得分支限界法在大多数情况下的搜索效率大大高于回溯法。但是,在最坏情况下,该算法的时间复杂度仍然是O(n!),而且有可能所有的(n-1)!个结点都要存储在队列中。 近似算法是指不能肯定找到最优解的算法,但通常找到的也是比较好的解,或称近似最优解。[20]一般而言,近似算法的时间复杂度较低,通常都是多项式时间内的。由于近似算法的时间效率高,所以在实际应用中,主要是使用近似算法,这一类算法也一直是研究的主要对象。传统的近似算法以采用贪心策略和局部搜索为主,而几十年来,随着以遗传算法为代表的新型启发式搜索算法的逐步完善,在解决TSP问题上获得了巨大的成功。遗传算法、模拟退火算法、蚁群算法等已经成为公认的好算法。在本节中,将介绍传统的近似算法。