Platon Sudoku · 스도쿠 학습

Nice Loop / AIC · 단계별 예

교대 추론 체인은 후보 상태를 검증된 강한 연결과 약한 연결로 연결합니다. 열린 사슬과 닫힌 사슬은 서로 다른 결론을 가지고 있습니다. 검증된 결과를 사용하십시오. 반대 상태가 불가능할 때 후보를 제거하거나 숫자를 배치하십시오.

이 강좌는 Platon Sudoku 앱의 학습 내용을 웹에 맞게 구성했습니다. 여기서 예제를 끝까지 읽고 앱에서 학습과 연습을 이어 가세요.

Google Play에서 보기

패턴 인식

교대 추론 체인은 후보 상태를 검증된 강한 연결과 약한 연결로 연결합니다. 열린 사슬과 닫힌 사슬은 서로 다른 결론을 가지고 있습니다.

찾는 방법

한쪽 끝에서 각 의미를 추적하여 강한 전환과 약한 전환, 그리고 체인이 끝점을 닫거나 모순되는지 여부를 기록합니다.

그것이 허용하는 것

검증된 결과를 사용하십시오. 반대 상태가 불가능할 때 후보를 제거하거나 숫자를 배치하십시오.

혼동을 피하십시오

강한 연결에서는 한쪽이 거짓이면 다른 쪽이 참입니다. 약한 연결에서는 한쪽이 참이면 다른 쪽이 거짓입니다. 이 함의의 방향을 뒤집지 말고, 결론을 내리기 전에 끝점의 관계를 확인하세요.

단계별 예 · 불연속 · 제거

이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.

파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.

단계 1 · 팔로우하기 전에 AIC를 읽어보세요.

이 Nice Loop / AIC 수업에서는 HoDoKu의 일반 후보 노드 제품군인 불연속 제거 및 배치, 개방형 유형 1 및 유형 2 체인, 연속 루프를 사용합니다. R1C6=1는 사실입니다에서 시작하여 R1C6=1를 검사합니다. 컬럼 6, 행 2, 컬럼 9, 행 7, 박스 5, 행 5, 컬럼 1, 행 9, 컬럼 8에서 실선는 적어도 한쪽 끝이 참임을 의미합니다. 점선는 양쪽 끝이 모두 사실일 수 없음을 의미합니다. 한 번에 하나의 강조 표시된 관계를 따릅니다.

단계 2 · 가정: 교대 체인 시작

분기 1: R1C6=1가 참이라고 가정합니다.

단계 3 · 약한 관계: 연결된 후보 충돌

R1C6=1는 사실입니다. R1C6=8를 제거합니다.

단계 4 · 강한 관계: 다른 끝점이 강제됨

R1C6=8는 거짓입니다. 이 양면에는 컬럼 6의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R2C6=8는 참이어야 합니다.

단계 5 · 약한 관계: 연결된 후보 충돌

R2C6=8는 사실입니다. R2C6=6를 제거합니다.

단계 6 · 강한 관계: 다른 끝점이 강제됨

R2C6=6는 거짓입니다. 이 양면에는 행 2의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R2C9=6는 참이어야 합니다.

단계 7 · 약한 관계: 연결된 후보 충돌

R2C9=6는 사실입니다. R2C9=3를 제거합니다.

단계 8 · 강한 관계: 다른 끝점이 강제됨

R2C9=3는 거짓입니다. 이 양면에는 컬럼 9의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R7C9=3는 참이어야 합니다.

단계 9 · 약한 관계: 연결된 후보 충돌

R7C9=3는 사실입니다. R7C6=3를 제거합니다.

단계 10 · 강한 관계: 다른 끝점이 강제됨

R7C6=3는 거짓입니다. 이 양면에는 컬럼 6의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R6C6=3는 참이어야 합니다.

단계 11 · 약한 관계: 연결된 후보 충돌

R6C6=3는 사실입니다. R5C4=3를 제거합니다.

단계 12 · 강한 관계: 다른 끝점이 강제됨

R5C4=3는 거짓입니다. 이 양면에는 행 5의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R5C1=3는 참이어야 합니다.

단계 13 · 약한 관계: 연결된 후보 충돌

R5C1=3는 사실입니다. R9C1=3를 제거합니다.

단계 14 · 강한 관계: 다른 끝점이 강제됨

R9C1=3는 거짓입니다. 이 양면에는 행 9의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R9C8=3는 참이어야 합니다.

