테트리스 변형의 라인 클리어 최적화는 NP‑Hard

초록

본 논문은 첫 행에서만 자유롭게 이동·회전이 가능한 테트리스 변형을 대상으로, 주어진 보드를 완전히 클리어할 수 있는지 여부가 3‑Partition 문제로부터 다항 시간 환원될 수 있음을 보임으로써 해당 최적화 문제가 NP‑Hard임을 증명한다.

상세 분석

이 연구는 기존의 “Tetris is hard” 시리즈와 달리, John Brzustowski가 제안한 “첫 행에서 무제한 이동·회전, 이후 고정”이라는 제약을 갖는 게임 모델을 선택하였다. 논문은 먼저 3‑Partition 문제의 정의와 NP‑완전성을 인용하고, 이를 테트리스 보드 설계에 매핑한다. 보드의 가로 길이는 4·s+3, 세로 길이는 16+4·T+5 로 설정되며, 여기서 s는 필요한 부분집합의 개수, T는 각 부분집합이 합쳐야 하는 목표값이다. 보드에는 s개의 “버킷”이 존재하고, 각 버킷은 좌·우 구분선과 3칸 폭의 내부 공간으로 구성된다. 초기 보드에는 각 버킷에 미리 배치된 오른쪽 총(RG)과 왼쪽 뱀(LS) 조각이 존재한다.

입력으로 주어지는 정수 a_i 를 표현하기 위해, 논문은 “왼쪽 총(LG) → 열기”, “두 개의 T 조각 + 오른쪽 총(RG) → 한 자리수”, “오른쪽 총 + 왼쪽 뱀 → 닫기”라는 일련의 조작을 정의한다. 예를 들어 a_i=4이면 네 번의 “한 자리수” 블록을 차례대로 삽입해 버킷 내부에 높이 4·4=16 블록을 쌓는다. 이렇게 구성된 블록들은 정확히 16+4·T 라인의 높이를 채우며, 이후 남은 “I” 조각들을 수직으로 쌓아 보드 오른쪽의 채워진 영역을 제거한다.

논문의 핵심 증명은 일련의 Lemma 110을 통해, 위와 같은 정해진 배치 외에 어떠한 다른 배치도 (① I 조각이 아닌 다른 조각을 채우는 경우, ② I 조각을 버킷 내부에 사용해 버리는 경우, ③ 버킷 높이보다 위에 조각을 놓는 경우 등) 보드 전체를 클리어할 수 없음을 보인다. 특히 Lemma 57은 닫힌 버킷 안에 오른쪽 총, T, 왼쪽 뱀을 삽입했을 때 발생하는 “채울 수 없는 구멍”을 상세히 그림으로 설명한다. 이러한 구멍은 이후 I 조각으로 메우는 것이 불가능하므로, 전체 라인 클리어 목표를 달성하지 못한다.

결과적으로, 주어진 3‑Partition 인스턴스가 해를 갖는 경우에만 위와 같은 정확한 순서와 배치가 가능하고, 그때만 보드를 완전히 클리어할 수 있다. 반대로 인스턴스가 부정해라면 어느 단계에서든 불가피하게 구멍이 생겨 NP‑Hard 문제로 환원된다. 논문은 이 과정을 통해 “버킷 열기 → 숫자 삽입 → 버킷 닫기 → I 조각으로 채우기”라는 고정된 파이프라인이 3‑Partition의 해와 일대일 대응함을 증명한다.

기술적인 관점에서 보면, 논문은 보드 설계와 조각 시퀀스 선택을 통해 “자원(조각)의 정확한 양”을 강제함으로써, 전형적인 “제한된 자원 배분” 문제를 테트리스라는 게임 메커니즘에 매핑한다. 이는 기존 Tetris NP‑Hardness 증명에서 사용된 “무한히 떨어지는 조각” 모델과는 달리, 제한된 조각 집합과 고정된 보드 크기로도 복잡도가 유지된다는 중요한 통찰을 제공한다. 다만, 증명 과정에서 그림이 충분히 설명되지 않았고, 일부 Lemma의 논리적 연결이 다소 모호한 점이 있다. 전반적으로, 제시된 환원은 올바른 아이디어를 담고 있으나, 엄밀한 형식적 증명을 위해서는 더 정교한 인덱싱과 경우 분석이 필요하다.