[논문 리뷰] Mastermind is NP-Complete

Jeff Stuckman, Guo‐Qiang Zhang|Americanae (AECID Library)|2005. 12. 13.

Artificial Intelligence in Games참고 문헌 7인용 수 44

한 줄 요약

이 논문은 다항 시간 변환을 통해 NP-난이도의 정점 커버 문제를 MSP(마스터민드 만족 가능성 문제)로 감소시킴으로써, 마스터민드 만족 가능성 문제(MSP)가 NP-완전임을 증명한다. 저자들은 그래프의 정점과 간선을 마스터민드 게임에서 색상으로 인코딩하고, 특정 추측-응답 제약 조건을 사용하여 정점 커버 검증을 시뮬레이션하며, MSP를 해결하는 것이 NP-완전 문제를 해결하는 것만큼 계산적으로 어려움을 입증한다.

ABSTRACT

In this paper we show that the Mastermind Satisfiability Problem (MSP) is NP-complete. The Mastermind is a popular game which can be turned into a logical puzzle called Mastermind Satisfiability Problem in a similar spirit to the Minesweeper puzzle. By proving that MSP is NP-complete, we reveal its intrinsic computational property that makes it challenging and interesting. This serves as an addition to our knowledge about a host of other puzzles, such as Minesweeper, Mah-Jongg, and the 15-puzzle.

연구 동기 및 목표

• 마스터민드 게임의 결정 문제 버전인 마스터민드 만족 가능성 문제(MSP)의 계산 복잡도를 규명하는 것.
• 기존에 알려진 NP-난이도 정점 커버 문제에서 MSP로의 감소를 통해 MSP가 NP-완전임을 보이는 것.
• 마스터민드 피드백 메커니즘을 두 가지 거리 측정법을 사용해 형식화하는 것: 정확한 위치에 맞는 색상(블랙 페그)과 정확한 색상이지만 잘못된 위치(화이트 페그)에 대한 측정.
• 일반적인 경우에 MSP를 해결하는 것이 직관적인 논리 퍼즐로 보이지만 계산적으로 비가역적임을 보여주는 것.

제안 방법

• κ는 색상 수이고 ℓ는 해의 길이인 N^ℓ_κ 내의 튜플을 사용하여 마스터민드를 형식화한다.
• 마스터민드 점수 ρ(x, y) = (b, w−b)를 정수 쌍으로 정의한다: b는 정확한 색상-위치 일치 수를 세며, w−b는 정확한 색상-틀린 위치 일치 수를 세는 데 사용된다.
• 두 가지 거리 측정법을 도입한다: ρ₁(x,y) = ℓ−b (도시 블록 유사)와 ρ₂(x,y) = ℓ−w (다중집합의 대칭 차집합), 둘 다 유효한 메트릭으로 증명된다.
• 정점 커버(n) 문제에서 MSP로의 다항 시간 감소를 구성한다. 정점과 간선을 서로 다른 색상으로 인코딩하고, 해의 공간을 제약하기 위해 제어 색상 Y와 N을 사용한다.
• 네 가지 유형의 추측을 설계한다: 모두 N인 추측(해에서 N을 제외하기 위해), YYY에 이어 N들(첫 세 위치를 Y로 고정하기 위해), 간선 전용 추측 (ei,a,b)로 점수 (0,2), 전체 정점 추측으로 점수 (3,n).
• 등가성 증명: 원래 그래프에 유효한 정점 커버가 존재할 때이고, 뿐만 아니라 그 경우에만 구성된 MSP 인스턴스에 해가 존재한다.

실험 결과

연구 질문

• RQ1 마스터민드 만족 가능성 문제(MSP)는 일반적인 경우에 계산적으로 어려운가?
• RQ2 NP-난이도 정점 커버 문제를 다항 시간 내에 MSP로 감소시킬 수 있는가?
• RQ3 마스터민드의 피드백 메커니즘—블랙 페그와 화이트 페그로 구성—이 조합적 공간에서 두 거리 측정법의 쌍으로 형식화될 수 있는가?
• RQ4 그래프 문제의 구축적 인코딩을 통해 마스터민드의 논리 퍼즐 변형이 NP-완전임을 보일 수 있는가?
• RQ5 마스터민드 해의 유일성은 해를 찾는 것과 동일한 복잡도로 결정 가능한가?

주요 결과

• 마스터민드 만족 가능성 문제(MSP)는 정점 커버 문제에서의 다항 시간 감소를 통해 NP-완전임이 입증되었다.
• 감소는 κ = #V + #E + 2개의 색상과 ℓ = 3 + 2#V + #E개의 위치를 사용하며, 정점, 간선, 제어 기호(Y, N)를 서로 다른 색상으로 인코딩한다.
• 점수 제약 조건 (0,0), (3,0), (0,2), (3,n)은 구조적 제약을 부여한다: N은 해에서 제외되며, 첫 세 위치는 Y로 고정되며, 간선 추측은 두 색상이 잘못된 위치에 일치해야 하며, 정확히 n개의 정점 색상이 나타나야 한다.
• 구성된 MSP 인스턴스에 해가 존재하는 것과 원래 그래프에 크기 n의 정점 커버가 존재하는 것은 필요충분조건이며, 감소의 정확성을 입증한다.
• 해의 유일성은 MSP를 푸는 데 비해 다항 시간 내에 검증 가능하며, 이는 유일성 검증이 해를 찾는 것만큼 어렵지 않음을 의미한다.
• 이 결과는 마스터민드를 NP-완전 퍼즐의 범주에 포함시켜, 미네스위퍼와 15-퍼즐과 같은 다른 퍼즐들과 함께 분류한다.