[논문 리뷰] The Outer Limits of Contention Resolution on Matroids and Connections to the Secretary Problem

Shaddin Dughmi|arXiv (Cornell University)|2019. 09. 10.

Optimization and Search Problems참고 문헌 27인용 수 2

한 줄 요약

이 논문은 제품 분포를 초월하여 매트로이드 제약 조건에 대한 임의의 분포로 경쟁적 해결을 일반화하며, 2|E|개의 부등식으로 구성된 가족을 통해 α-경쟁적인 분포를 특성화한다. 온라인 경쟁적 해결과 매트로이드 비서 문제 사이에 밀접한 연결을 수립하여, 경쟁적인 비서 알고리즘이 근사 최적의 온라인 경쟁적 해결을 가능하게 하고, 매트로이드 상에서 요소 분포를 개선하는 것은 O(1)-경쟁적인 성질을 지닌다는 것을 보여주며, 매트로이드 비서 추측을 해결하기 위한 새로운 길을 제시한다.

ABSTRACT

Contention resolution schemes have proven to be a useful and unifying abstraction for a variety of constrained optimization problems, in both offline and online arrival models. Much of prior work restricts attention to product distributions for the input set of elements, and studies contention resolution for increasingly general packing constraints, both offline and online. In this paper, we instead focus on generalizing the input distribution, restricting attention to matroid constraints in both the offline and online random arrival models. In particular, we study contention resolution when the input set is arbitrarily distributed, and may exhibit positive and/or negative correlations between elements. We characterize the distributions for which offline contention resolution is possible, and establish some of their basic closure properties. Our characterization can be interpreted as a distributional generalization of the matroid covering theorem. For the online random arrival model, we show that contention resolution is intimately tied to the secretary problem via two results. First, we show that a competitive algorithm for the matroid secretary problem implies that online contention resolution is essentially as powerful as offline contention resolution for matroids, so long as the algorithm is given the input distribution. Second, we reduce the matroid secretary problem to the design of an online contention resolution scheme of a particular form.

연구 동기 및 목표

• 매트로이드에서 표준 제품 분포 가정을 초월하여, 상호의존적이고 관련된 입력 분포 하에서 경쟁적 해결의 능력과 한계를 이해하는 것.
• 매트로이드에서 α-경쟁적인 오프라인 경쟁적 해결이 가능한 분포의 클래스를 특성화하고, 매트로이드 기저 커버링 정리의 분포로의 일반화를 시도하는 것.
• 분포 지식이 경쟁적 해결에 미치는 영향을 조사하며, 특히 사전 독립적 방법이 비현실적인 보장을 달성할 수 있는지 여부를 탐구하는 것.
• 온라인 경쟁적 해결과 매트로이드 비서 문제 사이의 깊은 연결 고리를 확립하여, 한쪽에서의 경쟁성이 다른 쪽에서도 유도됨을 보여주는 것.
• 경쟁적 해결이 오랫동안 남아있는 매트로이드 비서 추측을 해결하는 열쇠가 될 수 있음을 뒷받침하는 증거를 제공하는 것.

제안 방법

• 기저 집합의 각 부분집합에 대해 하나씩 총 2|E|개의 선형 부등식으로 구성된 시스템을 통해 α-경쟁적인 분포의 특성화를 제안하며, 이를 통해 매트로이드 기저 커버링 정리를 분포로 일반화한다.
• 이 부등식 특성화를 활용해 경쟁적 분포의 닫힘 성질을 도출하고, 정성적 및 부정적 상관관계를 가진 예시를 분석한다.
• 기타 방법으로는 불가능성을 입증하여, 유한한 표본을 가진 사전 독립적 경쟁적 해결 방법이 모든 α-경쟁적 분포에 대해 비현실적인 보장을 달성할 수 없음을 보여준다.
• 매트로이드 비서 문제를 특정 형태의 온라인 경쟁적 해결 방법으로 환원하여, 두 문제 간의 경쟁성에서 동치임을 입증한다.
• 카지머가 정의한 가중 매트로이드에서 개선 요소의 분포를 분석하고, 특성화를 활용해 이 분포가 O(1)-경쟁적임을 증명한다.
• 기존의 온라인 CRS 알고리즘들이 조건부로 동일한 경계 확률을 가지는 요소를 구분하지 못함으로써, 양의 상관관계를 가진 분포, 예를 들어 개선 요소 집합에 대해서조차도 랜덤 도착 순서 조건 하에서도 O(1/k) 이하의 선택 확률을 기록한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 임의의 매트로이드 요소 분포가 α-경쟁적인 오프라인 경쟁적 해결을 허용하는가? 그리고 이러한 분포는 어떻게 특성화될 수 있는가?
• RQ2 입력 분포 지식이 경쟁적 해결 방법의 경쟁성에 미치는 영향은 무엇이며, 사전 독립적 방법이 비현실적인 성능을 달성할 수 있는가?
• RQ3 온라인 경쟁적 해결과 매트로이드 비서 문제 사이의 관계는 무엇이며, 둘 사이에 상호 환원이 가능한가?
• RQ4 매트로이드 비서 추측을 가정하지 않고도, 가중 매트로이드에서 개선 요소의 분포가 경쟁적임을 입증할 수 있는가?
• RQ5 기존 방법들이 실패하는 상황에서, 양의 상관관계 하에서 온라인 경쟁적 해결을 달성하기 위해 새로운 알고리즘 기법이 필요한가?

주요 결과

• 분포가 α-경쟁적임은 기저 집합의 각 부분집합에 대해 하나씩 총 2|E|개의 선형 부등식을 만족하는 것과 동치이며, 이는 매트로이드 기저 커버링 정리를 분포로 일반화한 것이다.
• 경쟁적 분포의 클래스는 혼합 및 조건부 적용과 같은 특정 연산에 대해 닫혀 있으며, 정성적 및 부정성 상관관계를 가진 분포를 포함한다.
• 모든 α-경쟁적 분포에 대해 비현실적인 보장을 보장하는 경쟁적 해결 방법은 전체 분포에 대한 액세스가 필요하며, 유한한 표본을 가진 사전 독립적 방법은 이러한 보장을 달성할 수 없다.
• 매트로이드 비서 문제에 대해 γ-경쟁적인 알고리즘이 존재할 경우, 임의의 α-경쟁적 분포에 대해 온라인 경쟁적 해결이 γα-경쟁적인 성능을 달성함을 보여주며, 두 문제 간의 밀접한 연결 고리를 확립한다.
• 가중 매트로이드에서 개선 요소의 분포는 O(1)-경쟁적임을 보여주며, 이는 매트로이드 비서 추측을 해결하는 강력한 후보가 된다.
• 기존의 온라인 경쟁적 해결 알고리즘, 특히 랜덤 도착 순서에 의존하는 알고리즘들은 k-균일 매트로이드에서 개선 요소에 대해 O(1/k) 이하의 선택 확률을 기록하며, 이는 경계 확률이 동일하고 구분이 불가능한 대칭성 때문이므로 실패한다.