Explainable Minesweeper: A Logic-Based Puzzle Generation System Through Constraint Satisfaction Problem-Based Inference

지뢰찾기는 논리 퍼즐이지만 기존 게임은 확률적 추측이 불가피하여 교육적 활용에 한계가 있다. 본 연구는 제약만족문제(CSP) 기반 추론 알고리즘을 통해 논리적으로 풀이 가능한 지뢰찾기 퍼즐을 자동 생성하는 시스템을 제안한다. 시스템은 Simple Pattern과 Advanced Pattern 두 단계의 논리적 추론으로 퍼즐의 풀이 가능성을 검증한다. 플레이 시뮬레이션 결과 소형 보드(5×5~6×6)에서는 99% 이상의 높은 생성 성공률을 보였으나, 7×7 이상에서는 개선이 필요한 것으로 나타났다. 또한 추론 과정을 자연어로 설명하는 힌트 시스템을 구현하였다. 생성된 모든 퍼즐은 논리적 추론만으로 풀이 가능함을 확인하였다. 본 연구는 교육적 게임 콘텐츠 자동 생성의 가능성을 제시한다.