Platon Sudoku · 스도쿠 학습
강제 체인 (Forcing Chain) · 단계별 예
후보 대안의 철저한 세트는 별도의 선형 함의 체인을 통해 이어집니다. 실행 가능한 모든 지점에서 공유하는 배치 또는 제거만 유지하십시오.
이 강좌는 Platon Sudoku 앱의 학습 내용을 웹에 맞게 구성했습니다. 여기서 예제를 끝까지 읽고 앱에서 학습과 연습을 이어 가세요.
Google Play에서 보기패턴 인식
후보 대안의 철저한 세트는 별도의 선형 함의 체인을 통해 이어집니다.
찾는 방법
참/거짓 분할 또는 한 영역에서 숫자의 모든 위치를 선택합니다. 각 분기를 따라 검증된 결과를 확인하세요.
그것이 허용하는 것
실행 가능한 모든 지점에서 공유하는 배치 또는 제거만 유지하십시오.
혼동을 피하십시오
하나의 분기가 결과에 도달하는 것만으로는 충분하지 않습니다. 시작 대안은 모든 가능성을 포괄해야 합니다.
단계별 예 · 두 개의 지점
이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.
파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.
단계 1 · 볼 곳
증명해야 할 일반적인 결과는 R1C2=7입니다. 분기 스위치는 R1C2=5입니다. 모든 후보는 참이거나 거짓이므로 이 두 분기는 모든 가능성을 포괄합니다. 둘 다 공통 결과에 도달하면 해당 결과가 강제됩니다.
단계 2 · 추론
분기 1: R1C2=5가 참이라고 가정합니다.
단계 3 · 추론
R1C2=5는 사실입니다. R1C2=7를 제거합니다.
단계 4 · 이전 직사각형 채우기 취소
이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.
단계 5 · 추론
분기 2: R1C2=5가 거짓라고 가정합니다.
단계 6 · 추론
R1C2=5는 거짓입니다. 이 양면에는 행 1의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R1C5=5는 참이어야 합니다.
단계 7 · 추론
R1C5=5는 사실입니다. 컬럼 5에서 R2C5=5를 제거합니다.
단계 8 · 추론
R2C5=5는 거짓입니다. 이 양면에는 행 2의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R2C8=5는 참이어야 합니다.
단계 9 · 추론
R2C8=5는 사실입니다. R2C8=9를 제거합니다.
단계 10 · 추론
R2C8=9는 거짓입니다. 이 양면에는 행 2의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R2C4=9는 참이어야 합니다.
단계 11 · 추론
R2C4=9는 사실입니다. 컬럼 4에서 R1C4=9를 제거합니다.
단계 12 · 추론
R1C4=9는 거짓입니다. R1C4에는 이제 R1C4=7만 남았으므로 이는 사실임에 틀림없습니다.
단계 13 · 추론
R1C4=7는 사실입니다. 행 1에서 R1C2=7를 제거합니다.
단계 14 · 추론
가능한 모든 분기는 R1C2=7는 거짓입니다라는 동일한 사실에 도달합니다. 모든 가정을 철회한 후에도 이 사실은 확실합니다.
단계 15 · 결론
검증 결과는 R1C2=7는 거짓입니다입니다. 모든 임시 가정은 철회되었습니다.
그것이 허용하는 것
검증 결과는 R1C2=7는 거짓입니다입니다. 모든 임시 가정은 철회되었습니다.
단계별 예 · 여러 지점
이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.
파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.
단계 1 · 볼 곳
루트 R2C4=2, R2C4=3, R2C4=6, R2C4=7는 R2C4에서 가능한 모든 후보입니다. 각각을 별도의 선형 함의 체인으로 따르십시오. 모든 루트가 R2C6=3에 도달하면 해당 결과가 강제됩니다. 여러 개의 루트만으로는 이것을 Forcing Net로 만들 수 없습니다.
단계 2 · 추론
분기 1: R2C4=2가 참이라고 가정합니다.
단계 3 · 추론
R2C4=2는 사실입니다. R2C4=3를 제거합니다.
단계 4 · 추론
R2C4=3는 거짓입니다. 이 양면에는 행 2의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R2C6=3는 참이어야 합니다.
단계 5 · 이전 직사각형 채우기 취소
이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.
단계 6 · 추론
분기 2: R2C4=3가 참이라고 가정합니다.
단계 7 · 추론
R2C4=3는 사실입니다. R2C4=6를 제거합니다.
단계 8 · 추론
R2C4=6는 거짓입니다. 이 양면에는 박스 2의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R1C5=6는 참이어야 합니다.
단계 9 · 추론
R1C5=6는 사실입니다. 컬럼 5에서 R4C5=6를 제거합니다.
단계 10 · 추론
R4C5=6는 거짓입니다. R4C5에는 이제 R4C5=3만 남았으므로 이는 사실임에 틀림없습니다.
단계 11 · 추론
R4C5=3는 사실입니다. 박스 5에서 R6C6=3를 제거합니다.
단계 12 · 추론
R6C6=3는 거짓입니다. 이 양면에는 컬럼 6의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R2C6=3는 참이어야 합니다.
단계 13 · 이전 직사각형 채우기 취소
이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.
단계 14 · 추론
분기 3: R2C4=6가 참이라고 가정합니다.
단계 15 · 추론
R2C4=6는 사실입니다. R2C4=3를 제거합니다.
단계 16 · 추론
R2C4=3는 거짓입니다. 이 양면에는 행 2의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R2C6=3는 참이어야 합니다.
단계 17 · 이전 직사각형 채우기 취소
이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.
단계 18 · 추론
분기 4: R2C4=7가 참이라고 가정합니다.
단계 19 · 추론
R2C4=7는 사실입니다. R2C4=3를 제거합니다.
단계 20 · 추론
R2C4=3는 거짓입니다. 이 양면에는 행 2의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R2C6=3는 참이어야 합니다.
단계 21 · 추론
가능한 모든 분기는 R2C6=3는 사실입니다라는 동일한 사실에 도달합니다. 모든 가정을 철회한 후에도 이 사실은 확실합니다.
단계 22 · 결론
검증 결과는 R2C6=3는 사실입니다입니다. 모든 임시 가정은 철회되었습니다.
그것이 허용하는 것
검증 결과는 R2C6=3는 사실입니다입니다. 모든 임시 가정은 철회되었습니다.
연습
이 강좌는 Platon Sudoku 앱의 학습 내용을 웹에 맞게 구성했습니다. 여기서 예제를 끝까지 읽고 앱에서 학습과 연습을 이어 가세요.
Google Play에서 보기