Tetris is Hard with Just One Piece Type

이 논문은 표준 회전 시스템 (SRS) 하에서 O 테트로미노를 제외한 모든 단일 테트로미노 유형으로 구성된 테트리스 게임의 클리어 및 생존 문제가 NP-난해함을 증명하여 23 년 전의 추측을 반증하고, 반면 도미노나 특정 조건 하의 $1 \times k$ 조각에 대해서는 다항 시간 알고리즘을 제시합니다.

MIT Hardness Group, Josh Brunner, Erik D. Demaine, Della Hendrickson, Jeffery Li

게시일 Wed, 11 Ma
📖 4 분 읽기☕ 가벼운 읽기

Each language version is independently generated for its own context, not a direct translation.

테트리스, 한 가지 모양만 주면 왜 그렇게 어려울까?

MIT 연구진이 밝힌 놀라운 사실

안녕하세요! 오늘 소개해 드릴 논문은 테트리스라는 게임의 숨겨진 비밀을 파헤친 MIT 연구진의 흥미로운 발견에 관한 것입니다.

상상해 보세요. 테트리스를 할 때, 보통은 네모, T 자, L 자 등 7 가지 모양이 무작위로 떨어집니다. 그런데 만약 게임이 **"오늘은 오직 'T'자 모양만 떨어집니다!"**라고 선언한다면 어떨까요? 직관적으로는 훨씬 쉬워 보일 것 같지 않나요? "하나만 나오는데 뭐가 어렵겠어?"라고 생각하실 수 있습니다.

하지만 이 논문의 결론은 정반대입니다. **"한 가지 모양만 주어지면 테트리스는 오히려 훨씬 더 어렵고, 심지어 수학적으로 '해결 불가능'에 가까운 난이도가 된다"**는 것입니다.

이 복잡한 내용을 일상적인 비유로 쉽게 설명해 드리겠습니다.


1. 핵심 발견: "단조로운 메뉴"가 오히려 함정이다

연구진 (MIT Hardness Group) 은 테트리스의 두 가지 목표를 분석했습니다.

  1. 보상 (Clearing): 보드판에 있는 모든 블록을 없애는 것.
  2. 생존 (Survival): 블록이 쌓여서 게임 오버가 되기 전에 모든 블록을 잘 배치하는 것.

그들은 **"만약 떨어지는 블록이 'T'자, 'L'자, 'Z'자 등 특정 모양 하나뿐이라면, 이 게임이 얼마나 어려운가?"**를 수학적으로 증명했습니다.

  • 기존의 생각: "블록 종류가 하나뿐이면 패턴이 단순해져서 컴퓨터나 사람이 쉽게 풀 수 있겠지."
  • 실제 결과: "아닙니다! 특정 조건 (현대 테트리스의 회전 규칙) 하에서는 어떤 'T'자 블록 게임이든, 'L'자 블록 게임이든 (사각형 'O' 제외) 해결하는 것이 수학적으로 불가능에 가깝게 어렵습니다."

이를 **NP-하드 (NP-hard)**라고 하는데, 쉽게 말해 **"블록이 아무리 많아도, 어떤 전략을 써도 정답을 찾는 데 시간이 우주의 나이만큼 걸릴 수 있다"**는 뜻입니다.

2. 왜 그렇게 어려울까? "계단 오르기"와 "비밀의 회전"

