rhrnald's 코딩
스도쿠 잡기술 본문
위의 그림에서 ABCDE를 채울 수 없다. 조건이 너무 부족하여, 위의 그림을 만족하는 예시 여러 개를 충분히 잡을 수 있기 때문이다.
하지만 신문이나 책에 올라와 있는 스도쿠 문제를 풀 경우에는 사용할 수 있는 추가 조건이 하나 있다.
답이 유일하게 결정 된다는 것이다.
C가 7인 경우를 생각해보자.
집합 { A, B } = { 8, 9 }={ D, E }가 되어야 한다.
하지만 그렇게 될 경우 답이 유일하지 않게 된다. 순서쌍 (A, B, D, E)=(8, 9, 9, 8)가 해가 되면 (9, 8, 8, 9)도 해가 되며 반대도 마찬가지로 성립하기 때문이다.
따라서 C는 7일 수 없고 자연스럽게 A=8, B=9, C=9, D=7, E=8인 것을 알 수 있다.
스도쿠 자체의 규칙만 본다면 비양심적인 방법이긴 하지만 논리적 결함은 없다고 생각한다.
'코딩 > 알고리즘&자료구조' 카테고리의 다른 글
Constructing suffix array in linear time (2) | 2019.11.20 |
---|---|
Knuth Optimization (0) | 2019.11.16 |
고인물 복잡도 (0) | 2019.11.06 |
Range Minimum Query (1) | 2019.11.04 |
Comments