[논문 리뷰] Secretary Problems with Non-Uniform Arrival Order

Thomas Keßelheim, Robert Kleinberg외 1명|arXiv (Cornell University)|2015. 02. 07.

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

한 줄 요약

이 논문은 사무직 문제에 대해 유도된 랜덤성 가정을 완화하기 위해 특별히 $(p,q,u)$-블록독립성과 $(k,\delta)$-균일유도순서성질을 도입한다. 이러한 조건들조차도 고정확률 최적 선택을 가능하게 하며, 고전적 $1/e$ 성공률에 수렴함을 보여준다. 결과적으로 이러한 분포는 균일한 랜덤성보다 훨씬 넓은 범위를 포함하며, 많은 자연스러운 비균일 분포를 포함한다.

ABSTRACT

For many online problems, it is known that the uniform arrival order enables the design of algorithms with much better performance guarantees than under worst-case. The quintessential example is the secretary problem. If the sequence of elements is presented in uniformly random order there is an algorithm that picks the maximum value with probability 1/e, whereas no non-trivial performance guarantee is possible if the elements arrive in worst-case order. This work initiates an investigation into relaxations of the random-ordering hypothesis in online algorithms, by focusing on the secretary problems. We present two sets of properties of distributions over permutations as sufficient conditions, called the block-independence property and uniform-induced-ordering property. We show these two are asymptotically equivalent by borrowing some techniques from the approximation theory. Moreover, we show they both imply the existence of secretary algorithms with constant probability of correct selection, approaching the optimal constant 1/e in the limit. We substantiate our idea by providing several constructions of distributions that satisfy block-independence. We also show that Θ(log log n) is the minimum entropy of any permutation distribution that permits constant probability of correct selection in the secretary problem with n elements. While our block-independence condition is sufficient for constant probability of correct selection, it is not necessary; however, we present complexity-theoretic evidence that no simple necessary and sufficient criterion exists. Finally, we explore the extent to which the performance guarantees of other algorithms are preserved when one relaxes the uniform random ordering assumption, obtaining a positive result for Kleinberg's multiple-choice secretary algorithm and a negative result for the weighted bipartite matching algorithm of Korula and Pal.

연구 동기 및 목표

• 온라인 알고리즘, 특히 사무직 문제에서 균일한 도착 순서를 요구하지 않고도 강력한 성능 보장을 유지할 수 있는지 조사하기 위해.
• 사무직 문제에서 여전히 고정확률 최적 선택이 가능한 자연스럽고 비균일한 분포 성질을 특정하기 위해.
• 사무직 문제에서 $n$개의 원소를 가진 경우, 고정확률 정확한 선택을 지원할 수 있는 임의의 순열 분포에 필요한 최소 엔트로피를 규명하기 위해.
• 기타 온라인 알고리즘(예: 다중 선택 사무직, 가중 이분 매칭)의 성능 보장이 완화된 랜덤성 가정 하에서도 유지되는지 평가하기 위해.
• s-허용성에 대한 단순한 필요 및 충분 조건이 존재하는지 확인하고, 존재하지 않는다면 그 비존재에 대한 복잡도 이론적 증거를 제시하기 위해.

제안 방법

• $(p,q,\delta)$-블록독립성 성질(BIP)을 도입한다. 이는 임의의 $p$개의 서로 다른 항목의 도착 시간 연속 분포가 굵은 해상도에서 볼 때 $p$개의 i.i.d. 균일 표본과 $\delta$-근접해야 한다는 조건을 요구한다.
• $(k,\delta)$-균일유도순서성질(UIOP)을 도입한다. 이는 임의의 $k$개의 서로 다른 항목에 대해 그 상대적 순서가 균일한 것과 $\delta$-근접해야 한다는 조건을 요구한다.
• 근사 이론 기법을 사용해 BIP와 UIOP 간의 점점 더 가까운 점근적 동치성을 증명하며, 충분히 큰 $k$와 작은 $\delta$에서 UIOP가 BIP를 함의함을 보인다.
• 확률적 방법을 사용해 특정 간선 확률과 가중치를 가진 무작위 이분 그래프를 구성하여, 완화된 가정 하에서 알고리즘 성능을 분석한다.
• 체르노프 경계와 유니온 경계를 적용해, 구성된 순열 분포가 요구 조건을 높은 확률로 만족함을 보인다.
• 기존 알고리즘(Kleinberg의 다중 선택 사무직 및 Korula-Pál의 가중 이분 매칭)의 성능을 최악의 경우 인스턴스 구성 기반으로 새로운 가정 하에서 분석한다.

실험 결과

연구 질문

• RQ1 도착 순서가 균일하지 않은 경우에도 사무직 문제에서 고정확률 정확한 선택을 보장할 수 있는 순열 분포의 자연스러운 성질은 무엇인가?
• RQ2 $(k,\delta)$-균일유도순서성질 또는 $(p,q,\delta)$-블록독립성 성질을 사용해 $1/e$에 수렴하는 고정확률 성공을 유도할 수 있는가?
• RQ3 사무직 문제에서 $n$개의 원소를 가진 경우, 고정확률 정확한 선택을 허용하는 임의의 순열 분포의 최소 엔트로피는 얼마인가?
• RQ4 제안된 성질들이 s-허용성에 필수적인가, 아니면 더 완화시킬 수 있는가?
• RQ5 기존의 온라인 알고리즘이 완화된 랜덤성 가정 하에서도 얼마나 견고한가, 특히 성능 보장 측면에서 어느 정도의 영향을 받는가?

주요 결과

• $(p,q,\delta)$-블록독립성과 $(k,\delta)$-균일유도순서성질은 점점 더 가까운 점근적 동치성을 가지며, $\delta \to 0$ 및 $k \to \infty$일 때 둘 다 $1/e$에 수렴하는 고정확률 성능을 보이는 사무직 알고리즘이 존재함을 함의한다.
• 논문은 $n$개의 원소를 가진 사무직 문제에서 고정확률 정확한 선택을 허용하는 임의의 순열 분포에 대해 최소 엔트로피가 $\Theta(\log \log n)$임을 증명한다.
• $(k,\delta)$-균일유도순서성질은 $k \geq 3$일 때 s-허용성을 함의하며, $k \to \infty$ 및 $\delta \to 0$일 때 성공 확률은 $1/e$에 수렴한다.
• 블록독립성 성질은 s-허용성에 충분하지만 필수 조건은 아니다. 복잡도 이론적 증거는 단순한 필요 및 충분 조건이 존재하지 않을 것임을 시사한다.
• Kleinberg의 다중 선택 사무직 알고리즘은 $(k,\delta)$-UIOP 가정 하에서도 양호한 성능을 유지하지만, Korula-Pál의 가중 이분 매칭 알고리즘은 동일 조건 하에서 성능 보장을 유지하지 못한다.
• 각 쪽에 $n$개의 정점이 있는 이분 그래프에 대한 무작위 구성은 Korula-Pál 알고리즘이 $(k,\delta)$-UIOP 하에서 평균적으로 $O(\log n)$의 값을 얻음을 보여주며, 이는 최적의 $\Omega(n)$에 비해 훨씬 낮다. 이는 이 알고리즘에 대한 부정적인 결과를 보여준다.