[논문 리뷰] Online Facility Location with Deletions

Marek Cygan, Artur Czumaj외 2명|arXiv (Cornell University)|2018. 07. 10.

Optimization and Search Problems참고 문헌 37인용 수 4

한 줄 요약

이 논문은 고객의 도착과 삭제가 동시에 발생하는 시설 위치 문제에 대해, 처음으로 경쟁적인 온라인 알고리즘을 제안하며, 비제한적 버전에 대해 최적의 $O(\log n_{\text{act}}/\log\log n_{\text{act}})$-경쟁 알고리즘과 제한적 케이스에 대해 $O\big(\log m + \log c \cdot \log n\big)$-경쟁 알고리즘을 제시한다. 이는 계층적으로 잘 분리된 트리(HSTs)를 사용하여 동적 재연결과 용량 제약을 효과적으로 관리한다.

ABSTRACT

In this paper we study three previously unstudied variants of the online Facility Location problem, considering an intrinsic scenario when the clients and facilities are not only allowed to arrive to the system, but they can also depart at any moment. We begin with the study of a natural fully-dynamic online uncapacitated model where clients can be both added and removed. When a client arrives, then it has to be assigned either to an existing facility or to a new facility opened at the client's location. However, when a client who has been also one of the open facilities is to be removed, then our model has to allow to reconnect all clients that have been connected to that removed facility. In this model, we present an optimal O(log n_act / log log n_act)-competitive algorithm, where n_act is the number of active clients at the end of the input sequence. Next, we turn our attention to the capacitated Facility Location problem. We first note that if no deletions are allowed, then one can achieve an optimal competitive ratio of O(log n/ log log n), where n is the length of the sequence. However, when deletions are allowed, the capacitated version of the problem is significantly more challenging than the uncapacitated one. We show that still, using a more sophisticated algorithmic approach, one can obtain an online O(log m + log c log n)-competitive algorithm for the capacitated Facility Location problem in the fully dynamic model, where m is number of points in the input metric and c is the capacity of any open facility.

연구 동기 및 목표

• 고객과 시설이 모두 도착하고 떠날 수 있는 완전히 동적 상황을 고려하여 온라인 시설 위치 문제 연구 분야의 격차를 메우기 위해.
• 삭제로 인해 복잡성이 증가하는 상황에서도 낮은 경쟁 비율을 유지할 수 있는 효율적인 온라인 알고리즘을 설계하기 위해.
• 삽입 전용 설정에서 기존의 랜덤화된 온라인 알고리즘을 삭제를 처리할 수 있도록 확장하면서도 근사 최적의 경쟁성을 유지하기 위해.
• 시설 용량 제약과 고객의 퇴출이 함께 발생하는 동적 업데이트 상황에서 제한적 버전의 시설 위치 문제를 분석하기 위해.

제안 방법

• 고객이 제거된 시설에서의 재할당을 允허함으로써, 비제한적 시설 위치 문제에 대해 메이어슨의 랜덤화된 삽입 전용 알고리즘을 삭제를 처리할 수 있도록 변형한다.
• 계층적으로 잘 분리된 트리(HSTs)를 사용하여 원래의 거리 공간을 $O(\log m)$의 기대 스트레치와 $O(\log c)$의 깊이로 임bedding함으로써, 거리 추정을 효율적으로 수행할 수 있도록 한다.
• 최적의 시설이 담당하는 고객들을 HST 상에서 시설과의 거리 기반으로 레벨로 분할하고, 두 시점(시설로 개방되기 전과 후)으로 나누어 비용 기여도를 분석한다.
• 고객 재할당의 기대 비용을 확률적 분석을 통해 유계로 제한하며, 거리 $O(\text{dist}_{\mathfrak{T}}(f, S_i))$ 내에서 시설 가용성에 대한 고확률 보장을 활용한다.
• 총 비용을 시설 개방 비용, HST 상의 연결 비용, 재할당 페널티로 분해하고, 각 성분을 농도 및 기대값 분석을 통해 유계로 제한한다.
• HST 임베딩 결과와 시점별 분석 결과를 조합하여 최종 경쟁 비율을 유도하며, $m$과 $c$에 대한 의존성이 상수 배수 범위 내에서 로그적임을 보여준다.

실험 결과

연구 질문

• RQ1 고객이 도착하고 떠날 수 있는 완전히 동적 비제한적 시설 위치 문제에서, 온라인 알고리즘이 최적의 경쟁 비율을 달성할 수 있는가?
• RQ2 삭제가 허용되는 경우, 제한적 시설 위치 문제의 최선의 가능한 경쟁 비율은 무엇이며, 삽입 전용 경우와 비교해 볼 때 어떻게 다른가?
• RQ3 계층적으로 잘 분리된 트리(HSTs)의 프레임워크는 제한적 환경에서 동적 고객 퇴출과 시설 재할당을 효과적으로 처리할 수 있는가?
• RQ4 재연결과 용량 제약이 복잡해지는 상황에서도, 삭제가 존재하는 상황에서 삽입 전용 경쟁 비율에 근접한 경쟁 비율을 유지하는 것이 가능한가?
• RQ5 동적 제한적 모델에서 점의 수 $m$, 시설 용량 $c$, 그리고 경쟁 비율 사이의 상호 교환 관계는 무엇인가?

주요 결과

• 완전히 동적 비제한적 시설 위치 문제에 대해 최적의 알려진 삽입 전용 경우와 동일한 $O(\log n_{\text{act}} / \log\log n_{\text{act}})$-경쟁 랜덤화 알고리즘을 달성한다.
• 삭제가 허용되는 제한적 버전에 대해, 이 동적 환경에서 최초로 $O(\log m + \log c \cdot \log n)$-경쟁 알고리즘을 제시한다.
• 제한적 케이스의 경쟁 비율은 연결 비용에 대해 기대값 기준으로 $O(\log m)$, 재할당 페널티에 대해 $O(\log c \cdot \log n)$임을 보이며, 후자는 HST 임베딩과 농도 한계를 통해 유계로 제한된다.
• 두 번째 시점(고객이 시설로 개방된 이후) 동안의 고객 재할당 기대 비용이 $O(\text{dist}_{\mathfrak{T}}(f, S_i)) + 120 \cdot \log c \cdot \ln n / c$ 이하로 유계임을 분석으로 밝혀내었으며, 이는 경쟁 비율에 $O(\log c \cdot \log n)$ 기여를 한다.
• HSTs를 사용함으로써 $O(\log m)$의 기대 스트레치와 $O(\log c)$의 깊이를 확보하여, 동적 환경에서 거리와 시설 가용성의 효율적 근사가 가능하다.
• 삭제로 인한 추가적인 복잡성에도 불구하고, 비제한적 및 제한적 버전 모두에서 삽입 전용 경쟁 비율에 도달하거나 근접한 온라인 알고리즘이 존재함을 보여준다.