왜 한 가지 모양만 있으면 더 어려울까요? 여기에는 테트리스의 '회전 (Rotation)' 규칙이 핵심입니다.

  • 비유: imagine you are trying to fit a long, flexible snake into a narrow, winding cave.
    • 보통 테트리스는 7 가지 모양이 섞여 있어서, "아, 이 구멍엔 L 자를 넣어야지, 저 구멍엔 T 자를 넣어야지"라고 유연하게 대처할 수 있습니다.
    • 하지만 한 가지 모양 (예: T 자) 만 있다면? 모든 구멍에 T 자를 넣어야 합니다. 이때 T 자가 구멍에 들어가지 않으면, 게임 규칙상 "벽을 밀어내고 (Kick)" 살짝 움직여서 들어갈 수 있는 기회가 있습니다.
    • 연구진은 이 '벽 밀기 (Kick)' 기능을 악용하여, 마치 미로에서 계단을 올라가는 것처럼 블록을 아주 정교하게 배치해야만 하는 상황을 만들었습니다. 이 미로는 너무 복잡해서, "어떤 순서로 블록을 넣어야 할지"를 미리 계산하는 것이 불가능에 가깝다는 것을 증명했습니다.

3. 예외가 있다? "작은 블록"은 쉽다!

물론 모든 것이 어렵기만 한 것은 아닙니다. 연구진은 두 가지 예외를 발견했습니다.

  1. 작은 막대기 (도미노, 1x2): 만약 떨어지는 블록이 '1x2' 크기의 작은 막대기라면, 어떤 회전 규칙을 쓰든 (특히 아래로 떨어지는 회전 방식) 컴퓨터가 순식간에 해결책을 찾을 수 있습니다.
    • 비유: 작은 막대기만 있다면, 빈 공간을 메우는 것이 마치 퍼즐을 맞추는 것처럼 논리적이고 단순합니다.
  2. 아직 빈 공간이 많은 경우: 보드판의 윗부분이 비어 있고, 막대기 모양 (1xK) 이라면, 살아남는 것은 쉽습니다.

하지만 T 자, L 자, Z 자 같은 복잡한 모양이 한 가지뿐이라면, 보드판의 윗부분이 조금만 채워져 있어도 게임은 순식간에 '수학적으로 해결 불가능'한 난이도로 변합니다.

4. 현실적인 의미: "무작위 주머니"도 소용없다

테트리스에는 **'7 번 주머니 (7-bag)'**라는 시스템이 있습니다. 7 가지 블록이 한 번씩 섞인 주머니를 꺼내서 순서대로 주는 방식이죠. 보통은 "이 주머니에서 T 자만 나올 리가 없지"라고 생각합니다.

하지만 연구진은 **"만약 이 주머니 시스템이 T 자만 7 개 들어있는 주머니를 계속 준다면?"**이라고 가정했습니다.

  • 결론: 그렇게만 해도 게임은 여전히 해결 불가능한 난이도 (NP-hard) 가 됩니다.
  • 즉, 현대 테트리스 게임에서 '보관함 (Hold)' 기능을 쓰거나, 블록 순서를 바꿀 수 있다고 해도, 한 가지 모양만 계속 나온다면 게임의 난이도는 여전히 '수학적 괴물' 수준이라는 뜻입니다.

5. 결론: 테트리스는 단순한 게임이 아니다

이 논문은 테트리스가 단순한 오락을 넘어, 복잡한 계산 문제의 정점에 있을 수 있음을 보여줍니다.

  • 한 가지 모양만 주면?지옥의 미로. (T 자, L 자 등 대부분의 모양)
  • 작은 막대기만 주면?쉬운 퍼즐.
  • 왜? → 블록을 회전시켜 벽을 밀어내는 '비밀 기술'이 너무 정교하게 작동하기 때문입니다.

요약하자면:
테트리스를 할 때 "오늘은 T 자만 나오네? 쉽겠는데?"라고 생각했다면, 오산입니다! 오히려 그 순간부터 당신은 수학적으로 가장 어려운 미로에 갇힌 것입니다. 하지만 작은 막대기만 나온다면, 그건 또 다른 이야기죠.

이 연구는 우리가 매일 즐기는 게임 속에 숨겨진 수학적 심오함을 다시 한번 일깨워 줍니다. 테트리스는 단순한 '블록 쌓기'가 아니라, 인공지능과 수학이 풀어야 할 거대한 퍼즐일지도 모릅니다!