[논문 리뷰] Online Matching with Set and Concave Delays

Lindsey Deryckere, Seeun William Umboh|arXiv (Cornell University)|2022. 11. 04.

Optimization and Search Problems인용 수 2

한 줄 요약

이 논문은 매칭되지 않은 요청들의 전체 집합에 따라 지연 비용이 결정되는, 집합 기반 지연을 갖는 온라인 최소비용 완전매칭(MPMD-Set)을 소개한다. 이는 이전의 개별 요청 기반 지연과 일반화된 형태이다. 크기 기반 지연(지연 비용이 매칭되지 않은 요청 수에 비례하여 증가)을 고려한 최초의 비클라이베이언트 알고리즘을 제안하며, 메트릭 태스크 시스템(MTS)으로의 새로운 환원을 통해 O(2^m)-경쟁률을 갖는 결정론적 알고리즘과 O(m^4)-경쟁률을 갖는 랜덤화 알고리즘을 달성한다.

ABSTRACT

We initiate the study of online problems with set delay, where the delay cost at any given time is an arbitrary function of the set of pending requests. In particular, we study the online min-cost perfect matching with set delay (MPMD-Set) problem, which generalises the online min-cost perfect matching with delay (MPMD) problem introduced by Emek et al. (STOC 2016). In MPMD, m requests arrive over time in a metric space of n points. When a request arrives the algorithm must choose to either match or delay the request. The goal is to create a perfect matching of all requests while minimising the sum of distances between matched requests, and the total delay costs incurred by each of the requests. In contrast to previous work we study MPMD-Set in the non-clairvoyant setting, where the algorithm does not know the future delay costs. We first show no algorithm is competitive in n or m. We then study the natural special case of size-based delay where the delay is a non-decreasing function of the number of unmatched requests. Our main result is the first non-clairvoyant algorithms for online min-cost perfect matching with size-based delay that are competitive in terms of m. In fact, these are the first non-clairvoyant algorithms for any variant of MPMD. A key technical ingredient is an analog of the symmetric difference of matchings that may be useful for other special classes of set delay. Furthermore, we prove a lower bound of Ω(n) for any deterministic algorithm and Ω(log n) for any randomised algorithm. These lower bounds also hold for clairvoyant algorithms. Finally, we also give an m-competitive deterministic algorithm for uniform concave delays in the clairvoyant setting.

연구 동기 및 목표

• 매칭되지 않은 요청들의 전체 집합에 따라 지연 비용이 결정되는, 온라인 최소비용 완전매칭 문제를 연구하며, 이는 이전의 개별 요청 기반 지연 연구를 일반화한다.
• 미래의 지연 비용과 메트릭 구조가 알려지지 않은 비클라이베이언트 알고리즘을 설계한다.
• 비클라이베이언트 환경에서 온라인 매칭 문제의 어떤 변형에 대해서도 최초의 경쟁 알고리즘을 확립한다.
• MPMD-Size 설정에서 결정론적 알고리즘에 대해 Ω(n)의 낮은 하한선과 랜덤화 알고리즘에 대해 Ω(log n)의 낮은 하한선을 증명한다.
• 클라리베이언트 환경에서 균일한 오목 지연을 갖는 MPMD 문제에 대해 O(m)-경쟁률을 갖는 결정론적 알고리즘을 제시한다.

제안 방법

• MPMD-Size 문제를 메트릭 태스크 시스템(MTS) 문제로 환원하며, 기존의 MTS 알고리즘을 활용해 경쟁적인 온라인 알고리즘을 유도한다.
• 매칭에 대한 대칭 차이의 새로운 유형을 도입하여, 집합 기반 지연 비용을 분석하는 데 유용하다.
• 확률적 적대자 주장 기반 하한선 유도를 위해, n개의 점과 m개의 요청을 갖는 메트릭 공간 위의 입력 분포를 구성한다.
• 하한선 증명에서 기대 거리 비용을 유계화하기 위해 조화수 분석을 적용하며, 비활성 비포화 점에 조건을 두어 분석한다.
• 수학적 귀납법을 사용하여 각 단계의 끝에서 최소 두 개의 비활성 비포화 점이 존재함을 증명함으로써 피할 수 없는 매칭 비용을 보장한다.
• 크기 기반 지연 함수의 구조를 처리할 수 있도록 최신의 MTS 알고리즘들을 수정하여 적용한다.

실험 결과

연구 질문

• RQ1 집합 기반 지연을 고려한 온라인 최소비용 완전매칭 문제에 대해 경쟁적인 비클라이베이언트 알고리즘을 설계할 수 있는가?
• RQ2 비클라이베이언트 환경에서 MPMD-Set 문제의 최적 경쟁률은 얼마인가?
• RQ3 MPMD-Size에 대한 하한선은 n 또는 m에 의존하는가? 그 정밀한 형태는 무엇인가?
• RQ4 MTS 환원 프레임워크는 집합 기반 지연 문제에 대해 경쟁 알고리즘을 효과적으로 도출하는 데 적용될 수 있는가?
• RQ5 클라리베이언트 환경에서 균일한 오목 지연을 갖는 MPMD 문제에 대해 결정론적 O(m)-경쟁률 알고리즘이 존재하는가?

주요 결과

• 논문은 MPMD-Set에 대해 어떤 결정론적 알고리즘도 n 또는 m에만 의존하는 경쟁성을 갖을 수 없음을 증명하며, 아웃라이어 비율 Φ에 대해 Ω(Φ)의 하한선을 제시한다.
• 크기 기반 지연을 고려한 MPMD-Size에 대해 최초의 비클라이베이언트 알고리즘을 제시하며, O(2^m)-경쟁률을 갖는 결정론적 알고리즘과 O(m^4)-경쟁률을 갖는 랜덤화 알고리즘을 달성한다.
• 제안된 알고리즘의 경쟁률은 n에 의존하지 않고 오직 m에만 의존함을 보이며, 이는 이전 연구에 비해 상당한 향상이다.
• MPMD-Size 설정에서 어떤 결정론적 알고리즘에 대해서도 Ω(n)의 하한선과 어떤 랜덤화 알고리즘에 대해서도 Ω(log n)의 하한선을 증명한다.
• 균일한 오목 지연을 갖는 MPMD 문제에 대해 클라리베이언트 환경에서 O(m)-경쟁률을 갖는 결정론적 알고리즘을 제시한다.
• 분석을 통해 알고리즘의 기대 거리 비용이 Ω(log n)임을 증명하며, 이는 하한선과 일치하여 랜덤화 하한선의 날카로움을 입증한다.