关于线性二层规划分枝定界方法的探讨

合集下载

分支定界法

分支定界法

分支定界法分支定界法是一种应用于企业决策分析中的技术方法,也是现代管理决策学的重要内容之一。

它不仅对决策分析有重要的理论意义,而且在实践应用方面,它的实用性和有效性也得到了广泛的认可和应用。

它通过把复杂的问题分割成若干个相对独立的子问题,逐步解决问题的方法,使得复杂的问题分析更加容易。

分支定界法的基本思想是为了解决复杂的问题,从而可以将复杂的问题分解成一个个简单的子问题,逐一解决。

它把复杂的问题分解为一系列线性分支变量,具有相似的结构,依次得出最佳解决方案,从而形成技术分析过程和决策过程。

从技术过程来看,应用分支定界法可以充分利用多种信息,全面考虑分析问题,得出一个最优的解决方案。

它利用分支定界单元,把复杂的问题分解为一系列的线性子问题,逐步分析,最终整体得到解决。

它通过不断地分支和定界,从而尽量减少分析人员的心理负担,提高整体决策效率,从而实现最优解决方案的有效追求。

分支定界法也有自己特定的过程,主要包括5个步骤:首先是定义问题,提出可能的解决方案,然后进行计算,同时也会建立一些约束条件,也就是变量的限制条件;其次是开展调查,分析变量的关系,建立线性优化问题的数学模型;第三步是采用分支定界法,通过建立分支定界树来实现分析;第四步是进行结果分析,计算最佳解以及最优解;最后一步是完成评价,根据计算结果,给出最终的解决方案。

分支定界法广泛用于现代企业决策分析中,它能够有效解决企业出现的复杂管理问题,帮助企业制定出最优的管理决策,使企业在竞争市场中脱颖而出。

同时,分支定界法也可以应用在其他复杂的决策问题中,如产品营销、投资决策等,都能取得良好的结果。

总之,分支定界法是一种实用的和有效的技术,在现代管理决策中,它的实用性和有效性都得到了广泛的认可和应用。

以它为基础,需要得到仔细深入的研究,以期能够更好地发挥它的功能和作用,为企业提供更为全面有效的决策参考和支持。

分支定界法

分支定界法

分支定界法第一篇:分支定界法整数线性规划之分支定界法摘要最优化理论和方法是在上世纪 40 年代末发展成为一门独立的学科。

1947年,Dantaig 首先提出求解一般线性规划问题的方法,即单纯形算法,随后随着工业革命、计算机技术的巨大发展,以及信息革命的不断深化,到现在的几十年时间里,它有了很快的发展。

目前,求解各种最优化问题的理论研究发展迅速,例如线性规划、非线性规划以及随机规划、非光滑规划、多目标规划、几何规划、整数规划等,各种新的方法也不断涌现,并且在军事、经济、科学技术等方面应用广泛,成为一门十分活跃的学科。

整数规划(integer programming)是一类要求要求部分或全部决策变量取整数值的数学规划,实际问题中有很多决策变量是必须取整数的。

本文主要介绍求解整数线性规划问题的分支定界法及其算法的matlb实现。

关键词:整数线性规划;分支定界法;matlb程序;1.引言1.1优化问题发展现状最优化理论与算法是一个重要的数学分支,它所讨论的问题是怎样在众多的方案中找到一个最优的方案.例如,在工程设计中,选择怎样的设计参数,才能使设计方案既满足要求又能降低成本;在资源分配中,资源有限时怎样分配,才能使分配方案既可以满足各方面的要求,又可以获得最多的收益;在生产计划安排中,怎样设计生产方案才能提高产值和利润;在军事指挥中,确定怎样的最佳作战方案,才能使自己的损失最小,伤敌最多,取得战争的胜利;在我们的生活中,诸如此类问题,到处可见.最优化作为数学的一个分支,为这些问题的解决提供了一些理论基础和求解方法.最优化是个古老的课题.长期以来,人们一直对最优化问题进行着探讨和研究.在二十世纪四十年代末,Dantzig 提出了单纯形法,有效地解决了线性规划问题,从而最优化成为了一门独立的学科。