단계 15 · 약한 관계: 연결된 후보 충돌

R9C8=3는 사실입니다. R2C8=3를 제거합니다.

단계 16 · 동일 칸: 다른 후보 강제

R2C8=3는 거짓입니다. 동일한 칸 R2C8에서 다른 후보 R2C8=8는 현재 가정에 따라 강제로 참이 됩니다.

단계 17 · 약한 관계: 연결된 후보 충돌

R2C8=8는 사실입니다. R2C6=8를 제거합니다.

단계 18 · 강한 관계: 다른 끝점이 강제됨

R2C6=8는 거짓입니다. 이 양면에는 컬럼 6의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R1C6=8는 참이어야 합니다.

단계 19 · 체인이 모순에 도달

공제는 “R1C6=1는 사실입니다”와 모순되므로 R1C6=1는 거짓입니다입니다.

단계 20 · 이전 직사각형 채우기 취소

이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.

단계 21 · AIC 요약

교대 체인은 "R1C6=1는 사실입니다"에서 시작하여 필요한 경우 동일 칸 스위치를 포함하여 레이블이 지정된 강한 관계와 약한 관계를 따라 모순에 이르렀습니다. 그러므로 R1C6=1는 거짓입니다. 모든 임시 상태가 철회됩니다.

그것이 허용하는 것

Nice Loop / AIC · 검증된 결과를 사용하십시오. 반대 상태가 불가능할 때 후보를 제거하거나 숫자를 배치하십시오.

단계별 예 · 불연속 · 장소

이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.

파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.

단계 1 · 팔로우하기 전에 AIC를 읽어보세요.

이 Nice Loop / AIC 수업에서는 HoDoKu의 일반 후보 노드 제품군인 불연속 제거 및 배치, 개방형 유형 1 및 유형 2 체인, 연속 루프를 사용합니다. R1C1=4는 거짓입니다에서 시작하여 R1C1=4를 검사합니다. 행 1, 컬럼 2, 박스 4, 컬럼 3에서 실선는 적어도 한쪽 끝이 참임을 의미합니다. 점선는 양쪽 끝이 모두 사실일 수 없음을 의미합니다. 한 번에 하나의 강조 표시된 관계를 따릅니다.

단계 2 · 가정: 교대 체인 시작

분기 1: R1C1=4가 거짓라고 가정합니다.

단계 3 · 강한 관계: 다른 끝점이 강제됨

R1C1=4는 거짓입니다. 이 양면에는 행 1의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R1C3=4는 참이어야 합니다.

단계 4 · 약한 관계: 연결된 후보 충돌

R1C3=4는 사실입니다. R1C3=5를 제거합니다.

단계 5 · 강한 관계: 다른 끝점이 강제됨

R1C3=5는 거짓입니다. 이 양면에는 행 1의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R1C2=5는 참이어야 합니다.

단계 6 · 약한 관계: 연결된 후보 충돌

R1C2=5는 사실입니다. R1C2=9를 제거합니다.

단계 7 · 강한 관계: 다른 끝점이 강제됨

R1C2=9는 거짓입니다. 이 양면에는 컬럼 2의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R5C2=9는 참이어야 합니다.

단계 8 · 약한 관계: 연결된 후보 충돌

R5C2=9는 사실입니다. R4C3=9를 제거합니다.

단계 9 · 동일 칸: 다른 후보 강제

R4C3=9는 거짓입니다. 동일한 칸 R4C3에서 다른 후보 R4C3=4는 현재 가정에 따라 강제로 참이 됩니다.

단계 10 · 약한 관계: 연결된 후보 충돌

R4C3=4는 사실입니다. R1C3=4를 제거합니다.

단계 11 · 체인이 모순에 도달

공제는 “R1C1=4는 거짓입니다”와 모순되므로 R1C1=4는 사실입니다입니다.

단계 12 · 이전 직사각형 채우기 취소

이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.

단계 13 · AIC 요약

교대 체인은 "R1C1=4는 거짓입니다"에서 시작하여 필요한 경우 동일 칸 스위치를 포함하여 레이블이 지정된 강한 관계와 약한 관계를 따라 모순에 이르렀습니다. 그러므로 R1C1=4는 사실입니다. 모든 임시 상태가 철회됩니다.

그것이 허용하는 것

단계별 예 · 유형 1

이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.

파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.

단계 1 · 팔로우하기 전에 AIC를 읽어보세요.

