两端固定资源连续分配问题.docxVIP

两端固定资源连续分配问题的区间根式解算法证明 摘 要对两端固定资源连续分配问题，动态规划解法过程复杂，针对目标函数 及约束条件均为线性函数的此类问题，给岀一个根式解的算法证明，将针对点的根 式解的算法推广到区间的根式解。 关键词运筹学，资源分配，动态规划，算法 Abstract The problem of resources continuous allocation with fixed two ends can be solved by dynamic program. But the process is complicate to solve it by dynamic program. To solve this kind of problem which both objective and constraint functions are all lineal, a proof about a program for its radical expression of point but also the interzone radical expression. Keywords Operations research; resources continuous allocation; dynamic program; algorithm 引言 资源分配问题是指将数量一定的一种或若干种资源恰当的分配给若干使用者， 从而使目标函数为最优，在资源分配问题中，有一种要考虑资源回收利用的问题, 其决策变量为连续值，故称为资源连续分配问题。若这种问题的目标函数及约束 条件均为线性函数称全线性问题，对资源分配问题，通常的解法为动态规划。由 于动态规划的求解方法计算量比较大，所以，寻找根式解是这类问题的一个研究 方向。对始端I古I定终端自由的全线性问题，文献1给岀了通用的根式解。所谓始 端固定终端自由的全线性问题指给定始端的约束，但不给定终端的约束，目标函 数与约束均为线性，文献2则以始端固定终端自由问题的解作为两端固定的问题 解，这种做法在某些特殊情况下是可行的，但在一般情况下，终端自由问题的最 优解不是两端固定问题的可行解。文献3给出了计算两端固定问题的根式解的算 法，但是，该算法针对了两端固定问题的点模型（即点解），而不是区间模型（区 间解），因此，如何将文献3的算法推广到区间模型尚需研究。本文给了一个证明, 将文献3的根式解算法推广到区间模型上。 1.两端固定全线性连续资源分配问题的描述 设有n阶段和两种模式，分别为高消耗模式和低消耗模式。在任一阶段均可 在一种或者两种模式下使用全部或者部分资源，在高消耗模式下，资源回收率为a, 且产出O0,在低消耗模式下，资源回收率为b,且产出d0,其中， 0abi,cd0.给出的起点资源为①，终点资源为5/l+1 o设/为总产出，且在 i阶段，叫?是高消耗模式下的资源权因子，1-嗎是低消耗模式下的资源权因子， 其中lin,问题就成为，如何定义所有叱，使得I最大。其数学模型如下（1.1）： max /（W）= $工［［比c + （l-鸭 ）刃仃国4 + （1-叫）町］ /=! I k=\ I 必口[认 必口[认 -b) + b~\sn+l k=\ no且为常量 (1. 1) h;. 0,(0 z n) 其中，目标函数为式（1.2）: (L2)/ = $￡b(c-d) + d]ii[%(d) + b] (L2) /=1 I k=\ 式中，fl[叫（G — b） + b =1 k=\ 为便于描述，木文将全线性连续资源分配问题简称为资源分配问题。注意这 里的模型与文献3不同，文献3的模型如下： n （ z-l max/（W）= S]0[wjC+（l-wJd]]J[MV7 + （l-wJb] Z=1 I Bl , [叭(d-?+可二陥 (1.3)k=\ (1.3) a,b,cds、,SnH no且为常量 w： 0,(0in) 模型（1.1）的第一约束式为s[口[叫（d-b） + b] ,而模型（1.3）的第一 A=1 约束式为儿f][叫（G-◎ +可二昭，故。模型（1?1）称区间模型，其解称区间解, k=\ 模型（1.3）称点模型，其解称点解。 2.区间解的算法基础定理证明 分析上面的模型（1.1）与模型（1.3）,可知两式相差一个约束符号，如果模 型（1.1）的第一约束式总是在其边界上取得最优解，即，其最优解总在第一约束 取等号时得到，则模型（1.3）与模型（1.1）具有完全等价性，在这种情况下， 针对任意一个模型的算法均对另一个模型有效。 所以，如果要将文献3中的算法推广到区间解，则必须证明模型（1.1）的最 优解总是在第一约朿式的边界取得。 用反证明法，假设模型（1.