[논문 리뷰] Shuffling cards for blackjack, bridge, and other card games

Mark Conger, Divakar Viswanath|ArXiv.org|2006. 06. 01.

Artificial Intelligence in Games참고 문헌 25인용 수 5

한 줄 요약

이 논문은 블랙잭과 브리지와 같은 게임에서 카드의 유일성과 순열의 균일성이 덜 중요한 경우, 카드를 뒤섞기 위해 필요한 리플 샤플의 수를 조사한다. 이는 전이 확률을 계산하는 데 핵심적인 내림차순 다항식의 계산이 #P-완전임을 증명하며, 계수들이 종형 곡선에 근접하지만 혼합 시간에 중요한 꼬리 확률을 정확히 추정하는 데에는 부족하여, 혼합 임계값을 추정하기 위해 히우리스틱과 실험적 방법을 사용한다.

ABSTRACT

This paper is about the following question: How many riffle shuffles mix a deck of card for games such as blackjack and bridge? An object that comes up in answering this question is the descent polynomial associated with pairs of decks, where the decks are allowed to have repeated cards. We prove that the problem of computing the descent polynomial given a pair of decks is $#P$-complete. We also prove that the coefficients of these polynomials can be approximated using the bell curve. However, as must be expected in view of the $#P$-completeness result, approximations using the bell curve are not good enough to answer our question. Some of our answers to the main question are supported by theorems, and others are based on experiments supported by heuristic arguments. In the introduction, we carefully discuss the validity of our answers.

연구 동기 및 목표

• 카드의 유일성이 덜 중요하고 52!가 모두 동일한 확률로 나타나야 할 필요가 없는 블랙잭, 브리지와 같은 게임에서 카드를 뒤섞기 위해 필요한 리플 샤플의 수를 결정하는 것.
• 리플 샤플링 하에서 반복된 카드를 가진 덱 간 전이 확률을 계산하는 데 있어 계산 복잡도를 분석하는 것.
• 혼합 시간 맥락에서 내림차순 다항식 계수의 정규 근사(종형 곡선)의 정확도를 평가하는 것.
• 이론적 결과와 히우리스틱 수치 방법의 조합을 통해 특정 게임의 혼합 시간을 추정하는 것.

제안 방법

• 내림차순 다항식은 리플 샤플링 하에서 두 덱 간 전이 확률를 표현하며, 계수는 주어진 순열로 이르는 리플 샤플 시퀀스의 수를 나타낸다.
• 논문은 두 덱에 대해 내림차순 다항식을 계산하는 것이 #P-완전임을 증명하며, 이는 다항 시간 알고리즘이 알려져 있지 않음을 의미한다.
• 일반 조건 하에서 내림차순 다항식 계수의 정규 근사(종형 곡선)가 유도되며, 점근적 정규성을 보여준다.
• 혼합 시간 추정에 중요한 꼬리 영역의 계수에 대해서는 정규 근사가 충분히 정확하지 않음을 보이며, 대안 방법이 필요하다.
• 계산된 항들로부터 꼬리 계수를 추정하기 위해 다항식 피팅(4차에서 6차)을 사용한 수치적 외삽법을 적용하며, 몬테카를로 시뮬레이션을 통해 오차 범위를 평가한다.
• 대규모 시뮬레이션(l = 10^10)을 통해 계수 근사의 정확도를 검증하고 총 변동 거리의 히우리스틱 추정을 뒷받침한다.

실험 결과

연구 질문

• RQ1 스위트와 카드 순서가 덜 중요한 블랙잭과 같은 게임에서 혼합을 위해 필요한 리플 샤플의 수는 얼마인가?
• RQ2 유일한 카드가 아닌 반복된 카드를 가진 덱 간 전이 확률 계산의 계산 복잡도는 표준 유일 카드 케이스와 비교해 어떻게 되는가?
• RQ3 혼합 시간에 관련된 꼬리 영역에서 내림차순 다항식 계수를 정규 분포로 정확히 근사할 수 있는가?
• RQ4 특히 메모리가 있는 경우(예: 마르코프 리플 모델에서 p > 1/2 또는 p < 1/2), 혼합 시간은 어떤 식으로 셰플링 모델에 따라 달라지는가?
• RQ5 예를 들어 (1,2)^n 또는 모듈로 제약 조건이 있는 덱에서 특정 순열로 이르는 리플 샤플의 수를 결정하는 조합적 구조는 무엇인가?

주요 결과

• 두 덱에 대해 내림차순 다항식을 계산하는 문제는 #P-완전임이 증명되었으며, 정확한 계산에 있어 본질적인 계산 난이도가 있음을 시사한다.
• 내림차순 다항식 계수는 점근적으로 정규 분포를 따르지만, 꼬리 영역에서는 혼합 시간을 정확히 결정하는 데에는 충분한 정확도가 부족하다.
• 브리지의 경우 세 번의 샤플 후 내림차순 다항식에서 x^7 계수는 x^15에서 x^26까지의 항들을 바탕으로 6차 다항식 피팅을 통해 추정되었으며, 추정 상대 오차는 10% 이하였다.
• 블랙잭의 경우 세 번의 샤플 후 x^12, x^13, x^14 계수는 x^15에서 x^22까지의 항들을 바탕으로 4차 다항식 피팅을 통해 외삽되었으며, 상대 오차가 10% 이하일 것이라는 신뢰가 있었다.
• 브리지 케이스의 총 변동 거리 추정은 꼬리 영역의 외삽에 의존함으로써 상대적으로 낮은 신뢰도를 보였다.
• 논문은 세 가지 열린 문제를 제기한다: 메모리가 있는 리플 샤플(확률 p에 의존하는 모델)의 일반화, (1,2)^n 수열에서 R-관련 동치류의 수를 세는 것, 모듈로 제약 조건과 고정된 내림차수를 가진 순열에 대한 재귀식 유도.