[논문 리뷰] The Complexity of Clickomania

Thérèse Biedl, Erik D. Demaine외 4명|ArXiv.org|2001. 07. 21.

Artificial Intelligence in Games참고 문헌 3인용 수 6

한 줄 요약

이 논문은 격자에 배열된 동일한 색상의 블록 그룹을 제거하는 데 중점을 두는 인기 있는 퍼즐 게임인 클릭오만리아의 계산 복잡도를 조사한다. 두 가지 색상에 대해선 일렬로 된 퍼즐이 선형 시간 내에 해결 가능하고, 더 많은 색상에 대해서는 다항 시간 내에 해결 가능하지만, 두 열에 다섯 색상 또는 다섯 열에 세 색상이 있는 경우 퍼즐이 완전히 해결 가능한지 여부를 판단하는 것은 NP-완전임을 증명한다. 이는 게임의 알고리즘적 구조에 대한 근본적인 딱딱함 결과를 확립한다.

ABSTRACT

We study a popular puzzle game known variously as Clickomania and Same Game. Basically, a rectangular grid of blocks is initially colored with some number of colors, and the player repeatedly removes a chosen connected monochromatic group of at least two square blocks, and any blocks above it fall down. We show that one-column puzzles can be solved, i.e., the maximum possible number of blocks can be removed, in linear time for two colors, and in polynomial time for an arbitrary number of colors. On the other hand, deciding whether a puzzle is solvable (all blocks can be removed) is NP-complete for two columns and five colors, or five columns and three colors.

연구 동기 및 목표

• 다양한 격자 및 색상 제약 조건 하에서 클릭오만리아 퍼즐을 푸는 데 필요한 계산 복잡도를 규명하는 것.
• 모든 블록을 제거할 수 있는지 여부를 판단하는 결정 문제의 다항 시간 가능성 또는 NP-완전성 여부를 분석하는 것.
• 특히 소수의 열과 색상에 초점을 맞춰, 다항 시간 가능 문제와 다항 시간 불가능 문제 사이의 경계를 탐색하는 것.
• 특히 두 색상의 경우에 대해 일렬로 된 클릭오만리아에 대해 다항 시간 알고리즘을 확립하는 것.
• 점수 기반 변형을 포함한 최적화 및 결정 문제 변형의 복잡도를 조사하는 것.

제안 방법

• 일렬로 된 클릭오만리아 문제를 문맥 자유 문법 분석 문제로 환원하여, 동적 프로그래밍을 통해 다항 시간 해결 가능하게 한다.
• 최적화 문제(제거된 블록 수를 최대화하는 문제)를 다수의 결정 문제로 환원하기 위해 동적 프로그래밍 기법을 사용한다.
• 논리적 절을 시뮬레이션하기 위해 锁, 열쇠, 장벽을 갖춘 복잡한 블록 구성으로 3-SAT에서 클릭오만리아로의 환원을 수행한다.
• 폭탄과 색상 블록을 사용한 장벽 메커니즘을 도입하여 변수 할당과 절 만족도 사이의 논리적 의존성을 강제한다.
• 변수별 열쇠와 절별 锁을 갖춘 퍼즐 레이아웃을 설계하여, 해법 존재 여부가 정확히 3-SAT 공식의 만족 가능한 할당과 일치하도록 한다.
• 두 색상, 다섯 열 퍼즐에 대해 3-SAT 인스턴스를 클릭오만리아 보드로 인코딩하여 동일한 해법 가능성 여부를 확보함으로써, 두 색상, 다섯 열 클릭오만리아의 NP-완전성을 증명한다.

실험 결과

연구 질문

• RQ1 두 색상의 일렬로 된 클릭오만리아 퍼즐에서 모든 블록을 제거할 수 있는지 여부를 다항 시간 내에 해결할 수 있는가?
• RQ2 열의 수가 두 개인 경우에 색상 수가 증가할 때 클릭오만리아의 복잡도는 어떻게 되는가?
• RQ3 두 열에 다섯 색상 또는 다섯 열에 세 색상이 있는 작은 고정된 수의 열과 색상에 대해 클릭오만리아의 NP-완전성을 입증할 수 있는가?
• RQ4 임의의 수의 색상이 있는 일렬로 된 클릭오만리아에 대해 다항 시간 알고리즘이 존재하는가?
• RQ5 크기 n인 블록 그룹을 제거할 때 (n−2)² 점을 얻는 점수 기반 변형 클릭오만리아의 복잡도는 무엇인가?

주요 결과

• 두 색상의 일렬로 된 클릭오만리아는 선형 시간 내에 해결 가능하여 문제의 다항 시간 가능 케이스를 확립한다.
• 임의의 수의 색상이 있는 일렬로 된 클릭오만리아는 문맥 자유 문법 분석 기법을 사용해 다항 시간 내에 해결 가능하다.
• 두 열에 다섯 색상이 있는 클릭오만리아의 결정 문제 버전은 NP-완전하며, 소수의 열에서도 비가역성이 존재함을 보여준다.
• 다섯 열에 세 색상이 있는 클릭오만리아의 결정 문제 버전 역시 NP-완전하여, 다항 시간 가능 영역을 더욱 좁히는 데 기여한다.
• NP-완전성 결과는 3-SAT에서의 환원을 통해 증명되었으며, 논리 절을 시뮬레이션하기 위해 정교하게 구성된 블록 레이아웃(잠금, 열쇠, 장벽 포함)을 사용한다.
• 두 색상, 두 열 클릭오만리아의 복잡도는 여전히 미해결 상태로 남아 있다.