1、1运运 筹筹 帷帷 幄幄 之之 中中决决 胜胜 千千 里里 之之 外外运运 筹筹 学学 课课 件件整数线性规划整数线性规划Integer Linear ProgrammingInteger Linear Programming2整整 数数 规规 划划n整数规划问题与模型整数规划问题与模型n整数规划算法整数规划算法n计算软件计算软件n应用案例应用案例3整数规划问题整数规划问题n实例实例n特点特点n模型分类模型分类4应用案例应用案例n投资组合问题投资组合问题n旅游售货员问题旅游售货员问题n背包问题背包问题5投资组合问题投资组合问题n背背 景景n实实 例例n模模 型型6背背 景景n证券投资证券投资:
2、把一定的资金投入到合适的有:把一定的资金投入到合适的有价证券上以规避风险并获得最大的利润。价证券上以规避风险并获得最大的利润。n项目投资项目投资:财团或银行把资金投入到若干:财团或银行把资金投入到若干项目中以获得中长期的收益最大项目中以获得中长期的收益最大。7案案 例例n某财团有某财团有 万元的资金,经出其考察选中万元的资金,经出其考察选中 个个投资项目,每个项目只能投资一个。其中第投资项目,每个项目只能投资一个。其中第 个项目需投资金额为个项目需投资金额为 万元,预计万元,预计5年后获利年后获利 ()万元,问应如何选择项目使得)万元,问应如何选择项目使得5年后总收益最大?年后总收益最大?Bn
3、jcjbnj.,2,18模模 型型n变量变量每个项目是否投资每个项目是否投资n约束约束总金额不超过限制总金额不超过限制n目标目标总收益最大总收益最大0,1 jxnj.,2,1 Bxbnjjj 1 njjjxc1max9 njxBxbtsxcjnjjjnjjj.,2,1;0,1.max1110旅游售货员问题旅游售货员问题n背景背景n案例案例n模型模型11背背 景景n旅游线路安排旅游线路安排 预定景点走且只走一次预定景点走且只走一次 路上时间最短路上时间最短n配送线路配送线路货郎担问题货郎担问题 送货地到达一次送货地到达一次 总路程最短总路程最短12案案 例例n有一旅行团从有一旅行团从 出发要遍游
4、城市出发要遍游城市 ,已知从,已知从 到到 的旅费为的旅费为 ,问应如何安排行程使总费用最小?问应如何安排行程使总费用最小?0vnvvv,.,21jvivijc13模模 型型n变量变量是否从是否从i第个城市到第第个城市到第j个城市个城市n约束约束 每个城市只能到达一次、离开一次每个城市只能到达一次、离开一次;0,1ijxnjxnixniijnjij,.2,1;1,.2,1;10014n避免出现断裂避免出现断裂 每个点给个位势每个点给个位势 除了初始点外要求前点除了初始点外要求前点比后点大比后点大15n目标目标总费用最小总费用最小ijninjijxc0016njnixnjinnxuunjxnix
5、tsxcijijjiniijnjijijninjij,.,2,1,.,2,1,0,11;1,.,2,1;1,.,2,1;1.min000017背包问题背包问题n背景背景n案例案例n模型模型18背背 景景n邮递包裹邮递包裹 把形状可变的包裹用尽量少的车辆运走把形状可变的包裹用尽量少的车辆运走n旅行背包旅行背包 容量一定的背包里装尽可能的多的物品容量一定的背包里装尽可能的多的物品19实实 例例n某人出国留学打点行李,现有三个旅行包,容积某人出国留学打点行李,现有三个旅行包,容积大小分别为大小分别为1000毫升、毫升、1500毫升和毫升和2000毫升,根毫升,根据需要列出需带物品清单,其中一些物品是
6、必带据需要列出需带物品清单,其中一些物品是必带物品共有物品共有7件,其体积大小分别为件,其体积大小分别为400、300、150、250、450、760、190、(单位毫升)。尚有、(单位毫升)。尚有10件件可带可不带物品,如果不带将在目的地购买,通可带可不带物品,如果不带将在目的地购买,通过网络查询可以得知其在目的地的价格(单位美过网络查询可以得知其在目的地的价格(单位美元)。这些物品的容量及价格分别见下表,试给元)。这些物品的容量及价格分别见下表,试给出一个合理的安排方案把物品放在三个旅行包里。出一个合理的安排方案把物品放在三个旅行包里。20物品物品12345678910体积体积200350
7、500430320120700420250100价格价格154510070507520090203021问题分析问题分析n变量变量对每个物品要确定是否带同时要确定放在对每个物品要确定是否带同时要确定放在哪个包裹里,如果增加一个虚拟的包裹把不带的哪个包裹里,如果增加一个虚拟的包裹把不带的物品放在里面,则问题就转化为确定每个物品放物品放在里面,则问题就转化为确定每个物品放在哪个包裹里。如果直接设变量为每个物品放在在哪个包裹里。如果直接设变量为每个物品放在包裹的编号,则每个包裹所含物品的总容量就很包裹的编号,则每个包裹所含物品的总容量就很难写成变量的函数。为此我们设变量为第难写成变量的函数。为此我们
8、设变量为第i个物品个物品是否放在第是否放在第j个包裹中个包裹中3,2,1,17.,2,1;0,1jixij22n约束约束3,2,1;171jrxcjijii7.,2,1;131ixjij17.,2,8;131ixjij包裹容量限制包裹容量限制必带物品限制必带物品限制选带物品限制选带物品限制23n目标函数目标函数未带物品购买费用最小未带物品购买费用最小17.,2,8;131ixjij)1(31178jijiixp24模模 型型)1(min31178jijiixp3,2,1;171jrxcjijii7.,2,1;131ixjij17.,2,8;131ixjij3,2,1,17.,2,1;0,1ji
9、xij25n特征特征变量整数性要求变量整数性要求n来源来源 问题本身的要求问题本身的要求 引入的逻辑变量的需要引入的逻辑变量的需要n性质性质可行域是离散集合可行域是离散集合2627线性整数规划模型线性整数规划模型n一般整数规划模型一般整数规划模型n0-1整数规划模型整数规划模型n混合整数规划模型混合整数规划模型28一般整数规划模型一般整数规划模型 为整数为整数xxbAxtsxc,0.min 290-1整数规划模型整数规划模型 nixbAxtsxci,.,2,1;1,0.min 30混合整数规划模型混合整数规划模型pixxbAxtsxci,.,2,1,0.min为整数 31算算 法法n与线性规划
10、的关系与线性规划的关系n分支定界算法分支定界算法n割平面算法割平面算法n近似算法近似算法32与线性规划的关系与线性规划的关系 0.minxbAxtsxc 放松的线性规划放松的线性规划可行解是放松问题的可行解可行解是放松问题的可行解最优值大于等于放松问题的最优值最优值大于等于放松问题的最优值 整数规划整数规划333435注注 释释n最优解不一定在顶点上达到最优解不一定在顶点上达到n最优解不一定是放松问题最优解的邻近整数最优解不一定是放松问题最优解的邻近整数解解n整数可行解远多余于顶点,枚举法不可取整数可行解远多余于顶点,枚举法不可取36分支定界算法分支定界算法n算法思想算法思想n算法步骤算法步骤
11、n算例算例n注释注释37算算 法法 思思 想想隐枚举法隐枚举法求解放松问题求解放松问题最优值比界坏最优值比界坏 最优解为整数最优解为整数最优值比界好最优值比界好 最优解为非整最优解为非整数最优值比界好数最优值比界好分分 支支边边 界界分分 支支舍舍 弃弃38分支的方法分支的方法NB1IbBcB1N0bB1Zbxrr rrrbxb39为整数xxbAxtsxc,0.min 为整数xxbxbAxtsxcrr,0.min 为整数xxbxbAxtsxcrr,0.min 4041定定 界界n当前得到的最好整数解的目标函数值当前得到的最好整数解的目标函数值n分支后计算放松的线性规划的最优解分支后计算放松的线
12、性规划的最优解整数解且目标值小于原有最好解的值则替代原有最好解整数解且目标值小于原有最好解的值则替代原有最好解整数解且目标值大于原有最好解的值则整数解且目标值大于原有最好解的值则 删除该分支其中删除该分支其中无最优解无最优解非整数解且目标值小于原有最好解的值则继续分支非整数解且目标值小于原有最好解的值则继续分支非整数解且目标值大于等于原有最好解的值则删除该分非整数解且目标值大于等于原有最好解的值则删除该分支其中无最优解支其中无最优解42选一分支写出并求解选一分支写出并求解放松问题,同时从分放松问题,同时从分支集中删除该分支支集中删除该分支判判定是否定是否为整数为整数解解初始分支为可行解初始分支
13、为可行解集,初始界为无穷大集,初始界为无穷大判判定是否定是否分支集分支集空空是停止是停止当前最好解当前最好解为最优解为最优解是是否否43判定最判定最优值是否优值是否小于小于当前界当前界判定最判定最优值是否优值是否小于小于当前界当前界是是否否按非整数变量分按非整数变量分支并加入分支集支并加入分支集否否是是以最优解替代当前最以最优解替代当前最好解最优值替代当前界好解最优值替代当前界44算算 例例45464748注注 释释n求解混合整数规划问题,只对整数变量分支,对求解混合整数规划问题,只对整数变量分支,对非整数变量不分支。非整数变量不分支。49n对对0-1整数规划分支时整数规划分支时1,0.min
14、xbAxtsxc 1,01.minxxbAxtsxcr 1,00.minxxbAxtsxcr 50分枝问题解可能出现的情况分枝问题解可能出现的情况序号序号问题问题 1 1问题问题 2 2说说 明明1无可行解无可行解无可行解无可行解整数规划无可行解整数规划无可行解2无可行解无可行解整数解整数解此整数解即最优解此整数解即最优解3无可行解无可行解非整数解非整数解对问题对问题 2 继续分枝继续分枝4整数解整数解整数解整数解较优的一个为最优解较优的一个为最优解5整数解,目标函整数解,目标函数优于问题数优于问题 2非整数解非整数解问题问题 1 的解即最优解的解即最优解6整数解整数解非整数解,目标非整数解,
15、目标函数优于问题函数优于问题 1问题问题 1 1 停止分枝停止分枝(剪剪枝枝),其整数解为界,其整数解为界,对问题对问题 2 继续分枝继续分枝情况情况 2,4,5 找到最优解找到最优解情况情况 3 在缩减的域上继续分枝定界法在缩减的域上继续分枝定界法情况情况 6 问题问题 1 的整数解作为的整数解作为界界被保留,用于以后与问题被保留,用于以后与问题 2 的后的后续分枝所得到的解进行比较,结论如情况续分枝所得到的解进行比较,结论如情况 4 或或 551分枝定界法举例分枝定界法举例 例例4且为整数且为整数 0,7 2134246)(max21212121xxxxxxxxxf解解:松弛问题的最优解为
16、:松弛问题的最优解为 x1=2.5,x2=2,OBJ=23 由由 x1=2.5 得到两个分枝如下:得到两个分枝如下:且为整数且为整数问题问题 0,2 7 21342I46)(max211212121xxxxxxxxxxf且为整数且为整数问题问题 0,3 7 21342II46)(max211212121xxxxxxxxxxf52 表表4.2.3 分枝问题的松弛解分枝问题的松弛解问问题题 I问问题题 IIx123x29/41f(x)2122问题问题II的解即原整数问题的最优解的解即原整数问题的最优解 可能存在两个分枝都是非整数解的情况,则需要两边同时可能存在两个分枝都是非整数解的情况,则需要两边
17、同时继续分枝,直到有整数解出现,就可以进行定界过程继续分枝,直到有整数解出现,就可以进行定界过程 当存在很多变量有整数约束时,分枝即广又深,在最坏情当存在很多变量有整数约束时,分枝即广又深,在最坏情况下相当于组合所有可能的整数解况下相当于组合所有可能的整数解 一般整数规划问题属于一类未解决的难题,一般整数规划问题属于一类未解决的难题,NP-complete,只有少数特殊问题有好的算法,如只有少数特殊问题有好的算法,如任务分配问题任务分配问题、匹配问题匹配问题53n算法思想算法思想n算法步骤算法步骤n算例算例割平面算法割平面算法54算算 法法 思思 想想n由放松问题的可行域向由放松问题的可行域向
18、整数规划的可行域逼近整数规划的可行域逼近n方法方法利用超平面切除利用超平面切除n要求要求 整数解保留整数解保留 放松问题最优值增加放松问题最优值增加55割平面生成方法割平面生成方法n条件条件-保留整数解删除最优解保留整数解删除最优解rNjjrjrbxaxNB1IN0BbBcB101bBBxNx56rNjjrjrbxaxrNjjrjrbxax rNjjrjrbxax rNjjrjrbxaxrjrjrjfaarjrjaa rrrfbb rrbb 整数可行解整数可行解最优基可行解最优基可行解57为整数xxbAxtsxc,0.min 为整数xxbxaxbAxtsxcNjrrjrjr,0.min 58
19、为整数xxbsxaxbAxtsxcNjrrrjrjr,0.min 591xnx2x1mxmx0111ma01m00110nna11mmamna1bmbrx011rmarnarbbBcB1601xnx2x1mxmx0111mabBcB101m00110nna11mmamna1bmbrx011rmarnarbrs000011rmarna1 rb611xnx2x1mxmx0111ma01m00110nna11mmamna1bmbrx011rmarnarbrs000011rmrmaarnrnaa1 rrbbbBcB10621xnx2x1mxmx0111ma01m00110nna11mmamna1bmb
20、rx011rmarnarbrs00001rmfrnf1rfbBcB100rf正则解正则解63算算 法法 步步 骤骤求放松问题的求放松问题的最优基可行解最优基可行解判断是否判断是否为整数解为整数解是停止是停止得到最优解得到最优解否否在单纯性表中加入在单纯性表中加入一列利用对偶单纯一列利用对偶单纯性算法求最优解性算法求最优解64算算 例例整数,0,023623.max2121212xxxxxxtsx(1,1.5)65 0,023623.min43214213212xxxxxxxxxxtsx661x3x2x4x010 0031206310021x3x2x4x005.0061165.15.000105
21、.1671x3x2x4x006/16/1414/12/3101104/14/12/31s000010111001432sxxx0011x3x2x4x006/16/1414/12/3101104/14/12/3681x3x2x4x006/16/1414/12/3101104/14/12/31s00002/114/14/101x3x2x4x003/1101011s3/2024011001103/2001691x3x2x4x003/1101011s3/2024011001103/20012s00003232321000701x3x2x4x00101011s01501001100012s002/300
22、011102/3012/1171计计 算算 软软 件件n整数变量定义整数变量定义 LinDo 一般整数变量一般整数变量:GIN 0-1整数变量整数变量:INT LinGo 一般整数变量一般整数变量:GIN(variable_name);0-1整数变量:整数变量:BIN(variable_name);n算例算例72算算 例例 max 3 x1+5 x2+4 x3 subject to 2 x1+3 x2=1500 2 x2+4 x3=800 3 x1+2 x2+5 x3=2000endgin x1gin x3为整数313213213221321,0,200052380042150032.453m
23、axxxxxxxxxxxxxtsxxx734.6 任务分配问题任务分配问题例例4.6.1 有四个熟练工人,他们都是多面手,有四项任务要他们有四个熟练工人,他们都是多面手,有四项任务要他们完成。若规定每人必须完成且只完成一项任务,而每人完成每完成。若规定每人必须完成且只完成一项任务,而每人完成每项任务的工时耗费如表项任务的工时耗费如表4.6.1,问如何分配任务使完成四项任,问如何分配任务使完成四项任务的总工时耗费最少?务的总工时耗费最少?1,0,2,1 1,2,1 1)(min1111ijmiijmjijmimjijijxmjxmixxaxf任任务务 工工时时ABCD人人员员人人员员甲甲1097
24、81乙乙58771丙丙54651丁丁23451任任务务111174 任务分配问题的数学模型任务分配问题的数学模型模型中:模型中:xij 为第为第 i 个工人分配去做第个工人分配去做第 j 项任务;项任务;aij 为第为第 i 个工人为完成第个工人为完成第 j 项任务时的工时消耗;项任务时的工时消耗;aijm m 称为称为效率矩阵效率矩阵mjijijixij,2,1,01项项任任务务个个工工人人未未分分配配去去做做第第当当第第项项任任务务个个工工人人分分配配去去做做第第当当第第 运输问题是任务分配问题的松弛问题运输问题是任务分配问题的松弛问题 任务分配问题不但是整数规划,而且是任务分配问题不但是
25、整数规划,而且是0 1规划规划 任务分配问题有任务分配问题有2m个约束条件,但有且只有个约束条件,但有且只有m个非零解个非零解,是自然,是自然高度退化高度退化的的 任务分配是任务分配是两部图两部图的的匹配问题匹配问题,有著名的,有著名的匈牙利算法匈牙利算法下面介绍一种适合手算的算法下面介绍一种适合手算的算法(出自清华教科书出自清华教科书)75 4.6.1 清华算法清华算法定理定理 1 如果从效率矩阵如果从效率矩阵aijm m中每行元素分别减去一个常数中每行元素分别减去一个常数 ui,从每列元素分别减去一个常数从每列元素分别减去一个常数 vj,所得新的效率矩阵,所得新的效率矩阵bijm m的的任
26、务分配问题的最优解等价于原问题的最优解。任务分配问题的最优解等价于原问题的最优解。证明:略证明:略定理定理 2 若方阵中一部分元素为零,一部分元素非零,则覆盖方阵若方阵中一部分元素为零,一部分元素非零,则覆盖方阵内所有零元素的最少直线数等于位于不同行、不同列的零元素内所有零元素的最少直线数等于位于不同行、不同列的零元素的最多个数。的最多个数。证明:略证明:略 清华算法的清华算法的基本思路基本思路:n根据根据定理定理 1 变换效率矩阵,使矩阵中有足够多的零。若矩阵中变换效率矩阵,使矩阵中有足够多的零。若矩阵中存在存在 m 个不同行不同列的零,就找到了最优解个不同行不同列的零,就找到了最优解n若覆
27、盖变换后的效率矩阵零元素的直线少于若覆盖变换后的效率矩阵零元素的直线少于m 条,就尚未找到条,就尚未找到最优解,设法进一步变换矩阵,增加新的零最优解,设法进一步变换矩阵,增加新的零76 清华算法的步骤:例清华算法的步骤:例4.6.1第一步第一步:变换效率矩阵,使每行每列至少有一个零:变换效率矩阵,使每行每列至少有一个零q行变换行变换:找出每行最小元素,从该行各元素中减去之:找出每行最小元素,从该行各元素中减去之q列变换列变换:找出每列最小元素,从该列各元素中减去之:找出每列最小元素,从该列各元素中减去之2210020112300023321012012230)1(023543)2(56)4(5
28、778)5(8)7(910换变列换变行第二步第二步:检查覆盖所有零元素的直线是否为:检查覆盖所有零元素的直线是否为m条条划线规则划线规则1、逐行检查、逐行检查,若该行只有一个未标记的零,对其加,若该行只有一个未标记的零,对其加()标记,将标记,将()标记元素同行同列上其它的零打上标记元素同行同列上其它的零打上*标记。若该行有二个以上标记。若该行有二个以上未标记的零,暂不标记,转下一行检查,直到所有行检查完;未标记的零,暂不标记,转下一行检查,直到所有行检查完;77 清华算法的步骤:例清华算法的步骤:例4.6.12、逐列检查、逐列检查,若该列只有一个未标记的零,对其加,若该列只有一个未标记的零,
29、对其加()标记,将标记,将()标记元素同行标记元素同行同列上其它的零打上同列上其它的零打上*标记。若该列有二个以上未标记的零,暂不标记,转下一标记。若该列有二个以上未标记的零,暂不标记,转下一列检查,直到所有列检查完;列检查,直到所有列检查完;221*0*02)0(1123)0(*0)0(23221*00201123)0(0023查检列逐查检行逐3、重复、重复1、2后,可能出现三种情况:后,可能出现三种情况:a.每行都有一个每行都有一个(0),显然已找到最优解,令对应,显然已找到最优解,令对应(0)位置的位置的 xij=1;b.仍有零元素未标记,此时,一定存在某些行和列同时有多个零,仍有零元素
30、未标记,此时,一定存在某些行和列同时有多个零,称为称为僵局状态僵局状态,因为无法采用,因为无法采用 1、2 中的方法继续标记。中的方法继续标记。4、打破僵局打破僵局。令未标记零对应的同行同列上其它未标记零的个数为。令未标记零对应的同行同列上其它未标记零的个数为该零的该零的指数指数,选,选指数最小指数最小的先标记的先标记();采用这种方法直至所有零都;采用这种方法直至所有零都被标记,或出现被标记,或出现 情况情况 a,或,或 情况情况 c。78 清华算法的步骤:例清华算法的步骤:例4.6.1c.所有零都已标记,但标有所有零都已标记,但标有()的零的个数少于的零的个数少于m;开始开始划线过程划线过
31、程:对没有标记对没有标记()的行打的行打 对打对打 行上所有其它零元素对应的列打行上所有其它零元素对应的列打 再对打再对打 列上有列上有()标记的零元素对应的行打标记的零元素对应的行打 重复重复 ,直至无法继续,直至无法继续 对没有打对没有打 的行划的行划横线横线,对所有打,对所有打 的列划的列划垂线垂线 221*0*02)0(1123)0(*0)0(23 划线后会出现两种情况:划线后会出现两种情况:(1)标记标记()的零少于的零少于m个,但划有个,但划有 m条直线,说明矩阵中已存在条直线,说明矩阵中已存在 m 个不个不同行不同列的零,但打破僵局时选同行不同列的零,但打破僵局时选择不合理,没能
32、找到。回到择不合理,没能找到。回到 b 重新重新标记;标记;(2)少于少于m条直线,到条直线,到第三步第三步;79 清华算法的步骤:例清华算法的步骤:例4.6.1第三步:第三步:进一步变换;进一步变换;在未划线的元素中找在未划线的元素中找最小者最小者,设为,设为 对未被直线覆盖的各元素减去对未被直线覆盖的各元素减去 对两条直线交叉点覆盖的元素加上对两条直线交叉点覆盖的元素加上 只有一条直线覆盖的元素保持不变只有一条直线覆盖的元素保持不变以上步骤实际上仍是利用以上步骤实际上仍是利用 定理定理 1221*0*02)0(1123)0(*0)0(2311000202012000241 第四步:第四步:
33、抹除所有标记,回到抹除所有标记,回到第二步第二步,重新标记;,重新标记;80解优最列逐行逐记标11)0(*0)0(2*02*012)0(*0)0(24 清华算法的步骤:例清华算法的步骤:例4.6.111000202012000241 答:最优分配方案为答:最优分配方案为 x13=x21=x34=x42=1,其余为,其余为0,即甲即甲C,乙,乙A,丙,丙D,丁,丁B,OBJ=20110002020120*0)0(24记记标标列列110*00202*012)0(*0)0(24局局僵僵破破打打221*0*02)0(1123)0(*0)0(23816 0 2 0 5 0 4 0 0 3 0 1 0 2
34、 0 0 局局僵僵破破打打 4.6.2 关于清华算法的适用条件关于清华算法的适用条件n要求所有要求所有aij 0q若某些若某些 aij 0,则利用定理,则利用定理 1 进行变换,使所有进行变换,使所有 bij 0n目标函数为目标函数为min型型q对于对于max型目标函数,将效率矩阵中所有型目标函数,将效率矩阵中所有 aij 反号,则等效于求反号,则等效于求min型问题;再利用定理型问题;再利用定理 1 进行变换,使所有进行变换,使所有 bij 0,则可采用,则可采用清华算法清华算法 打破僵局时选择不当的结果:打破僵局时选择不当的结果:结果仅出现结果仅出现 3 个标记个标记(),但却划出,但却划
35、出 4 条线,条线,说明什么?!说明什么?!6 0 2 *0 5 0 4 *0 0 3 0 1 *0 2 *0 )0(局局僵僵破破打打6 *0 2 *0 5 )0(4 *0 0 3 0 1 *0 2 *0 )0(局局僵僵破破打打6 *0 2 *0 5 )0(4 *0 *0 3 )0(1 *0 2 *0 )0(局局僵僵破破打打82线性规划有关的英文词汇线性规划有关的英文词汇nOperational/operations research 运筹学运筹学nLinear programming 线性规划线性规划 Feasible domain 可行域可行域nConvex set 凸集凸集 Basic
36、feasible solutions 基础可行解基础可行解nSimplex algorithm 单纯型法单纯型法 Pivot 主元主元 Pivoting 主元变换主元变换nRevised,dual simplex algorithm 修正、对偶单纯型法修正、对偶单纯型法nRelative cost 相对成本相对成本(机会成本机会成本)Shadow price 影子价格影子价格nSlack,Surplus,Artificial variable 松弛,剩余,人工变量松弛,剩余,人工变量nUnbounded,Infeasible,Degenerate solution 无界解无界解,无可行解无可行解,退化退化解解nDuality 对偶性对偶性 Primal,dual problem 原问题,对偶问题原问题,对偶问题nComplementary slackness 互补松弛互补松弛 Sensitivity analysis 灵敏度灵敏度分析分析nTtransportation problem 运输问题运输问题nAssignment problem 任务分配任务分配(指派指派)问题问题nBipartite matching 两部图匹配两部图匹配 Hungarian method 匈牙利算法匈牙利算法