스도쿠를 푸는 공식이 있나요?
마지막 업데이트
공식은 없습니다. Sudoku는 수학 문제가 아닙니다 - digits를 사용하는 논리 퍼즐입니다. 어떤 방정식이나 산술 공식도 직접 답을 생성하지 않습니다. 효과가 있는 것은 체계적인 constraint elimination입니다.
수학이 문제를 풀지 못하는 이유
스도쿠의 숫자 1-9는 단지 기호일 뿐입니다. 문자나 색상으로 대체해도 퍼즐은 동일합니다. 중요한 것은 유닛 내의 고유성입니다. 각 기호는 모든 행, 열 및 박스에 정확히 한 번 나타납니다. 공식이 활용할 수 있는 셀 간의 산술적 관계는 없습니다.
실제로 작동하는 것: Constraint Propagation
스도쿠는 제약 충족 문제입니다. 81개의 셀로 시작하며, 각 셀은 행, 열 및 박스에 의해 제약됩니다. 하나의 숫자를 배치하면 새로운 제약이 전파됩니다. 해당 숫자는 다른 20개의 셀에서 제거됩니다. 이 연쇄 반응은 퍼즐이 해결되거나 더 복잡한 기술이 필요할 때까지 계속됩니다.
기술 계층 구조, 가장 간단한 것부터 가장 어려운 것까지:
- Naked singles - 셀에 하나의 후보만 남음
- Hidden singles - 유닛에서 숫자의 한 위치
- Naked and hidden pairs, triples
- X-Wing, Swordfish
- 체인 및 다단계 논리
컴퓨터가 대신 하는 일
Computers는 backtracking search를 사용하여 Sudoku를 해결합니다 - digit를 try하고, constraints를 propagate하며, contradiction에 도달하면 reverse합니다. Humans에게 이것은 guessing과 equivalent하며, satisfying하지도 않고 instructive하지도 않습니다. Human solving은 항상 trial and error 없이 correctness를 보장하는 deductive techniques를 선호합니다.
Practice Pure Logic on a Real Puzzle