目前,有关线性规划方面的理论和算法发展得相当完善,但是关于非线性规划问题的理论和算法还有待进一步的研究,实际应用中还有待进一步的完善。

二层规划问题的讨论

二层规划问题的讨论
(P1 ) max f1 (x,y) = -2x + 11y x
其中 y 解
(P 2 ) max f 2 (x,y)= -x -2y y s.t. x-2y ≦4 2x-y ≦24 3x+4y≦96 x+7y ≦126 -4x+5y ≦65 x+4y ≧8 x≧0,y≧0
反馈函数为
- x +2 4
y=
0
0
2
0
1
60-3 Leabharlann 1000-1
0
0
2 x1 -21
表2

的单位矩阵就是新的基矩阵
B
1
,右端就是
B
−1 1
(r
–Ax
1
)。
因此上层应解如下的线性规划:
(P11 ) max x 2 =2 x1 -21
s.t. 5 x1 -52 ≥ 0
3 x1 -36 ≥ 0
2 x1 -21 ≥ 0
80-5 x1 ≥ 0
此外,二层规划在工程设计问题、价格问题和其他数学 领域也有广泛的应用。
3
1.2 本文讨论的问题
本文第二章讨论了二层线性规划问题,主要描述了下层以最 优解作为最佳反映反馈到上层的二层规划问题的形式、其解的概 念和相关性质。价格控制问题本身是非线性的,但因常常作为线 性问题来处理,所以也放到第二章。同时这章也给出了两种算法: 隐式搜索法和 K 次最好法。
简单的说,(BLP)问题的最优解(X,Y)就是数学规划问题 (MP)的最优解。
2.2 二层线性规划问题的算法
以下介绍求解二层线性规划的一种方法——隐式搜索法。引 人松弛变量以后,不妨仍把(BLP)问题化为如下的标准模型。

分支定界法和割平面法

分支定界法和割平面法

分支定界法和割平面法在上学期课程中学习的线性规划问题中,有些最优解可能是分数或消失,但现实中某些具体的问题,常要求最优解必须是整数,这样就有了对于整数规划的研究。

整数规划有以下几种分类:(1)如果整数规划中所有的变量都限制为(非负)整数,就称为纯整数规划或全整数规划;(2)如果仅一部分变量限制为整数,则称为混合整数规划;(3)整数规划还有一种特殊情形是0-1规划,他的变量取值仅限于0或1。

本文就适用于纯整数线性规划和混合整数线性规划求解的分支定界法和割平面法,做相应的介绍。

一、分支定界法在求解整数规划是,如果可行域是有界的,首先容易想到的方法就是穷举变量的所有可行的整数组合,然后比较它们的目标函数值以定出最优解。

对于小型问题,变量数量很少,可行的整数组合数也是很小时,这个方法是可行的,也是有效的。

而对于大型的问题,可行的整数组合数很大时,这种方法就不可取了。

所以我们的方法一般是仅检查可行的整数组合的一部分,就能定出最有的整数解。

分支定界法就是其中一个。

分枝定界法可用于解纯整数或混合的整数规划问题。

在二十世纪六十年代初由Land Doig 和Dakin 等人提出。

由于这方法灵活且便于用计算机求解,所以现在它已是解整数规划的重要方法。

目前已成功地应用于求解生产进度问题、旅行推销员问题、工厂选址问题、背包问题及分配问题等。

设有最大化的整数规划问题A ,与它相应的线性规划为问题B ,从解问题B 开始,若其最优解不符合A 的整数条件,那么B 的最优目标函数必是A 的最优目标函数z *的上界,记作z ;而A 的任意可行解的目标函数值将是z *的一个下界z 。

分枝定界法就是将B 的可行域分成子区域再求其最大值的方法。

逐步减小z 和增大z ,最终求到z *。

现用下例来说明:例1 求解下述整数规划 219040Maxx x z +=⎪⎩⎪⎨⎧≥≥+≤+且为整数0,702075679212121x x x x x x解 (1)先不考虑整数限制,即解相应的线性规划B ,得最优解为:124.81, 1.82,356x x z ===可见它不符合整数条件。

