[논문 리뷰] An Optimal Mastermind (4,7) Strategy and More Results in the Expected Case

Geoffroy Ville|arXiv (Cornell University)|2013. 05. 05.

graph theory and CDMA systems참고 문헌 10인용 수 4

한 줄 요약

이 논문은 4개의 페그과 7가지 색상으로 구성된 마스터민드 게임(MM(4,7))의 예상 경우에 대한 최적 전략을 제시하며, 평균 4.676번의 추측으로 해결한다. 깊이 우선 분기 및 한계 알고리즘을 사용하며, 날카운 상한선, 동적 하한선 평가, 대칭 기반 추측 동치성 탐지 기법을 통해 탐색 공간을 효율적으로 단순화하고 최소 예상 추측 수를 도출한다.

ABSTRACT

This paper presents an optimal strategy for solving the 4 peg-7 color Mastermind MM(4,7) in the expected case (4.676) along with optimal strategies or upper bounds for other values. The program developed is using a depth-first branch and bound algorithm relying on tight upper bound, dynamic lower bound evaluation and guess equivalence to prune symmetric tree branches.

연구 동기 및 목표

• 4개의 페그가 7가지 색상에서 선택되는 마스터민드 변형 MM(4,7)에 대해 예상 경우 최적의 해를 도출하는 것.
• 기존의 고전적 MM(4,6) 게임을 초월해 예상 경우 최적 전략에 대한 이전 연구를 확장하는 것.
• 탐색 공간을 줄이고 계산 효율을 향상시키기 위해 동적 하한선 평가 및 추측 동치성 탐지와 같은 알고리즘 최적화 기법을 개발하고 적용하는 것.
• MM(5,8)를 포함한 다른 MM(p,c) 구성에 대해 날카운 상한선을 제공하고, 코드 분포 및 0색 사용에 대한 이론적 패턴을 탐색하는 것.

제안 방법

• 하나의 게임 트리를 체계적으로 탐색하면서 비최적의 분기를 잘라내기 위해 깊이 우선 분기 및 한계 알고리즘을 사용한다.
• 각 탐색의 시작 시에 날카운 상한선을 계산하여 탐색 과정을 이끌고 불필요한 탐색을 줄인다.
• 실행 중 동적 하한선 평가를 적용하여 변화하는 제약 조건에 기반해 탐색 공간을 추가로 제한한다.
• 색상 대칭을 사용해 추측의 동치성을 탐지함으로써 동치인 추측을 하나의 대표자로 간주하고 중복 계산을 방지한다.
• 서명 체계를 사용해 코드 집합을 효율적으로 표현하고 비교함으로써 각 단계에서 검토하는 고유한 코드 수를 줄인다.
• 유연성과 프로토타이핑 용이성을 위해 Perl로 알고리즘을 구현하였으며, 더 큰 경우에 대해 성능 제한이 있음을 언급한다.

실험 결과

연구 질문

• RQ1 MM(4,7)를 해결하는 데 필요한 최소 예상 추측 수는 얼마이며, 어떤 전략이 이를 달성하는가?
• RQ2 추측의 대칭성과 동치성은 마스터민드 해결의 계산 복잡도를 어떻게 줄일 수 있는가?
• RQ3 특히 페그 수보다 색상 수가 적을 경우, '0색'(즉, 사용되지 않은 색상)이 남은 코드를 구분하는 데 어떤 역할을 하는가?
• RQ4 MM(4,7)를 초월해 MM(5,8)를 포함한 MM(p,c) 구성에 대해 더 날카운 상한선을 설정할 수 있는가?
• RQ5 코드 분포의 구조적 특성(예: 사용된 색상 수 등)은 최적 전략과 예상 추측 수에 어떤 영향을 미치는가?

주요 결과

• MM(4,7)에 대한 최적 예상 경우 해법은 평균 4.676회의 추측을 요구하며, 이는 현재까지 알려진 바 중 이 구성에 대해 최소 평균 추측 수이다.
• 동적 하한선 평가 및 대칭 인식 단순화 기반의 깊이 우선 분기 및 한계 알고리즘을 통해 전략이 유도되었다.
• MM(4,7)의 가능한 코드 총 수는 2,401개이며, 가능한 답변 점수 등급은 총 14가지(블랙과 화이트 페그 조합)이다.
• MM(4,6), MM(5,8), 그리고 p=7까지의 다양한 (p,c) 조합에 대해 최적 전략 또는 날카운 상한선을 제공한다.
• 색상 수 c가 페그 수 p보다 1 이상 많을 경우, 즉 c ≥ p−1일 때는 MM(p,c) = MMe(p,c)라는 추측을 제기한다. 이는 색상 수가 페그 수에 비해 적을 경우 0색이 코드 식별에 필수적으로 작용한다는 의미이다.
• 두 단계 탐색(먼저 최적의 L을 찾고, 그 다음에 해를 찾는 방식)과 같은 잠재적 알고리즘 개선을 식별하였으며, 향후 연구는 더 빠른 프로그래밍 언어를 사용하고 중간 결과를 캐시하여 재사용하는 방식을 제안한다.