이 Nice Loop / AIC 수업에서는 HoDoKu의 일반 후보 노드 제품군인 불연속 제거 및 배치, 개방형 유형 1 및 유형 2 체인, 연속 루프를 사용합니다. R1C6=2는 거짓입니다에서 시작하여 R1C8=2, R1C9=2, R2C4=2를 검사합니다. 컬럼 6, 행 2에서 실선는 적어도 한쪽 끝이 참임을 의미합니다. 점선는 양쪽 끝이 모두 사실일 수 없음을 의미합니다. 한 번에 하나의 강조 표시된 관계를 따릅니다.

단계 2 · 가정: 교대 체인 시작

분기 1: R1C6=2가 거짓라고 가정합니다.

단계 3 · 동일 칸: 다른 후보 강제

R1C6=2는 거짓입니다. 동일한 칸 R1C6에서 다른 후보 R1C6=1는 현재 가정에 따라 강제로 참이 됩니다.

단계 4 · 약한 관계: 연결된 후보 충돌

R1C6=1는 사실입니다. R6C6=1를 제거합니다.

단계 5 · 동일 칸: 다른 후보 강제

R6C6=1는 거짓입니다. 동일한 칸 R6C6에서 다른 후보 R6C6=6는 현재 가정에 따라 강제로 참이 됩니다.

단계 6 · 약한 관계: 연결된 후보 충돌

R6C6=6는 사실입니다. R2C6=6를 제거합니다.

단계 7 · 동일 칸: 다른 후보 강제

R2C6=6는 거짓입니다. 동일한 칸 R2C6에서 다른 후보 R2C6=7는 현재 가정에 따라 강제로 참이 됩니다.

단계 8 · 약한 관계: 연결된 후보 충돌

R2C6=7는 사실입니다. R2C8=7를 제거합니다.

단계 9 · 동일 칸: 다른 후보 강제

R2C8=7는 거짓입니다. 동일한 칸 R2C8에서 다른 후보 R2C8=2는 현재 가정에 따라 강제로 참이 됩니다.

단계 10 · AIC 요약

같은 숫자의 두 끝점 R1C6=2와 R2C8=2 중 적어도 하나는 반드시 참입니다. 모든 대상 R1C8=2, R1C9=2, R2C4=2가 두 끝점을 모두 보므로, 어느 대상도 참일 수 없습니다.

단계 11 · 이전 직사각형 채우기 취소

이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.

단계 12 · AIC 요약

임시 엔드포인트 케이스를 철회합니다. 유형 1 AIC는 각 대상이 R1C6=2 및 R2C8=2를 모두 인식하므로 R1C8=2, R1C9=2, R2C4=2를 영구적으로 제거합니다.

그것이 허용하는 것

임시 엔드포인트 케이스를 철회합니다. 유형 1 AIC는 각 대상이 R1C6=2 및 R2C8=2를 모두 인식하므로 R1C8=2, R1C9=2, R2C4=2를 영구적으로 제거합니다.

단계별 예 · 유형 2

이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.

파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.

단계 1 · 팔로우하기 전에 AIC를 읽어보세요.

이 Nice Loop / AIC 수업에서는 HoDoKu의 일반 후보 노드 제품군인 불연속 제거 및 배치, 개방형 유형 1 및 유형 2 체인, 연속 루프를 사용합니다. R1C8=9는 거짓입니다에서 시작하여 R4C8=9를 검사합니다. 행 1, 컬럼 7, 박스 6, 컬럼 8, 행 3, 컬럼 6, 행 5, 컬럼 4, 행 6, 컬럼 9, 행 4에서 실선는 적어도 한쪽 끝이 참임을 의미합니다. 점선는 양쪽 끝이 모두 사실일 수 없음을 의미합니다. 한 번에 하나의 강조 표시된 관계를 따릅니다.

단계 2 · 가정: 교대 체인 시작

분기 1: R1C8=9가 거짓라고 가정합니다.

단계 3 · 강한 관계: 다른 끝점이 강제됨

R1C8=9는 거짓입니다. 이 양면에는 행 1의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R1C7=9는 참이어야 합니다.

단계 4 · 약한 관계: 연결된 후보 충돌

R1C7=9는 사실입니다. R5C7=9를 제거합니다.

단계 5 · 동일 칸: 다른 후보 강제

R5C7=9는 거짓입니다. 동일한 칸 R5C7에서 다른 후보 R5C7=2는 현재 가정에 따라 강제로 참이 됩니다.

