블랙 페그만 있는 마스터마인드 게임의 알고리즘 복잡성 연구

이 논문은 게임 이론과 계산 복잡성의 교차점에 있는 마스터마인드 게임의 변형을 탐구한다. 기존 보드 게임에서 유래한 표준 마스터마인드는 정확한 위치 일치를 나타내는 블랙 페그와 올바른 색상이지만 잘못된 위치에 있는 것을 나타내는 화이트 페그의 이중 점수 체계를 사용한다. 본 연구의 초점은 화이트 페그 정보 없이 오직 블랙 페그 개수만을 결과로 제공하는 '단일 카운트' 마스터마인드 버전이다. 이 변형은 두 문자열 간 정확한 위치 일치 수만을 비교하는 유전체 시퀀스 정렬과 같은 응용 분야에서 동기 부여되었다. 서론에서는 게임의 공식적 정의를 제공한다. 코드메이커가 길이 N과 알파벳 크기 K를 가진 벡터 V를 선택하면, 코드브레이커는 추측 벡터 V_i를 제시하고 각 추측에 대해 V_i와 V가 정확히 일치하는 위치의 수인 b(V_i)를 응답으로 받는다. 코드브레이커의 목표는 최소한의 추측으로 V를 발견하는 것이다. 선행 연구로 Knuth(1976)가 N=4, K=6 게임을 5번 이내의 추측으로 해결하는 전략을, Chvatal(1983)이 일반적인 경우에 대한 다항식 시간 알고리즘과 상한을, Stuckman과 Zhang(2005)이 이중 카운트 마스터마인드의 만족 가능성 문제가 NP-완전함을 증명한 것을 요약한다. 본 논문의 첫 번째 주요 결과는 단일 카운트 마스터마인드 만족 가능성 문제가 NP-완전함을 증명하는 것이다. 이는 주어진 추측 벡터들과 그에 대한 블랙 페그 응답 시퀀스를 모두 만족하는 숨겨진 벡터 V의 존재 여부를 결정하는 문제가 NP-완전이라는 의미이다. 증명은 NP-완전 문제인 3차원 매칭(3DM)으로의 환원을 통해 이루어진다. 구체적으로, 3DM 인스턴스(집합 X, Y, Z와 트리플 집합 T)가 주어지면, 이를 특정 구조의 마스터마인드 질의 시퀀스로 변환한다. 숨겨진 벡터 V는 (X 위치들, Y 위치들, Z 위치들, T 위치들)로 구성되며, 색상은 각 트리플에 해당하는 색상과 널 색상 총 m+1개이다. 초기 세 개의 '강제' 질의는 널 색상의 사용 불가와 정확히 n개의 T 위치가 색상 1(나머지는 0)이어야 함을 보장한다. 각 트리플 T_s에 대해 생성된 세 개의 질의는 '선택 가젯' 역할을 하여, 만약 해당 트리플이 매칭에 선택된다면(T_s=1) 관련된 X, Y, Z 위치가 모두 색상 s가 되도록 강제하고, 선택되지 않는다면(T_s=0) 그렇지 않도록 한다. 이 환원은 다항식 시간에 수행 가능하며, 3DM 해의 존재와 마스터마인드 응답 시퀀스를 만족하는 V의 존재가 동치임을 보인다. 이 결과는 임의의 질의 시퀀스를 만족시키는 해를 찾는 일반적 문제가 계산적으로 어려울 수 있음을 시사한다. 두 번째 주요 결과는 숨겨진 벡터 Q를 실제로 발견하기 위한 효율적인 알고리즘의 제시와 분석이다. 알고리즘은 두 단계로 구성된다. 1) 초기화: K번의 질의(각각 하나의 색상으로 전체를 채운 벡터)를 통해 Q에 등장하는 각 색상의 총 개수(c1,...,cK)를 정확히 파악한다. 등장하지 않는 색상은 제거한다. 2) 분할 정복: 현재 구간 Q