스도쿠를 푸는 공식이 있나요?

마지막 업데이트

공식은 없습니다. Sudoku는 수학 문제가 아닙니다 - digits를 사용하는 논리 퍼즐입니다. 어떤 방정식이나 산술 공식도 직접 답을 생성하지 않습니다. 효과가 있는 것은 체계적인 constraint elimination입니다.

수학이 문제를 풀지 못하는 이유

스도쿠의 숫자 1-9는 단지 기호일 뿐입니다. 문자나 색상으로 대체해도 퍼즐은 동일합니다. 중요한 것은 유닛 내의 고유성입니다. 각 기호는 모든 행, 열 및 박스에 정확히 한 번 나타납니다. 공식이 활용할 수 있는 셀 간의 산술적 관계는 없습니다.

실제로 작동하는 것: Constraint Propagation

스도쿠는 제약 충족 문제입니다. 81개의 셀로 시작하며, 각 셀은 행, 열 및 박스에 의해 제약됩니다. 하나의 숫자를 배치하면 새로운 제약이 전파됩니다. 해당 숫자는 다른 20개의 셀에서 제거됩니다. 이 연쇄 반응은 퍼즐이 해결되거나 더 복잡한 기술이 필요할 때까지 계속됩니다.

기술 계층 구조, 가장 간단한 것부터 가장 어려운 것까지:

컴퓨터가 대신 하는 일

Computers는 backtracking search를 사용하여 Sudoku를 해결합니다 - digit를 try하고, constraints를 propagate하며, contradiction에 도달하면 reverse합니다. Humans에게 이것은 guessing과 equivalent하며, satisfying하지도 않고 instructive하지도 않습니다. Human solving은 항상 trial and error 없이 correctness를 보장하는 deductive techniques를 선호합니다.