단계 6 · 약한 관계: 연결된 후보 충돌

R5C7=2는 사실입니다. R6C8=2를 제거합니다.

단계 7 · 동일 칸: 다른 후보 강제

R6C8=2는 거짓입니다. 동일한 칸 R6C8에서 다른 후보 R6C8=1는 현재 가정에 따라 강제로 참이 됩니다.

단계 8 · 약한 관계: 연결된 후보 충돌

R6C8=1는 사실입니다. R3C8=1를 제거합니다.

단계 9 · 동일 칸: 다른 후보 강제

R3C8=1는 거짓입니다. 동일한 칸 R3C8에서 다른 후보 R3C8=6는 현재 가정에 따라 강제로 참이 됩니다.

단계 10 · 약한 관계: 연결된 후보 충돌

R3C8=6는 사실입니다. R3C6=6를 제거합니다.

단계 11 · 동일 칸: 다른 후보 강제

R3C6=6는 거짓입니다. 동일한 칸 R3C6에서 다른 후보 R3C6=4는 현재 가정에 따라 강제로 참이 됩니다.

단계 12 · 약한 관계: 연결된 후보 충돌

R3C6=4는 사실입니다. R5C6=4를 제거합니다.

단계 13 · 강한 관계: 다른 끝점이 강제됨

R5C6=4는 거짓입니다. 이 양면에는 행 5의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R5C4=4는 참이어야 합니다.

단계 14 · 약한 관계: 연결된 후보 충돌

R5C4=4는 사실입니다. R5C4=3를 제거합니다.

단계 15 · 강한 관계: 다른 끝점이 강제됨

R5C4=3는 거짓입니다. 이 양면에는 컬럼 4의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R6C4=3는 참이어야 합니다.

단계 16 · 약한 관계: 연결된 후보 충돌

R6C4=3는 사실입니다. R6C9=3를 제거합니다.

단계 17 · 강한 관계: 다른 끝점이 강제됨

R6C9=3는 거짓입니다. 이 양면에는 컬럼 9의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R4C9=3는 참이어야 합니다.

단계 18 · 약한 관계: 연결된 후보 충돌

R4C9=3는 사실입니다. R4C9=7를 제거합니다.

단계 19 · 강한 관계: 다른 끝점이 강제됨

R4C9=7는 거짓입니다. 이 양면에는 행 4의 나머지 모든 옵션이 포함되어 있습니다. 따라서 R4C8=7는 참이어야 합니다.

단계 20 · AIC 요약

피어 엔드포인트 R1C8=9 및 R4C8=7는 서로 다른 숫자를 전달합니다. 표시된 각 교차 후보 R4C8=9는 두 끝점을 모두 거짓으로 만들므로 제거하십시오.

단계 21 · 이전 직사각형 채우기 취소

이 가정과 그 결과를 철회하세요. 다음 가능성을 조사하기 전에 변경되지 않은 후보 스냅샷으로 돌아갑니다.

단계 22 · AIC 요약

임시 엔드포인트 케이스를 철회합니다. 유형 2 AIC는 R1C8=9와 R4C8=7 사이의 교차 후보 R4C8=9를 영구적으로 제거합니다.

그것이 허용하는 것

임시 엔드포인트 케이스를 철회합니다. 유형 2 AIC는 R1C8=9와 R4C8=7 사이의 교차 후보 R4C8=9를 영구적으로 제거합니다.

단계별 예 · 연속 루프

이 예제는 저장된 중간 상태에서 시작합니다. 후보에는 앞선 논리적 제거가 반영되어 있으며 새로 자동 생성한 메모가 아닙니다.

파란색: 근거. 초록색: 결론. 취소선 숫자: 제거할 후보. R1C1은 1행 1열입니다.

단계 1 · 팔로우하기 전에 AIC를 읽어보세요.

이 Nice Loop / AIC 수업에서는 HoDoKu의 일반 후보 노드 제품군인 불연속 제거 및 배치, 개방형 유형 1 및 유형 2 체인, 연속 루프를 사용합니다. R9C3=6는 거짓입니다에서 시작하여 R9C3=5를 검사합니다. 컬럼 3, 행 5, 컬럼 8, 행 9에서 실선는 적어도 한쪽 끝이 참임을 의미합니다. 점선는 양쪽 끝이 모두 사실일 수 없음을 의미합니다. 한 번에 하나의 강조 표시된 관계를 따릅니다.