论文标题
三个目标二进制整数编程的数学
A matheuristic for tri-objective binary integer programming
论文作者
论文摘要
许多实际优化问题涉及多个目标。当同时考虑时,它们会产生一系列最佳的权衡解决方案,也称为有效的解决方案。这些解决方案具有不能改进目标而不会降低另一个目标的特性。由于单瞄准域中数学学的成功,我们提出了一种基于线性编程的数学算法,用于三个目标二进制整数编程。为了实现最佳折衷解决方案集的高质量近似,首先使用向量线性编程求解器bensolve获得下限集。然后,将基于泵的可行性与路径重新链接结合使用,以新颖的方式应用,以获得高质量的上限集。将我们的数学算法与最近遇到的算法进行了比较,据我们所知,这是唯一用于三座整数编程的数学方法。在一项广泛的计算研究中,我们表明我们的方法在一组三个三个目标基准实例上产生了比基准方法更好的真正帕累托前部近似值。由于开发的方法始于潜在的分数下限集,因此在基于线性松弛的多目标分支和结合算法的背景下,它也可以用作原始启发式。
Many real-world optimisation problems involve multiple objectives. When considered concurrently, they give rise to a set of optimal trade-off solutions, also known as efficient solutions. These solutions have the property that neither objective can be improved without deteriorating another objective. Motivated by the success of matheuristics in the single-objective domain, we propose a linear programming-based matheuristic for tri-objective binary integer programming. To achieve a high-quality approximation of the optimal set of trade-off solutions, a lower bound set is first obtained using the vector linear programming solver Bensolve. Then, feasibility pump-based ideas in combination with path relinking are applied in novel ways so as to obtain a high quality upper bound set. Our matheuristic is compared to a recently-suggested algorithm that is, to the best of our knowledge, the only existing matheuristic method for tri-objective integer programming. In an extensive computational study, we show that our method generates a better approximation of the true Pareto front than the benchmark method on a large set of tri-objective benchmark instances. Since the developed approach starts from a potentially fractional lower bound set, it may also be used as a primal heuristic in the context of linear relaxation-based multi-objective branch-and-bound algorithms.