[논문 리뷰] Robust Draws in Balanced Knockout Tournaments

Krishnendu Chatterjee, Rasmus Ibsen-Jensen외 1명|arXiv (Cornell University)|2016. 04. 18.

Sports Analytics and Performance참고 문헌 15인용 수 6

한 줄 요약

이 논문은 쌍별 승리 확률에 대한 미세한 변동에 대해 균형 잡힌 탈락식 토너먼트(BKTs)의 최적 드로의 강건성에 대해 연구한다. 작은 오차 𝜀에 대해 드로의 강건성을 근사하기 위한 다항식 시간 알고리즘을 제시하며, 강건 토너먼트 고정 문제(RTFP)와 강건 확률적 토너먼트 고정 문제(RPTFP)가 NP-완전임을 증명한다. 또한, 상수 개의 플레이어 유형과 소수의 예외가 있는 선형 순서라는 두 가지 특수 케이스에 대해 다항식 시간 해법을 제공한다.

ABSTRACT

Balanced knockout tournaments are ubiquitous in sports competitions and are also used in decision-making and elections. The traditional computational question, that asks to compute a draw (optimal draw) that maximizes the winning probability for a distinguished player, has received a lot of attention. Previous works consider the problem where the pairwise winning probabilities are known precisely, while we study how robust is the winning probability with respect to small errors in the pairwise winning probabilities. First, we present several illuminating examples to establish: (a)~there exist deterministic tournaments (where the pairwise winning probabilities are~0 or~1) where one optimal draw is much more robust than the other; and (b)~in general, there exist tournaments with slightly suboptimal draws that are more robust than all the optimal draws. The above examples motivate the study of the computational problem of robust draws that guarantee a specified winning probability. Second, we present a polynomial-time algorithm for approximating the robustness of a draw for sufficiently small errors in pairwise winning probabilities, and obtain that the stated computational problem is NP-complete. We also show that two natural cases of deterministic tournaments where the optimal draw could be computed in polynomial time also admit polynomial-time algorithms to compute robust optimal draws.

연구 동기 및 목표

• 최적 토너먼트 드로가 쌍별 승리 확률의 미세한 오차에 얼마나 민감한지 조사하기.
• 최적 드로가 강건한지, 아니면 변동에 대해 하위 최적 드로가 더 강건한지 판단하기.
• 소수의 오차가 있는 상황에서도 최소 승리 확률을 보장하는 드로를 찾는 문제의 계산 복잡도를 체계화하고 연구하기.
• 소수의 𝜀에 대해 드로의 강건성을 효율적으로 근사하기 위한 알고리즘 개발하기.
• 강건 최적 드로를 다항식 시간 내에 계산할 수 있는 특수 토너먼트 구조 식별하기.

제안 방법

• 특정 플레이어의 승리 확률을 쌍별 확률 P_ij에 대한 다항식 다항식으로 모델링한다.
• P_ij의 𝜀-편미분에 의한 최악의 승리 확률 감소를 근사하기 위해 테일러 전개를 사용한다.
• 최악의 감소는 점차적으로 𝜀에 비례하며, 승리 확률의 각 P_ij에 대한 절대 편미분의 합과 비례함을 도출한다.
• 승리 확률의 선형 근사에서 계수 α_ij의 절대값의 합을 계산하여 드로의 강건성 계산하기.
• 각 P_ij에 대해 α_ij를 계산하기 위한 재귀적 O(N²) 알고리즘을 활용하여 총 강건성은 O(N⁴)에 계산 가능하다.
• 강건 토너먼트 고정 문제(RTFP)를 고전적 TFP 문제로 환원하여 NP-완전성 증명하기.

실험 결과

연구 질문

• RQ1 소수의 쌍별 승리 확률 오차 하에서 결정론적 BKT에서 최적 드로가 다른 드로보다 현저히 덜 강건한가?
• RQ2 확률론적 BKT에서 최적 드로보다 더 강건한 하위 최적 드로가 존재하는가?
• RQ3 소수의 오차가 있는 상황에서도 특정 승리 확률을 보장하는 드로를 찾는 문제의 계산 복잡도는 무엇인가?
• RQ4 소수의 𝜀 > 0 에 대해 드로의 강건성을 효율적으로 근사할 수 있는가?
• RQ5 강건 최적 드로를 다항식 시간 내에 계산할 수 있는 특수 토너먼트 구조는 무엇인가?

주요 결과

• 일부 결정론적 토너먼트에서는 한 최적 드로의 강건성 감소가 약 N𝜀/2에 이르지만, 다른 드로는 log N · 𝜀에 불과하여 강건성에 상당한 차이가 있음.
• 일부 확률론적 토너먼트에서는 하위 최적 드로가 모든 최적 드로보다 더 강건한 경우가 존재하여, 최적성과 강건성의 상관관계를 의심스럽게 만든다.
• 소수의 𝜀 > 0 에 대해 승리 확률의 절대 편미분 계수의 합을 사용하여 드로의 강건성을 다항식 시간 내에 근사할 수 있음.
• 강건 토너먼트 고정 문제(RTFP)와 강건 확률적 토너먼트 고정 문제(RPTFP)는 모두 NP-완전임.
• 두 가지 특수 케이스—상수 개의 플레이어 유형과 상수 개의 예외가 있는 선형 순서—에 대해서는 최적 승리 드로를 계산하거나 근사하는 데 다항식 시간 알고리즘이 존재함.
• 강건성 측정치는 점차적으로 𝜀에 비례하며, 승리 확률 함수의 선형 근사에서 계수의 절대값의 합과 동일하다.