优化问题数学模型.docxVIP

精品文档 精品文档 PAGE PAGE13 精品文档 PAGE .管理科学的定义 管理科学是对与定量因素相关的管理问题经过应用科学的方法进行辅 助管理决策拟定的一门学科. 定量因素(2)科学的方法(3)辅助决策拟定二.用管理科学的方法解决问题的基本步骤. （1） 提出问题，并根据需要收录相关数据信息。 管理科学工作者向管理者咨询、 鉴别所 要考虑的问题以确定合理的目标， 然后根据要求收集一些重点数据， 并对数据作相 应的解析。 2）建立模型，引入决策变量，确定目标函数（拘束条件）。建模过程是一项创立性的工作，在办理实际问题时，一般没有一个唯一正确的模型，而是有多种不同的方案。建模是一个演进过程，从一个初始模型往往需要不断的完善渐渐演化成一个完整的 数学模型。 3）从模型中形成一个对问题求解的算法。要在计算机上运行数学程序对模型进行求 解，一般情况下能找到对模型求解的标准软件。比方，对线性规划问题已有Excel、 Cplex、Lingo等标准软件求解。有时要自己编写程序。 4）测试模型并在必要时修正。在模型求解后，需要对模型进行查验，以保证该模型能正确反响实际问题，需要查验模型提供的解是否合理，所有主要相关因素是否已考虑，当有些条件变化时，解怎样变化等。 5）应用模型解析问题以及提出管理建议。对模型求解并解析后，将相应的最优方案提交给管理者，由管理者做出决策。管理科学工作者并不作管理决策，其研究只是对涉及的问题进行解析并向管理者提出建议。管理者还要考虑管理科学以外的众多因素才能做出决策。 6）帮助实施管理决策。建议被管理者采纳今后，一旦做出管理决策一般要求帮助监察决策方案的实施。 新问题,新模型,新算法,新应用. 三.优化问题的数学模型 max(min)Z f(x1,x2,,xn) gj(x1,x2, xn)0 s..t m j1,2, 由于f,gj是非线性函数时，此问题是非线性优化问题,求解较复杂。我们主要议论线性优 化问题，常有的形式：混杂整数规划 maxZ CX hY AX GY b （1） 0取整数 X Y 0 其中A n ,G mp ,b ,C ,h p ，不失一般性，我们假定 C,h,A,G,b都是整数矩阵。 m m1 1n 1 当p0 时，（1）为纯整数规划，当n 0时，（1）为线性规划。 1/13 下列图列出若干常有线性优化问题之间的关系，见Figure1.1 Mixed-integer programmming linearprogrammming Mixed0-1 Pure-integer programming programming Fixed-change Uncapacitated 0-1 network facility programming flow location Linear networkSetpackingSetcoveringflow Shortest Transportation Matching Nodepacking path Assignment Figure1.1  Integer knapsack 0-1 knapsack Traveling salesman 3.1．1Setpacking与Nodepacking Setpacking）模型： maxZCX AX1 x{0,1} Nodepacking）模型：  其中A是元素为0或1的矩阵 maxZ CX AX1 其中A是元素为0或1的矩阵，且每行恰有两个1（没有重复行） x {0,1} 显然，Nodepacking 是Setpacking特例。 对于Setpacking问题，事实上是一个独立集问题，比方 1000 A 1100 xj对应于点j，所以有四 我们按下列方式构造网络：每列对应于一个极点， 1010 0111 2/13 个点，按行检查，对任意 i 若ail aik1，则在点l与点h之间有一条边相连。组成如图网 络今后，可以看出拘束 AX 1相当于确定极点使得被确定的极点之间没有边相连；而目标 系数C相当于点的权重向量问题变为怎样在网络确定若干个（独立的）极点使得总权重最 大的问题。而Nodepacking问题中，A是0－1矩阵（每行只有两个元素是 1），事实上是 一个网络的边点关系矩阵，最终也可以化为与上问题近似的问题。 1 2 34 Figure1.2 3.2背包问题 对于0-1背包问题（Knapsack）一般模式： maxZCX AXb st.. x{0,1} 事实上，它的求解很困难，我们不妨举个特别简单的例子。 maxZ 9x1 28x2 60x3 x1 7x2 20x3 b1 s..t {0,1} xi x1的系数比 1：9，x2的系数比 1：4，x3系数比为 1：3，从资源分配问题角度应依次考虑