[论文解读] Continuous multifacility ordered median location problems

Víctor Blanco, Safae El-Haj Ben-Ali+1 more|arXiv (Cornell University)|Jan 4, 2014

Facility Location and Emergency Management被引用 1

一句话总结

本文提出了两种新颖的方法，用于在任意维度下使用ℓτ-范数求解连续多设施有序中位数位置问题：一种是二阶锥混合整数规划（SOCP-MIP），另一种是一系列半定规划（SDP）。SDP方法可收敛至最优解，并能使用标准SDP求解器在多项式时间内求解，为这类非凸问题提供了一个强大的凸松弛框架。

ABSTRACT

In this paper we propose a general methodology for solving a broad class of continuous, multifacility location problems, in any dimension and with ℓτ-norms proposing two different methodologies: (1) by a new second order cone mixed integer programming formulation and (2) by formulating a sequence of semidefinite programs that converges to the solution of the problem; each of these relaxed problems solvable with SDP solvers in polynomial time.

研究动机与目标

• 解决在任意维度下使用ℓτ-范数求解连续多设施有序中位数位置问题的挑战。
• 开发一种通用优化框架，适用于除标准欧几里得或曼哈顿范数外的广泛类设施位置问题。
• 提供可多项式时间求解的松弛方法，使其收敛至原始非凸问题的全局最优解。
• 通过利用凸松弛技术，使标准优化求解器能够高效计算。
• 为求解具有有序中位数目标的复杂位置问题，建立理论与计算基础。

提出的方法

• 将多设施有序中位数问题表述为二阶锥混合整数规划（SOCP-MIP），通过混合整数锥优化实现精确求解。
• 提出一系列半定规划（SDP），用于松弛原始问题并收敛至其最优解。
• 使用凸松弛技术，将非凸、非光滑的有序中位数目标函数转化为可处理的半定规划形式。
• 利用SDP的多项式时间求解器，高效逼近原始问题的全局最优解。
• 应用ℓτ-范数框架，将问题推广至ℓ1或ℓ2范数之外，实现对距离偏好灵活建模。
• 确保SDP松弛序列收敛至连续多设施有序中位数问题的真实最优解。

实验结果

研究问题

• RQ1 能否有效利用二阶锥混合整数规划公式求解使用ℓτ-范数的连续多设施有序中位数问题？
• RQ2 能否构建一系列半定规划，用于松弛并收敛至非凸多设施有序中位数问题的最优解？
• RQ3 所提出的SDP松弛在在多大程度上保持了原始问题的结构，同时实现多项式时间求解？
• RQ4 所提出的方法在设施位置设置中，对任意维度和不同ℓτ-范数的推广程度如何？
• RQ5 与精确的混合整数公式相比，SDP松弛方法的计算效率和收敛行为如何？

主要发现

• 所提出的二阶锥混合整数规划公式可精确求解使用ℓτ-范数的连续多设施有序中位数问题。
• 一系列半定规划提供了收敛的松弛方法，逼近原始非凸问题的全局最优解。
• 序列中的每个半定规划均可使用标准SDP求解器在多项式时间内求解，确保计算可行性。
• 基于SDP的方法提供了一个通用且可扩展的凸松弛框架，适用于任意维度的问题。
• 该方法通过凸松弛成功处理了有序中位数目标的非凸性和非光滑性。
• SDP松弛序列收敛至真实最优解，确立了所提方法的理论合理性。