우리가 제공하는 모든 퍼즐은 기계로 검증됩니다
우리는 퍼즐이 공정하기를 그저 바라지 않습니다 — 생성기와 독립적으로 도는 솔버로 증명합니다. 아래는 각 보증 배지 뒤의 실제 데이터와, 직접 재현하는 방법입니다.
프리셀 — 딜의 99.9992%가 승리 가능
우리는 딜을 마이크로소프트의 원조 프리셀과 똑같이 번호 매깁니다(1부터 1,000,000까지). 그래서 모든 게임이 수십 년의 프리셀 기록과 그대로 맞아떨어집니다. 첫 100만 딜 중 결코 이길 수 없는 것은 단 8개뿐 — 우리 자체 솔버가 게임 트리 전체를 소진해 각 딜을 풀 수 없음으로 증명합니다. 우리는 그것들을 절대 제공하지 않습니다: 순환 중인 모든 딜은 삼중 점검됩니다(딜 → 풀기 → 재생).
딜 #11982 — 가장 유명한 풀 수 없는 프리셀 게임 — 은 61,643개의 탐색 노드에서 풀 수 없음이 증명됩니다.
| 딜 # | 풀 수 없음을 증명하는 노드 수 |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
현재 768개의 검증된 딜을 제공 중입니다 — 풀 수 없음 0, 미검증 0.
지뢰찾기 — 결코 추측하지 않음
모든 보드는 첫 클릭부터 순수 논리로 해결할 수 있습니다. 50/50 동전 던지기는 없습니다. 우리는 후보 보드를 생성하고 추측을 강요할 보드는 모두 기각합니다 — 전문가 난이도에서는 약 89%를 기각한다는 뜻입니다.
| 난이도 | 추측을 강요할 보드(기각됨) |
|---|---|
| 초급 9×99×9 / 10 | 7% |
| 중급 16×1616×16 / 40 | 38.8% |
| 고급 30×1630×16 / 99 | 89% |
100% · 추측 없음 — 논리만으로 풀림 ✓
노노그램 — 정확히 하나의 해
모든 그림은 줄 단위 논리만으로 도달할 수 있는 단 하나의 유일해를 가집니다. 직관과 달리 작은 격자가 유일하게 만들기 가장 어렵습니다 — 우리는 5×5 후보의 약 88%를 기각합니다.
| 크기 | 줄 논리로 유일해가 없는 후보(기각됨) |
|---|---|
| 쉬움 5×55×5 | 87.6% |
| 보통 10×1010×10 | 68.9% |
| 어려움 15×1515×15 | 49.6% |
100% · 유일 해 — 논리만으로 풀림 ✓
Water Sort — "par"가 진짜 최소값
모든 레벨은 풀 수 있으며, 우리가 표시하는 par는 정확히 가능한 최소 이동 수입니다 — A* 솔버로 증명된 값이지 추정치가 아닙니다. 더 어려운 레벨은 더 많이 필요합니다: 어려움은 21–35수입니다.
| 난이도 | 최소 이동 수(최적임이 증명됨) |
|---|---|
| 쉬움 (7개 튜브)5 colors / 7 tubes | 8–16 (avg 11.8) |
| 보통 (10개 튜브)8 colors / 10 tubes | 15–23 (avg 18.8) |
| 어려움 (14개 튜브)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · 모든 판 풀 수 있음 — 최적 이동 표시 ✓
직접 확인하는 방법
두 가지 규칙이 이 보증을 정직하게 지킵니다. 첫째, 솔버는 생성기와 독립적입니다 — 생성기는 결코 자기 작업을 채점하지 않습니다. 둘째, 모든 것이 재현 가능합니다: node scripts/guarantee-stats.mjs를 실행하면 동일한 증명 크기를 얻습니다. 모든 솔버는 우리 코드베이스에 공개되어 있습니다.
데이터 생성일: 2026-07-26.
자주 묻는 질문
모든 프리셀 게임을 이길 수 있나요?
거의 전부입니다. 첫 1,000,000개의 번호 딜 중 정확히 8개가 풀 수 없습니다 — 약 99.9992%가 승리 가능합니다. 우리는 8개 모두를 자체 솔버로 풀 수 없음을 증명하고 결코 제공하지 않습니다.
어떤 프리셀 딜이 이길 수 없나요?
첫 100만 중: #11982, #146692, #186216, #455889, #495505, #512118, #517776, #781948. #11982는 마이크로소프트의 원조 32,000개 중 유일하게 풀 수 없는 딜입니다.
추측 없는 지뢰찾기란 무엇인가요?
모든 보드는 논리만으로 풀 수 있습니다 — 두 칸이 지뢰일 확률이 똑같아 추측해야 하는 지점에 결코 이르지 않습니다. 추측을 강요할 보드는 제공 전에 기각됩니다.
모든 노노그램에 유일해가 있나요?
네. 각 퍼즐은 줄 단위 논리로 도달 가능한 정확히 하나의 해를 갖도록 검증됩니다 — 그래서 추측하거나 잘못된 분기에서 되돌아갈 필요가 없습니다.
Water Sort의 이동 수가 진짜 최소값인가요?
네. par는 정확한 A* 솔버가 해당 레벨의 증명된 최소 이동 수로 계산한 값이며, 근사치가 아닙니다.