지뢰찾기

지뢰찾기 규칙·조작·첫 추론

목표와 숫자. 지뢰가 든 칸을 피하면서 지뢰가 아닌 칸을 전부 열면 됩니다. 지뢰를 열면 패배합니다. 열린 칸의 숫자는 가로·세로·대각선으로 맞닿은 칸에 든 지뢰의 정확한 개수입니다. 판 한가운데에서는 이웃이 최대 8칸이고, 모서리나 가장자리에서는 더 적습니다. 숫자가 표시되지 않은 빈 칸은 0이므로 판 안의 이웃에 지뢰가 하나도 없습니다. 승리 조건은 안전한 칸을 모두 여는 것이며, 모든 지뢰에 먼저 깃발을 꽂을 필요는 없습니다. 승리하면 남은 지뢰에는 자동으로 깃발이 표시됩니다.

첫 열기. 이 구현은 처음 여는 칸과 판 안에서 그 칸에 맞닿은 최대 8칸을 지뢰 후보에서 뺍니다. 따라서 첫 칸은 언제나 0이고 빈 영역이 펼쳐집니다. 이 보호는 첫 수에만 관한 규칙이며, 이후 숫자의 뜻은 달라지지 않습니다.

데스크톱 조작. 깃발 모드가 꺼져 있을 때 덮인 칸을 좌클릭하면 열리고, 열린 양수 숫자를 좌클릭하면 주변 열기, 즉 코딩(chording)을 시도합니다. 덮인 칸을 우클릭하면 깃발이 켜지거나 꺼집니다. 깃발 모드가 켜져 있으면 일반 좌클릭은 덮인 칸의 깃발을 바꾸고 열린 칸에서는 아무 일도 하지 않습니다. 가운데 클릭은 깃발 모드와 관계없이 열린 양수 숫자에서 코딩을 시도합니다. 코딩은 게임 진행 중이고 숫자 주변의 깃발 수가 그 숫자와 정확히 같을 때만 작동하며, 깃발 없는 닫힌 이웃을 한꺼번에 엽니다. 깃발 개수만 맞고 위치가 틀렸다면 표시되지 않은 실제 지뢰를 먼저 찾아 즉시 패배하고, 그 코딩에서는 안전한 이웃이 먼저 열리지 않습니다.

터치·펜 조작. 깃발 모드가 꺼져 있을 때 덮인 칸을 탭하면 열리고, 열린 양수 숫자를 탭하면 코딩을 시도합니다. 덮인 칸을 450ms 동안 길게 누르면 깃발이 켜지거나 꺼집니다. 깃발 모드가 켜져 있으면 일반 탭은 덮인 칸의 깃발을 바꾸고 열린 칸에서는 아무 일도 하지 않으므로, 탭으로 코딩하려면 먼저 깃발 모드를 꺼야 합니다. 새 게임을 시작하면 깃발 모드는 꺼집니다.

두 가지 기본 추론. 열린 숫자 n에서 논리로 이미 확정한 인접 지뢰 k개를 뺍니다. 그 결과인 r = n − k가 남은 지뢰 수입니다. 아직 지뢰로 확정하지 않은 인접 닫힌 칸이 u개라면 0 ≤ r ≤ u여야 합니다. 이 범위를 벗어나면 앞선 가정이나 표식이 숫자와 모순되므로 추론을 적용하지 않습니다. r = 0이면 u개 칸이 모두 안전하고, r = u이면 모두 지뢰입니다. 위치를 증명하지 않은 깃발은 이 계산의 근거로 삼을 수 없습니다.

뺄셈과 조건부 1–1. 확정 지뢰를 뺀 뒤 두 숫자가 보는 미확정 이웃 집합을 각각 A, B, 남은 지뢰 수를 a, b라고 합니다. A ⊆ B라면 부분집합의 식을 상위집합의 식에서 뺄 수 있으며, B − A에는 지뢰가 정확히 b − a개 있습니다. 1–1은 이 포함 관계에서 a = b = 1인 경우이므로 B − A의 모든 칸이 안전합니다. 숫자 1 두 개가 붙었다는 사실만으로는 이 결론이 나오지 않습니다.

조건부 1–2–1. 이미 찾은 지뢰를 뺀 유효 숫자 1, 2, 1이 열린 직선 경계를 이루고, 세 숫자가 보는 미확정 칸이 나란한 세 칸으로 정리될 때 성립합니다. 왼쪽 1은 왼쪽·가운데 칸, 가운데 2는 세 칸 전부, 오른쪽 1은 가운데·오른쪽 칸을 봅니다. 이 조건에서는 바깥 두 칸이 지뢰이고 가운데 칸이 안전하며, 회전하거나 뒤집은 모양도 같습니다. 숫자 하나라도 다른 미확정 칸을 더 본다면 이 세 칸 도식만으로 판단하지 말고 전체 이웃 집합의 식을 다시 비교해야 합니다. 올바른 깃발 수가 숫자와 일치한 뒤에는 코딩으로 주변 열기를 실행할 수 있지만, 코딩 자체가 깃발 위치를 증명해 주지는 않습니다.

확인되는 Windows판 배포 기록. Microsoft의 공식 1990년 연혁은 1990년 10월 8일 발표한 Windows용 Microsoft Entertainment Pack의 수록작으로 MineSweeper를 기록합니다.