Platon Sudoku · 스도쿠 학습
강제 네트 (Forcing Net) · 단계별 예
A Forcing Net는 후보 의미를 분기하고 병합합니다. 이는 가정을 반박하거나 여러 대안에 걸쳐 공통된 결과를 증명할 수 있습니다. 반박된 후보를 제거하거나 모든 전체 분기에서 공유한 결과를 적용합니다.
이 강좌는 Platon Sudoku 앱의 학습 내용을 웹에 맞게 구성했습니다. 여기서 예제를 끝까지 읽고 앱에서 학습과 연습을 이어 가세요.
Google Play에서 보기패턴 인식
A Forcing Net는 후보 의미를 분기하고 병합합니다. 이는 가정을 반박하거나 여러 대안에 걸쳐 공통된 결과를 증명할 수 있습니다.
찾는 방법
분기 네트워크를 통해 각 전제를 추적하고, 모든 링크를 확인하고, 모순이나 공통 끝점을 비교합니다.
그것이 허용하는 것
반박된 후보를 제거하거나 모든 전체 분기에서 공유한 결과를 적용합니다.
혼동을 피하십시오
분기를 건너뛰거나 공유 효과를 하나의 경로에서만 나타나는 효과와 혼동하지 마십시오.
단계별 예 · 모순
이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.
파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.
단계 1 · 볼 곳
R1C3=7는 참 또는 거짓입니다. 그래프는 R1C3=7는 사실입니다를 테스트합니다. 모순은 해당 상태를 배제하고 R1C3=7는 거짓입니다를 강제하므로 두 가지 가능한 상태가 완전히 포함됩니다. 검증된 의존성 그래프가 하나의 선형 추론 경로를 이루지 않고 여러 갈래로 나뉘거나 합쳐집니다이기 때문에 이것은 Forcing Chain가 아닌 Forcing Net입니다. 탐색된 분기에는 49 검증 노드가 포함되어 있습니다.
단계 2 · 추론
분기 1: R1C3=7가 참이라고 가정합니다.
단계 3 · 추론
R1C3=7는 사실입니다. {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}를 제거합니다.
단계 4 · 추론
이전 제외 이후 R8C3=3는 R8C3에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 5 · 추론
R8C3=3는 사실입니다. R7C3=3를 제거합니다.
단계 6 · 추론
이전 제외 이후 R7C4=3는 행 7에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 7 · 추론
이전 제외 이후 R8C2=7는 행 8에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 8 · 추론
R8C2=7는 사실입니다. R8C2=8를 제거합니다.
단계 9 · 추론
이전 제외 이후 R8C8=8는 행 8에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 10 · 추론
R8C8=8는 사실입니다. R8C8=4를 제거합니다.
단계 11 · 추론
이전 제외 이후 R6C1=7는 컬럼 1에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 12 · 추론
R6C1=7는 사실입니다. R6C1=5를 제거합니다.
단계 13 · 추론
이전 제외 이후 R3C8=4는 컬럼 8에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 14 · 추론
R3C8=4는 사실입니다. {R3C8=1, R3C8=6}를 제거합니다.
단계 15 · 추론
이전 제외 이후 R3C1=2는 박스 1에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 16 · 추론
R3C1=2는 사실입니다. R3C1=5를 제거합니다.
단계 17 · 추론
이전 제외 이후 R9C7=4는 박스 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 18 · 추론
R9C7=4는 사실입니다. R9C7=9를 제거합니다.
단계 19 · 추론
이전 제외 이후 R7C9=9는 박스 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 20 · 추론
R3C8=4는 사실입니다. R2C7=4를 제거합니다.
단계 21 · 추론
R6C1=7는 사실입니다. R6C7=7를 제거합니다.
단계 22 · 추론
이전 제외 이후 R6C7=6는 R6C7에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 23 · 추론
R6C7=6는 사실입니다. R3C7=6를 제거합니다.
단계 24 · 추론
R7C4=3는 사실입니다. R2C4=3를 제거합니다.
단계 25 · 추론
R7C9=9는 사실입니다. {R1C9=9, R7C3=9}를 제거합니다.
단계 26 · 추론
R8C8=8는 사실입니다. R1C8=8를 제거합니다.
단계 27 · 추론
이전 제외 이후 R3C9=6는 행 3에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 28 · 추론
R3C9=6는 사실입니다. R3C9=1를 제거합니다.
단계 29 · 추론
이전 제외 이후 R9C1=9는 행 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 30 · 추론
R9C1=9는 사실입니다. R9C1=5를 제거합니다.
단계 31 · 추론
이전 제외 이후 R2C1=5는 컬럼 1에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 32 · 추론
이전 제외 이후 R2C3=9는 컬럼 3에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 33 · 추론
이전 제외 이후 R2C9=1는 박스 3에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 34 · 추론
이전 제외 이후 R1C8=5는 R1C8에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 35 · 추론
R1C8=5는 사실입니다. R1C9=5를 제거합니다.
단계 36 · 추론
이전 제외 이후 R1C9=8는 R1C9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 37 · 추론
R1C9=8는 사실입니다. R2C7=8를 제거합니다.
단계 38 · 추론
R2C1=5는 사실입니다. R2C4=5를 제거합니다.
단계 39 · 추론
R2C3=9는 사실입니다. R2C7=9를 제거합니다.
단계 40 · 추론
이전 제외 이후 R2C7=7는 R2C7에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 41 · 추론
R2C7=7는 사실입니다. R2C4=7를 제거합니다.
단계 42 · 추론
R2C9=1는 사실입니다. R2C4=1를 제거합니다.
단계 43 · 추론
이 가정은 R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}에 가능한 값이나 위치를 남기지 않습니다. 스도쿠 칸과 영역의 각 누락된 숫자에는 옵션이 있어야 합니다. 가정은 불가능합니다.
단계 44 · 이전 직사각형 채우기 취소
이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.
단계 45 · 결론
R1C3=7는 이 패턴에서는 참가 될 수 없으므로 제거할 수 있습니다.
그것이 허용하는 것
R1C3=7는 이 패턴에서는 참가 될 수 없으므로 제거할 수 있습니다.
단계별 예 · 공통 결과
이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.
파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.
단계 1 · 볼 곳
루트 세트 R7C5=2, R7C5=4, R7C5=9에는 R7C5에서 가능한 모든 시작이 포함되어 있으므로 루트 분기는 철저합니다. 이것은 검증된 의존성 그래프가 하나의 선형 추론 경로를 이루지 않고 여러 갈래로 나뉘거나 합쳐집니다이기 때문에 Forcing Chain가 아니라 Forcing Net입니다. 종속성 그래프에는 3 루트 분기 전체에 걸쳐 58 확인 노드가 포함되어 있습니다. 확인해야 할 일반적인 결과는 R3C6=2는 사실입니다입니다.
단계 2 · 추론
분기 1: R7C5=2가 참이라고 가정합니다.
단계 3 · 추론
R7C5=2는 사실입니다. R3C5=2를 제거합니다.
단계 4 · 추론
이전 제외 이후 R3C6=2는 행 3에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 5 · 이전 직사각형 채우기 취소
이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.
단계 6 · 추론
분기 2: R7C5=4가 참이라고 가정합니다.
단계 7 · 추론
R7C5=4는 사실입니다. R8C5=4를 제거합니다.
단계 8 · 추론
이전 제외 이후 R8C5=2는 R8C5에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 9 · 추론
R8C5=2는 사실입니다. R3C5=2를 제거합니다.
단계 10 · 추론
이전 제외 이후 R3C6=2는 행 3에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 11 · 이전 직사각형 채우기 취소
이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.
단계 12 · 추론
분기 3: R7C5=9가 참이라고 가정합니다.
단계 13 · 추론
R7C5=9는 사실입니다. {R7C7=9, R7C8=9, R7C9=9}를 제거합니다.
단계 14 · 추론
이전 제외 이후 R7C8=7는 R7C8에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 15 · 추론
R7C8=7는 사실입니다. {R7C9=7, R9C7=7, R9C8=7}를 제거합니다.
단계 16 · 추론
이전 제외 이후 R7C9=8는 R7C9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 17 · 추론
R7C9=8는 사실입니다. {R7C7=8, R8C7=8, R9C7=8}를 제거합니다.
단계 18 · 추론
이전 제외 이후 R9C1=7는 행 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 19 · 추론
이전 제외 이후 R4C7=8는 컬럼 7에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 20 · 추론
R4C7=8는 사실입니다. R4C7=5를 제거합니다.
단계 21 · 추론
이전 제외 이후 R4C9=7는 컬럼 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 22 · 추론
R4C9=7는 사실입니다. R4C9=9를 제거합니다.
단계 23 · 추론
이전 제외 이후 R6C9=9는 컬럼 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 24 · 추론
R6C9=9는 사실입니다. R6C9=1를 제거합니다.
단계 25 · 추론
이전 제외 이후 R5C7=1는 박스 6에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 26 · 추론
R5C7=1는 사실입니다. {R5C7=5, R5C7=7}를 제거합니다.
단계 27 · 추론
이전 제외 이후 R4C8=5는 박스 6에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 28 · 추론
R4C8=5는 사실입니다. {R4C5=5, R8C8=5}를 제거합니다.
단계 29 · 추론
R5C7=1는 사실입니다. {R2C7=1, R5C1=1}를 제거합니다.
단계 30 · 추론
R9C1=7는 사실입니다. R5C1=7를 제거합니다.
단계 31 · 추론
이전 제외 이후 R5C2=7는 행 5에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 32 · 추론
R5C2=7는 사실입니다. R5C2=3를 제거합니다.
단계 33 · 추론
이전 제외 이후 R8C7=5는 행 8에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 34 · 추론
R8C7=5는 사실입니다. {R8C7=2, R8C7=6}를 제거합니다.
단계 35 · 추론
이전 제외 이후 R1C1=1는 컬럼 1에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 36 · 추론
이전 제외 이후 R7C7=6는 컬럼 7에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 37 · 추론
R7C7=6는 사실입니다. R7C7=2를 제거합니다.
단계 38 · 추론
이전 제외 이후 R9C7=2는 박스 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 39 · 추론
R9C7=2는 사실입니다. R9C7=9를 제거합니다.
단계 40 · 추론
이전 제외 이후 R9C8=9는 박스 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 41 · 추론
R9C8=9는 사실입니다. R9C8=3를 제거합니다.
단계 42 · 추론
R1C1=1는 사실입니다. R2C3=1를 제거합니다.
단계 43 · 추론
이전 제외 이후 R2C5=1는 행 2에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 44 · 추론
R2C5=1는 사실입니다. R2C5=5를 제거합니다.
단계 45 · 추론
이전 제외 이후 R9C3=3는 행 9에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 46 · 추론
이전 제외 이후 R5C5=5는 컬럼 5에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 47 · 추론
R5C5=5는 사실입니다. R5C5=3를 제거합니다.
단계 48 · 추론
R9C3=3는 사실입니다. R5C3=3를 제거합니다.
단계 49 · 추론
이전 제외 이후 R5C6=3는 행 5에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 50 · 추론
R5C6=3는 사실입니다. R3C6=3를 제거합니다.
단계 51 · 추론
이전 제외 이후 R3C6=2는 R3C6에 남아 있는 유일한 옵션입니다. 이 가정하에 강제됩니다.
단계 52 · 추론
가능한 모든 분기는 R3C6=2는 사실입니다라는 동일한 사실에 도달합니다. 모든 가정을 철회한 후에도 이 사실은 확실합니다.
단계 53 · 결론
R3C6=2는 이 패턴에 의해 강제됩니다.
그것이 허용하는 것
R3C6=2는 이 패턴에 의해 강제됩니다.
연습
이 강좌는 Platon Sudoku 앱의 학습 내용을 웹에 맞게 구성했습니다. 여기서 예제를 끝까지 읽고 앱에서 학습과 연습을 이어 가세요.
Google Play에서 보기