回溯matlab,递归回溯法求解整数线性规划及MATLAB实现

第 卷 第 期 年 月

兰 州文 理 学 院 学报 (自然 科 学版 ) ()

文章 编 号 ：()

递 归 回 溯 法 求 解 整 数 线 性 规 划 及 实现

徐 永 琳，巫 青 山，林 川

(西 北 民族 大 学 数 学 与 计算 机 科 学 学 院 ，甘 肃 兰 州 ；武 汉 大 学 经 济 管 理 学 院 ，湖 武 汉 )

摘 要 ：基 于递 归 回 溯 法 解 决 整 数 线 性 规 划 问题 的 算 法 思 想 及 求 解 过 程 ，使 用 软 件 编 写 通 用 程 序 ，

实 现 了 求 解 整 数 线 性 规 划 问题 通 过 中 的文 件 存 储 功 能 ，对 符 合 要 求 的整 数 解 可 存 储 在 文 件 中 ，并

舍弃 从 该 解 出发 的分 支 ，从 而 得 到 了符 合 要 求 的 所 有 整 数 解 和 最 优 整 数 解 实 验 结 果 表 明 ，该 算 法 达 到 了 局 部

最 优

关键 词 ：分 支 定 界法 ；整 数 线 性 规 划 ；最 优 解 ；软 件 ；递 归 回溯 法

中 图 分 类 号 ：

文 献 标 识 码 ：

引 言

随着 计算 机 科 学 技 术 的 发展 ，数 学 运算 软 件 (例 如 ：、、等 )的 出现 ，为 解 决 现实 生活 中的高 维 、复杂 的数 学 运 算 问题 提供 了 方便 大 多 复杂 的求 解 最 优 化 整 数 问题 都 可 转 化 为求 解整 数线 性 规 划 问题 ，求 解 整 数 线 性 规 划 问 题 的方法 主要 有 ：割 平 面 法 ，分 支 定 界 法 、穷 举 法等 分 支定 界 法是 目前 求 解 整 数 线 性 规 划 问 题 的较 高效 的方 法 之 一 ，因此 它 在 解 决 线 性 规 划 问 题方 面得 到 广泛 应 用 分 支 定 界 法 的两 个 重要 步 骤“分支 ”与 “定界 ”从 理论 上决 定 了它 可 以解 决 大 部分 的线 性 规划 问 题“分 支”是 将 问题 分 解 为 子 问题 ，再 将子 问题 分解 为更 小 的子 问题 “递 归 思想 ”“定界 ”是在 求 解子 问题 中决 策 变量 的限 制 条件 ，不 满 足要求 时 返 回上一 个分 支 ，再 求解 “回溯思 想”本文 主 要针对 将 “递归 思 想”与“回溯 思想 ”相 结合 求解 整数 线性 规 划 问题 ，同时 编写 通 用程 序在 软 件上 实现

基本原理

线 性 规 划 模 型 线 性 规 划 (，简 称 )问

题是 求解 目标 函数 和约束 条件 都是 线 性 的最优 化 问题 线 性规 划是 最优 化 问题 中 的重要 领域 之一 ， 是辅 助人 们进 行 科 学 管 理 的 一 种 数 学方 法 很 多

现 实生 活 中的 实 际 问题 都 可 以 用 线 性 规 划 来 表 述 ，例 如 一 维下 料引、旅行 商 、军 事 空运 装 载

等 问题 其他 类 型 的最 优 化 问题算 法 都 可 以转化

为线性 规划 问题 ，然后 求 出解满足线 性 约束条件 的解 叫做可 行解 ，由所 有 可 行解 组 成 的集 合 叫做

可 行域 目标 函数是 在 可 行 域 中取 得 最 大 值 或最 小 值决 策变 量 、目标 函数 、约束 条 件 是线 性 规划 的三要 素线 性规 划 ()问题