[논문 리뷰] Continuous multifacility ordered median location problems

Víctor Blanco, Safae El-Haj Ben-Ali외 1명|arXiv (Cornell University)|2014. 01. 04.

Facility Location and Emergency Management인용 수 1

한 줄 요약

이 논문은 임의의 차원에서 ℓτ-노름을 사용하여 연속 다기능 순서화된 중앙 위치 문제를 해결하기 위한 두 가지 새로운 방법론을 제안한다: 이차원 원뿔 혼합정수계획법과 순차적인 정준형프로그래밍(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 비볼록 다기능 순서화된 중앙 위치 문제의 최적해로 수렴하는 순차적인 정준형프로그래밍(SDP)의 시퀀스를 구성할 수 있는가?
• RQ3 제안된 SDP 이완이 원래 문제의 구조를 어느 정도 유지하면서도 다항시간 내에 해결 가능한가?
• RQ4 제안된 방법론은 기능 위치 설정에서 임의의 차원과 다양한 ℓτ-노름으로 일반화될 수 있는가?
• RQ5 SDP 이완 접근법의 계산 효율성과 수렴 행동은 정확한 혼합정수 공식화와 비교해 어떻게 되는가?

주요 결과

• 제안된 이차원 원뿔 혼합정수계획법 공식화는 ℓτ-노름을 사용하는 연속 다기능 순서화된 중앙 위치 문제의 정확한 해를 도출할 수 있다.
• 정준형프로그래밍(SDP)의 시퀀스는 원래 비볼록 문제의 전역 최적해로 수렴하는 수렴 이완을 제공한다.
• 시퀀스에 포함된 각 정준형프로그래밍(SDP)은 표준 SDP 솔버를 사용하여 다항시간 내에 해결 가능하여 계산의 타당성을 보장한다.
• SDP 기반 접근법은 일반적이며 임의의 차원의 문제에 대해 확장 가능한 볼록 이완 프레임워크를 제공한다.
• 비볼록이고 비연속적인 순서화된 중앙 위치 목표를 볼록 이완을 통해 효과적으로 다룰 수 있다.
• SDP 이완 시퀀스가 진정한 최적해로 수렴함으로써 제안된 접근법의 이론적 타당성을 입증한다.