스도쿠

스도쿠는 9x9 격자를 1~9 숫자로 채우는 논리 퍼즐입니다. 같은 가로줄, 세로줄, 3x3 굵은 테두리 블록 안에는 같은 숫자가 두 번 들어갈 수 없습니다. 모든 퍼즐은 해가 하나뿐인 상태(유일해)로만 생성됩니다.

빈 칸을 누른 뒤 숫자패드로 숫자를 입력합니다. 진하게 표시된 칸은 처음부터 주어진 단서로 수정할 수 없습니다. 메모 버튼을 켜면 확정 대신 후보 숫자를 작게 적어둘 수 있습니다. 검사로 현재 오류를 확인하고, 힌트로 한 칸의 정답을 확인할 수 있습니다. 규칙에 어긋나는 숫자는 빨간색으로 표시됩니다.

소요 시간과 최고 기록은 사용 중인 브라우저에만 저장되며(localStorage), 서버로 전송되지 않습니다. 다른 기기나 브라우저에서는 기록이 공유되지 않습니다.

스도쿠에서 유일해를 보장하는 최소 단서 개수가 17개라는 사실은 2012년 아일랜드 연구진(맥과이어 외)이 대규모 컴퓨터 탐색으로 증명한 결과입니다. 즉 단서가 16개 이하이면 어떤 배치를 시도해도 반드시 해가 두 개 이상 존재한다는 뜻입니다. 이 도구는 이 최소값 17개를 목표로 만들지 않습니다. 완성판에서 셀을 하나씩 무작위로 지우면서 그때마다 남은 해의 개수를 다시 세어 정확히 1개일 때만 제거를 확정하는 방식으로 유일해를 보장합니다. 그 결과 쉬움은 81−40=41개, 보통은 81−50=31개, 어려움은 81−56=25개의 단서가 남으며, 세 난이도 모두 이론상 최소값 17개보다 여유 있게 많은 단서로 유일해가 보장됩니다.

메모 모드로 빈 칸마다 넣을 수 있는 후보 숫자를 적어두면 두 가지 대표적인 소거 기법을 쓸 수 있습니다. 네이키드 싱글은 한 칸의 후보가 딱 하나만 남은 경우로, 그 숫자를 바로 확정하면 됩니다. 히든 싱글은 한 칸에 후보가 여러 개처럼 보여도 같은 행·열·3x3 블록 안에서 그 숫자가 들어갈 수 있는 칸이 그곳 하나뿐인 경우로, 나머지 후보는 무시하고 그 숫자를 확정합니다. 실전에서는 다음 순서가 효율적입니다. 먼저 주어진 단서만으로 확정되는 칸을 채우고, 가이드를 켜서 선택한 칸의 행·열·블록에 이미 쓰인 숫자를 확인하며 나머지 칸에 메모를 채웁니다. 이후 네이키드 싱글이 있는지 전체를 훑고, 없으면 블록 단위로 히든 싱글을 찾습니다. 막히면 검사로 지금까지의 오류를 확인하고, 정말 막힐 때만 힌트로 한 칸을 해결합니다.