关于分枝定界图解法的改进设想

关于分枝定界图解法的改进设想

工作单位关于分枝定界图解法的改进设想摘 要: 分枝定界法求解二维整数规划问题思路明确但缺少直观且运算复杂,而图解法虽直观却无法求解二维整数规划问题.现将分枝定界法的思路与图解法相结合,使之兼具两者优点.关键词: 整数规划 分枝定界法 图解法 最优解 可行解引言:图解法解线性规划问题直观性强、计算方便,现已作为中学数学的教学内容.众所周知,对二维整数规划问题的求解可以先不考虑对变量的整数约束,作为一般线性规划问题求解,当解为非整数时如果用四舍五入或凑整法寻找最优解.当在变量取值很大时,得到的解与最优解相差不大.但当变量取值较小时,得到的解就可能与实际整数最优解差距很大.看下面一个例子:【例1 】 求下述整数规划问题的最优解:问用).由于.用种组合,但,(3,2)z=13,并解应该是4,1)不是出二维整数规划问题的最优解.在线性规划问题中,变量x 是在一个连续的范围内取值,因此可行解个数有无限多.但在整数规划问题中变量只能取离散的整数值.可行解的总数是有限的.从有限的可行解中寻找最优解的最简单也最直观的想法是枚举法:把问题的解全部列举出来比较,找出最优.但可行解总数一多,应用枚举法便失去意义.这时不妨用改进的图解法.原理用例1来说明改进分枝定界图解法的思路和步骤:第一步: 寻找替代问题并求解. 方法是放宽或取消原问题的某些约束,找出一个替代的问题.对替代问题的要求是:容易求解,且原问题的解集应无例外的包含在替代问题的解集中.如果替代问题的最优解是原问题的可行解,这个解就是原问题的最优解:否则这个解的值是原问题最优解的上界(求极大值时)或下界(求极小值时).例1的松弛问题是一个线性规划问题,记作L 。

.显然L 。

满足原替代问题的要求:L 。

: max z =3X 1 +2X 2L 。

