노가드(무추측) 지뢰찾기란 무엇인가

검증 방식

후보 판을 만들고, 사람이 쓰는 것과 같은 규칙만 아는 솔버로 처음부터 끝까지 풀어 봅니다. 솔버는 기본 규칙과 부분집합 규칙을 먼저 쓰고, 그것으로 막히면 경계 영역의 가능한 모든 지뢰 배치를 열거해 '모든 경우에 안전한 칸'을 찾습니다.

이 과정에서 단 한 번도 추측이 필요하지 않았을 때만 그 판을 채택합니다. 추측이 필요한 순간이 나오면 판을 버리고 다음 후보로 넘어갑니다. 노가드 위클리는 이 검증을 통과한 판만 발행합니다.

무추측이 어려움을 낮추지는 않는다

찍기가 없다는 것과 쉽다는 것은 다릅니다. 오히려 위클리는 전역 열거까지 가야 풀리는 판을 골라 발행하기 때문에, 기본 규칙만으로는 반드시 어딘가에서 막힙니다.

막혔다면 그것은 판의 결함이 아니라 아직 못 본 논리가 있다는 뜻입니다. 경계 전체를 한 덩어리로 보고 남은 지뢰 수까지 방정식에 넣어 보세요.

왜 일반 판에는 찍기가 생기나

지뢰 배치를 무작위로 만들면, 어떤 확률로 '남은 정보로는 구분할 수 없는 두 자리'가 만들어집니다. 대표적인 것이 벽에 붙은 1-1 형태나 마지막에 남는 두 칸입니다. 어느 쪽에 지뢰가 있어도 지금까지 열린 숫자와 모순이 없으므로, 논리로는 더 좁힐 수 없습니다.

밀도가 높을수록 이런 자리가 자주 생깁니다. 고급 판에서 실력과 무관하게 마지막에 폭사하는 경험이 잦은 이유가 이것입니다. 노가드는 판을 만들 때 이런 자리가 하나도 없는 배치만 골라내는 방식입니다.

검증된 판과 검증되지 않은 판

이 사이트는 검증을 통과한 주차에만 '무추측 인증' 표시를 붙입니다. 표시가 없는 주차는 고정 배치이긴 하지만 무추측을 보증하지 않는다고 그대로 밝힙니다. 신뢰가 이 모드의 전부이므로, 검증하지 않은 판을 검증한 것처럼 말하지 않습니다.

인증된 판은 배치를 재현할 시드와 검증된 시작 칸까지 함께 고정됩니다. 시작 칸이 달라지면 증명이 성립하지 않기 때문에, 위클리는 첫 클릭 재배치를 쓰지 않고 그 칸을 미리 열어 둔 채 시작합니다.

인증을 보수적으로 하는 이유

경계 전체의 가능한 배치를 열거하는 일은 경계가 길어질수록 경우의 수가 폭발적으로 늘어납니다. 그래서 솔버는 경계를 서로 이어진 덩어리로 나눈 뒤 덩어리마다 계산량에 상한을 둡니다. 상한 안에서 끝까지 확인하지 못한 판은 '아마 풀릴 것'이라고 추정하지 않고, 아예 인증하지 않은 채 다음 후보로 넘어갑니다.

이 작업은 사이트가 열릴 때마다 하는 것이 아니라 미리 따로 돌려 결과를 표로 저장해 둡니다. 현재 2026년 30주차부터 104주 분량이 이렇게 검증돼 있고, 모두 기본 규칙과 부분집합 규칙만으로는 막혀 전역 열거가 한 번 이상 필요했던 판입니다. 페이지는 그 표를 읽기만 하므로, 같은 주차라면 누가 열어도 같은 인증 판이 나옵니다.

노가드 판을 푸는 요령

찍기가 없다는 보증은 그 자체로 강력한 단서입니다. 두 칸이 완전히 대칭이라 어느 쪽인지 알 수 없어 보인다면, 그 자리는 지금 풀 차례가 아니라는 뜻입니다. 판 어딘가에 아직 확정할 수 있는 칸이 남아 있고, 그쪽을 풀다 보면 대칭을 깨는 숫자가 열립니다.

막혔을 때는 순서를 정해 두세요. 먼저 경계 전체를 다시 훑어 놓친 기본 규칙이 없는지 보고, 이어서 맞닿은 숫자 쌍마다 부분집합 관계를 확인합니다. 그래도 안 되면 남은 지뢰 수를 꺼내 경계 덩어리들이 쓸 수 있는 지뢰 개수를 따져 봅니다. 위클리의 막힌 지점은 대부분 이 마지막 단계에서 풀립니다.

노가드 판에서는 확률 계산이 필요 없다는 점도 기억해 두세요. 어느 칸이 더 안전할지 확률을 따지고 있다면, 아직 찾지 못한 확정 칸이 판 어딘가에 남아 있다는 뜻입니다. 그 시간에 경계의 다른 구간을 다시 살피는 편이 결국 더 빠르고, 폭사할 일도 없습니다.