[논문 리뷰] Beyond matroids: Secretary Problem and Prophet Inequality with general constraints

Aviad Rubinstein|arXiv (Cornell University)|2016. 04. 01.

Optimization and Search Problems참고 문헌 12인용 수 13

한 줄 요약

이 논문은 임의의 내림차순 폐쇄 성질을 가진 제약 조건 하에서 사절 문제와 예언자 부등식에 대해 $O(\log n)$-경쟁 알고리즘을 제시한다. 일반적인 음이 아닌 값에 대해서는 $O(\log n \cdot \log r)$의 경쟁력이 있으며, 여기서 $r$은 최대 가능 집합의 크기이다. 이 접근법은 구조적 보장(예: 매트로이드 성질)이 없는 상황에서도 거의 최적의 성능을 달성하기 위해 동적 잠재함수와 오라클 액세스를 사용한다.

ABSTRACT

We study generalizations of the "Prophet Inequality" and "Secretary Problem", where the algorithm is restricted to an arbitrary downward-closed set system. For {0,1}-values, we give O(log n)-competitive algorithms for both problems. This is close to the Ω(log n / loglog n) lower bound due to Babaioff, Immorlica, and Kleinberg. For general values, our results translate to O(log n log r)-competitive algorithms, where r is the cardinality of the largest feasible set. This resolves (up to the O(log r loglog n) factors) an open question posed to us by Bobby Kleinberg.

연구 동기 및 목표

• 임의의 내림차순 폐쇄 성질을 가진 제약 조건 하에서 사절 문제와 예언자 부등식에 대해 알려진 하한과 상한 사이의 격차를 메우기.
• 이전에 매트로이드 구조로 제한되었던 결과를 초월하여, 사절 설정에서 $O(\log \log r)$로 제한되었던 경쟁 비율을 확장하기.
• 일반적인 음이 아닌 항목 값에 대해 날카운 경쟁 비율을 제공하여 Bobby Kleinberg가 제기한 열린 질문을 해결하기.
• 제약 조건의 가족이 임의일 경우 알고리즘의 계산 가능성을 분석하고, 수요 유사 또는 조건부 확률 오라클에 액세스할 수 있다고 가정하기.
• 제약 조건이 비단조화일 경우 경쟁력의 한계를 탐색하여 이러한 경우에 대한 날카운 경계를 설정하기.

제안 방법

• 진행이 정체될 경우에 동적으로 조정되는 동적 잠재함수를 예언자 부등식에 도입하여 향상된 경쟁 분석을 가능하게 하기.
• 일반적인 음이 아닌 값 설정을 $\{0,1\}$-값 설정으로 환원하고, 여기서 승수 손실이 $O(\log r)$ 발생시키며, 여기서 $r$은 최대 가능 집합 크기이다.
• 사절 문제 알고리즘에서 수요 유사 오라클을 사용하여 제약 조건 하에서 현재 선택의 타당한 확장을 평가하기.
• 예언자 설정에서 조건부 확률 질의를 사용하여 과거 결과와 선택들에 기반해 목표 값 $\tau$를 달성할 가능성의 정도를 추정하기.
• 동적 업데이트를 포함한 잠재함수 논증을 적용하여, 단조성이나 매트로이드 구조가 없는 제약 조건 하에서도 경쟁력을 유지하기.
• 하드한 경우의 예를 조합적 구성(예: 하다르드 코드)을 통해 유도하여 경쟁 비율에 대한 하한을 도출하기.

실험 결과

연구 질문

• RQ1 제약 조건이 임의의 내림차순 폐쇄 가족일 경우 사절 문제의 최선의 가능한 경쟁 비율은 무엇인가?
• RQ2 일반적인 내림차순 폐쇄 제약 조건 하에서 예언자 부등식은 상수 또는 다항 로그 수준의 경쟁력으로 해결될 수 있는가?
• RQ3 값이 일반적인 음이 아닌 실수일 경우, 가장 큰 가능 집합의 크기 $r$에 따라 경쟁 비율은 어떻게 변화하는가?
• RQ4 제약 조건이 내림차순 폐쇄 성질即하지 않더라도, 이러한 문제의 경쟁 비율은 얼마인가?
• RQ5 동적 잠재함수 기법을 사용하여 매트로이드나 다형매트로이드 구조가 없는 온라인 선택 문제에서 향상된 경쟁력을 달성할 수 있는가?

주요 결과

• 모든 항목 값이 $\{0,1\}$에 속할 경우, 내림차순 폐쇄 예언자 문제와 내림차순 폐쇄 사절 문제에 대해 $O(\log n)$-경쟁 비율을 달성한다.
• 일반적인 음이 아닌 값에 대해서는 경쟁 비율이 $O(\log n \cdot \log r)$이며, 여기서 $r$은 최대 가능 집합의 기수이다. 이는 Bobby Kleinberg가 제기한 열린 질문을 해결한다.
• $O(\log n)$ 경계는 Babaioff, Immorlica, 그리고 Kleinberg가 확립한 $\Omega(\log n / \log \log n)$ 하한과 매우 가까워 거의 최적임을 시사한다.
• 비단조화 제약 조건에 대해서는 예언자 문제의 경쟁 비율이 $\Theta(n)$이며, 사절 문제의 경우 최소 $\Omega(n / \log^* n)$로 나타나 내재된 제약을 보여준다.
• 수요 유사 또는 조건부 확률 오라클에 액세스할 수 있다고 가정할 경우 알고리즘은 계산적으로 효율적이다. 이는 많은 설정에서 합리적인 가정이다.
• 동적 잠재함수 기법은 본 연구를 넘어서 다른 온라인 최적화 문제로 일반화될 수 있는 새로운 분석 도구이다.