的最优解可用图解法求得为(3.25,2.5),不是原问题的可行解,因此转第二步. 第二步: 分枝与定界. 方法是将替代问题分成若干个子问题,对子问题也要求其解的集合和要包含原问题的解集.然后对每个子问题求最优解,如果该解满足原问题的约束,即找到原问题的一个可行解,否则该解为所属分枝的边界值(求极大值时为上界,求极小值时为下界);如果有子问题的最优解非原问题可行解,则选取其边界值最大(求极大)或最小.直到找到一个(求).如果比.)后,如图1 ,X 2)│2<[2.5+1]},由于去掉的,s.t.{2X 1 +3X 2≤14X 1 +0.5X 2≤4.5 X 1 ,X 2≥0左上部分最优解(2.5,3)对应最优值z 1* =13.5,中间部分最优解(3,2)对应最优值z 2*=13, 右下部分最优解(4,1)对应最优值z 3*=14,比较三个部分最优解,本题显而易见得最优解(4,1), 最优值z*=14.由此也可以看出图解法的简洁.第三步: 剪枝.将各子问题边界值与保留的可行解的值进行比较.把边界值劣于可行解的分枝剪去.如果除保留下来的可行解外,则其余分枝均被剪去,则可行解就是原问题最优解.否则回到第二步,选取边界值最优的一个继续分枝.如果计算中又出现新的可行解,则与原可行解比较,保留最优的,并重复上述步骤. 对该问题如采用一般分枝定界法则其思路如下: 由于每一步都须列式,因而较为繁琐,但可推广到求解多维整数规化问题中去.而用来求解二维整数规化问题,不是灵活的方法. 应用【例2】 求下述整数规划问题的最优解: max z =2X 1 +3X 2第一步: 如图所示 由图解法求4,7/3).由于松弛问,转入第二步.: 在可行域内去掉{( X 1 ,2<[3/7+1]}的点行成两个子区域,在每个子区域中寻找最优解,在左子区域内最优解为(2,4)最优值为16,右子区域内最优解为(3,24/7)最优值为(16+2/7).两子区域最优值最大,又非原问题可行解,再对两区域分子区域.去掉{( X1,X2)∣ [4-1]< X1<[4] ,[7/3]< X2<[7/3+1]}得线段及其右部分,再对这两个子问题求解.线段部分最优解为(3,3)最优值为15,右部分最优解为(4,18/7)最优值为(15+5/7).由以上三个最优解比较得原问题最优解为(2,4)最优值为16.第三步:剪枝. 如果第二部分所分右子部分最优值比第一部分大可剪去线段部分,此题不用剪枝.可见一般二维整数规划问题不会太复杂,也表明图解法的简便性与实用性.【参考文献】胡运权等.运筹学基础及应用[M].第四版.北京:高等教育出版社- 4 -。

简述分支定界法的基本思路

简述分支定界法的基本思路

简述分支定界法的基本思路
分支定界法是一种以多次搜索来解决最优化问题的算法。

由于搜索的规模受决策变量的值域,决策变量个数以及它们之间的约束条件的影响,进行搜索通常是一项耗时费力的工作。

此时,分支定界法就体现了其自身的优势:通过在搜索中使用自顶向下的分组过程,把搜索空间进行分组,并采取相应的定界剪枝策略,减少搜索空间,实现搜索及计算的快速化。

分支定界法的整体思路十分简单,即先从起始点开始,自顶向下构造一个决策树,逐步进行搜索,在搜索过程中使用定界法来剪枝,最终得到最优解。

基本思路是:首先,构造一颗决策树,把最优化问题的决策空间划分为多个子空间,从初始节点开始搜索。

接着,根据定界原则,为每一个子空间设计相应的定界条件,实时更新搜索范围,快速聚焦到最佳解,完成搜索。

最后,当搜索到树的某一节点时,如果该节点在当前全局最优解所在节点或其子树上,则搜索结束,得到最优解。

分支定界法与其他算法相比具有许多优势。

首先,它是求解最优化问题的一种实效算法;其次,它具有灵活的定界条件,能够满足不同类型问题的实际需求,如根据可行性测试结果/参数可变化构建等;最后,它能够在有限空间内有效剪枝,实现快速搜索。

因此,分支定界法受到学术界和实际工程中的广泛重视,并受到不断的研究和应用。

未来,它仍将继续发挥重要的作用,给科学研究与实际工程提供强大的工具支撑。

一种0-1型双层线性规划的分支-定界法

一种0-1型双层线性规划的分支-定界法
[ 12 2]
是多层规划的特例 ,它主要是分析两个各具目标
函数的决策者之间按非合作和有序的方法进行相互 作用 ,上层首先给下层一定的信息 ,下层基于这些信 息依照自己的利益作出反应 , 上层再根据下层的反 应作出符合全局利益的决策 . 一方 (的行为影响另一 方的策略选择和目标实现 , 但任何一方又不能完全 控制另一方的选择行为 . 在许多双层线性规划问题中 , 上下层决策者控 制的变量必须用 021 型变量来描述 , 如投资决策 , 人 力资源问题等 . 变量的离散性使得问题变的复杂 ,即
( 5) 其中 a j , b j 分别为矩阵 A 和 B 的第 j 列 . 求解这种 0 21 型混合整数双层线性规划问题的 分支定界法常用 的定界方法是将 问题 ( M IBL P P k) 的下层目标函数 ( 3) 式去掉得到的如下混合整数线 性规划问题 :
A br anch2an d2boun d al gor it hm f or sol vin g t he k in d of 021
bilevel l inea r progra mming problem
J IA Xin2h ua , ZHAO Mao2xian , HU Zo ng2guo
(College of Information Science and Engineering , Shandong University of Science and T echnology , Qingdao 266510 , China)
收稿日期 : 2008 20720 5 作者简介 : 贾新花 ( 1982 2) ,女 ,硕士研究生 .
使对较简单的混合整数双层线性规划 [324 ] 也有可能 导致问题无解 . 因此对于这种问题的研究逐渐引起 人们的注意 . Moore 和 Ba rd [ 5] 对上 、 下层都有离散 变量的混合整数双层线性规划问题进行了讨论 , 并 给出了一种分支 - 定界法 , 该方法只有在上层无连 续变量的情况下才能保证收敛 . 沈厚才等人 [6 ] 分析 了上下层变量都是 021 变量的双层线性规划 问题 , 并给出了一种分支定界法 . 但其终止准则是错误的 . 本文将对文 [6 ] 中的模型作进一步探讨 , 提出一种基 于深度优先的分支 - 定界法 .

基于分支定界法的整数规划问题研究与应用

基于分支定界法的整数规划问题研究与应用

基于分支定界法的整数规划问题研究与应用分支定界法是一种常用于求解整数规划问题的方法,其核心思想是通过不断分割问题空间,找到目标函数的最优解。

本文将介绍分支定界法的基本原理和步骤,并通过一个具体的例子来展示其应用。

分支定界法的基本原理是将整数规划问题转化为一个可行解空间的树结构。

将问题的线性规划松弛问题求解得到一个最优解,然后根据这个最优解将问题空间分割成两个子问题。

对于每个子问题,再次求解线性规划松弛问题,直到找到一个整数解或者证明问题无解为止。

分支定界法的步骤如下:1. 通过求解线性规划松弛问题得到一个最优解值z*,如果z*为整数,则找到一个整数解,结束算法;否则进入下一步。

2. 根据线性规划松弛问题最优解z*,选择一个变量进行分支。

假设选择变量x1进行分支,则将该问题空间分为两个子问题:x1≤[z*](向下取整)和x1≥[z*]+1(向上取整)。

4. 选择一个未被选择过的变量进行分支,重复步骤2和步骤3,直到找到一个整数解或者证明问题无解为止。

下面通过一个例子来详细展示分支定界法的应用。

假设有如下整数规划问题:最大化目标函数:z = 4x1 + 6x2约束条件:2x1 + 5x2 ≤ 10x1 + 3x2 ≤ 5x1, x2 ≥ 0求解得到最优解z* = 9/2 ≈ 4.5,这个最优解不是整数,因此需要进一步进行分支。

选择变量x1进行分支,分为两个子问题:1. 子问题1:x1≤42. 子问题2:x1≥5求解得到最优解z* = 4,这个最优解是整数,是一个可行解。

更新解的上界为4,并进一步判断是否有更优的解存在。

通过不断分支,可以得到更多的子问题,直到找到整数解或者证明问题无解。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第15卷 第5期运 筹 与 管 理Vol.15,No.52006年6月OPERA TIONS RESEARCH AND MANA GEMEN T SCIENCE Oct.2006 收稿日期:2005212211基金项目:国家自然科学基金资助项目(70371032,50479039)作者简介:吕一兵(19792),男,博士生,从事最优化方面研究。

关于线性二层规划分枝定界方法的探讨吕一兵1, 万仲平2, 胡铁松1, 王广民1(11武汉大学系统工程研究所,湖北武汉430072;21武汉大学数学与统计学院,湖北武汉430072)摘 要:对求解线性二层规划的分枝定界方法进行了探讨.给出的一个例子表明,目前的分枝定界方法不能很好地解决上层带有任意线性形式约束的线性二层规划问题,进而在线性二层规划新定义的基础上提出了求解线性二层规划的扩展分枝定界方法.算例表明扩展分枝定界方法可以有效解决原分枝定界方法的不足。

关键词:线性二层规划;分枝定界法;最优解中图分类号:O221.1 文章标识码:A 文章编号:100723221(2006)0520024205A Discussion on the branch 2and 2bound Approach toLinear Bilevel ProgrammingL U Y i 2bing 1,HU Tie 2song 1,WAN Zhong 2ping 2,WAN G Guang 2min 1(11Instit ute of S ystems Engi neeri ng ,W uhan U niversity ,W uhan 430072,Chi na ;21School of M athem atics and S tatistics ,W uhan U niversity ,W uhan 430072,Chi na )Abstract :This paper gives an analysis of the branch 2and 2bound approach to linear bilevel programming.A de 2signed example shows that the current branch 2and 2bound approach can ’t deal with a linear bilevel program 2ming problem well when the constraint functions at the upper 2level are of arbitrary linear form.Then based on the new definition of linear bilevel programming solution ,this paper gives an extended branch 2and 2bound ap 2proach to the linear bilevel programming.The numerical results show that the extended branch 2and 2bound ap 2proach can solve the deficiency efficiently.Key words :linear bilevel programming ;branch 2and 2bound approach ;optimal solution0 引言二层规划是二层决策问题的数学模型,它是一种具有二层递阶结构的系统优化问题.在二层规划模型中,上层问题和下层问题都有各自的目标函数和约束条件。

上层问题的目标函数和约束条件不仅与上层决策变量有关,而且还依赖于下层问题的最优解,而下层问题的最优解又受到上层决策变量的影响。

由于二层规划问题具有极其复杂的几何性质,是N P —难问题[1]。

人们对二层规划的研究大多数还局限于线性二层规划问题。

在求解线性二层规划的算法中,分枝定界法已被证明是最有效的方法之一。

然而,它的缺陷是不能很好地解决具有任意形式上层约束的线性二层规划问题。

Chenggen Shi [2]给出了有关线性二层规划最优解的一种新定义。

同时证明在新定义下,只要线性二层规划的诱导域非空,那么线性二层规划必定存在最优解。

在此基础上笔者考虑将原分枝定界方法进行扩展,以解决原分枝定界方法在求解具有任意上层线性约束的线性二层规划问题时存在的缺陷。

在本文的第1节将给出Bard [3]提出的求解线性二层规划的原分枝定界方法及其存在的缺陷,在接下来的内容中将给出扩展的分枝定界方法及其收敛性。

最后对本文进行了小结。

1 分枝定界方法及其缺陷假设:x ∈X <R n ,y ∈Y <R m ,F :X ×Y →R 1,f :X ×Y →R 1,Bard [3]给出了线性二层规划的一般数学模型:min x ∈XF (x ,y )=c 1x +d 1y s.t A 1x +B 1y ≤b 1min y ∈Yf (x ,y )=c 2x +d 2y s.t A 2x +B 2y ≤b 2(1)其中:c 1,c 2∈R n ,d 1,d 2∈R m ,b 1∈R p ,b 2∈R q ,A 1∈R p ×n ,B 1∈R p ×m ,A 2∈R q ×n ,B 2∈R q ×m 。

对于一般的线性二层规划问题(1),Bard [3]给出了如下定义:定义1(a )线性二层规划的约束域:S ={(x ,y ):x ∈X ,y ∈Y ,A 1x +B 1y ≤b 1,A 2x +B 2y ≤b 2}(b )对每个固定的x ∈X ,下层问题的可行解集:S (x )={y ∈Y :B 2y ≤b 2-A 2x}(c )线性二层规划问题的约束域S 在上层决策空间中的投影:S (X )={x ∈X :ϖy ∈Y ,A 1x +B 1y ≤b 1,A 2x +B 2y ≤b 2}(d )对于x ∈S (X ),下层问题的合理反应集:P (x )={y ∈Y :y ∈argmin [f (x ,y ):y ∈S (x )]}(e )线性二层规划的诱导域:IR ={(x ,y ):(x ,y )∈S ,y ∈P (x )}对于线性二层规划问题(1),以下层问题的K T 最优性条件来代替下层问题,可以得到相应的单层规划并且有如下定理:定理1[4] 在线性二层规划(1)中,(x 3,y 3)∈S 是问题(1)的最优解的充要条件是:存在行向量u 3∈R q ,v 3∈R m 使得(x 3,y 3,u 3,v 3)是如下问题的最优解min c 1x +d 1ys.t . A 1x +B 1y ≤b 1A 2x +B 2y ≤b 2(2)uB 2-v =-d 2u (b 2-A 2x -B 2y )+vy =0x ≥0,y ≥0,u ≥0,v ≥0利用线性二层规划(1)与规划(2)的等价性,可以得到求解(2)的分枝定界方法。

为方便起见,首先介绍一些有用的记号。

令W ={1,…,q +m}, F 为上层目标函数的上界,在搜索的第k 层,定义指标集W k <W ,同时定义P k 为搜索路径。

令S +k ={i :i ∈W k 且u i =0}S -k ={i :i ∈W k 且g i =0}(g i 表示定义1下下层问题的约束条件)S 0k ={i :i ∈/W k }分枝定界算法[3]的具体步骤是:步0 令k =0,S +k =Φ(空集),S -k =Φ,S 0k ={1,…,q +m},F =∞;步1 对于i ∈S +k ,令u i =0,同时对i ∈S -k ,令g i =0求解问题(2)中省去互补松弛条件后得到的线性子规划问题,如果线性子规划问题不可行,转步5;否则,置k ←k +1,得到解(x k ,y k ,u k );步2 如果F (x k ,y k )≥ F ,转步5;步3 如果u k i g i (x k ,y k )=0,i =1,…,q +m ,转步4;否则,选择使得u k i g i (x k ,y k )最大的指标i ,同时将其记为i 1,令S +k =S +k ∪{i 1},S 0k =S 0k \{i 1},S -k =S -k ,将i 1加入到P k ,转步1;步4 令 F =F (x k ,y k );步5 如果没有可分节点存在,转步6;否则分枝到新的顶点,同时更新S +k ,S -k ,S 0k 以及P k ,转步1;步6 如果 F =∞,则线性二层规划(1)不存在可行点,否则与 F 相关的(x k ,y k )为线性二层规划的全52第5期 吕一兵,等:关于线性二层规划分枝定界方法的探讨局最优解。

关于该分枝定界算法的收敛性,Bard [3]给出了如下定理:定理2 假设对于x ∈S (X ),P (x )的元素唯一,则该分枝定界算法终止于线性二层规划(1)的全局最优解。

然而下面的例子表明,对有些线性二层规划问题即使定理2的条件得到满足,分枝定界方法也不会终止于线性二层规划的全局最优解。

例1 考虑如下问题:其中x ∈R 1,y ∈R 1,X ={x |x ≥0},Y ={y |y ≥0}。

min x ≥0F (x ,y )=x -4y s.t.-x -y ≤-33x -2y ≤4min y ≥0f (y )=-x +y s.t .2x +y ≤12-2x +y ≤0(3)根据定理1,我们可以得到如下与问题(3)等价的规划问题:min F (x ,y )=x -4ys.t.-x -y ≤-33x -2y ≤42x +y ≤12-2x +y ≤0u 1+u 2-u 3=-1u 1(2x -y )=0u 2(12-2x -y )=0u 3y =0x ≥0,y ≥0u 1≥0,u 2≥0,u 3≥0(4)令W ={1,2,3},S +k =Φ,S -k =Φ,S 0k ={1,2,3},F =∞。

在问题(4)中求解省去互补松弛条件后得到的线性子问题,可以得到:x 1=3,y 1=6,u 1=(0,0,1)。

检验知其不满足互补松弛条件,由步3,选择u 3为分枝变量,同时记S +1={3},S 01+{1,2},S -1=Φ,P 1=(3)。

转步1;由步1,令u 3=0,求解如下问题:min F (x ,y )=x -4s.t.-x -y ≤-33x -2y ≤42x +y ≤12-2x +y ≤0u 1+u 2=-1x ≥0,y ≥0u 1≥0,u 2≥0(5)由单纯形法可以得到(5)没有可行解,转步5;由步5,令S +2=Φ,S -2={3},S 02={1,2},P 1=(3),转步1;由步1,令g 3=0,求解如下问题:min F (x ,y )=x -4ys.t.-x -y ≤-33x -2y ≤42x +y ≤12-2x +y ≤0u 1+u 2-u 3=-1y =0x ≥0,y ≥0,u 1≥0,u 2≥0,u 3≥0(6)由单纯形方法可以得到(6)没有可行解,由步5和步6可知 F =∞,则问题(3)没有最优解。

相关文档
最新文档