Platon Sudoku · 스도쿠 학습

단일 숫자 그룹 AIC (Single-Digit Grouped AIC) · 단계별 예

그룹화된 노드는 여러 후보 중 하나 이상이 참임을 의미합니다. 교대 추론 체인에 참여할 수 있습니다. 체인의 강제 끝점에서 보이는 대상을 제거합니다.

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

Google Play에서 보기

패턴 인식

그룹화된 노드는 여러 후보 중 하나 이상이 참임을 의미합니다. 교대 추론 체인에 참여할 수 있습니다.

찾는 방법

그룹화된 칸이 필요한 영역을 공유하는지 확인한 다음 하나 이상의 그룹 노드를 통해 강한 연결과 약한 연결을 추적합니다.

그것이 허용하는 것

체인의 강제 끝점에서 보이는 대상을 제거합니다.

혼동을 피하십시오

진정한 그룹이 모든 구성원이 진실임을 의미하지는 않습니다. 체인을 따라갈 때 그룹의 OR 의미를 유지하세요.

단계별 예 · 한 그룹

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

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

단계 1 · 볼 곳

박스 6에서는 2가 R4C7, R4C8, R5C8에만 갈 수 있습니다. 숫자는 이 영역에 한 번 나타나야 합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 2 · 추론

컬럼 5에서는 2가 R1C5, R4C5에만 갈 수 있습니다. 숫자는 이 영역에 한 번 나타나야 합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 3 · 추론

컬럼 9에서는 2가 R1C9, R8C9에만 갈 수 있습니다. 숫자는 이 영역에 한 번 나타나야 합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 4 · OR 후보 그룹 이름 지정

번호가 붙은 중괄호와 범례가 다음 후보 그룹을 정의합니다: OR 후보군 A = R4C8=2, R5C8=2. 각 그룹은 하나의 OR 논리 상태로, 그룹 안의 후보 중 적어도 하나가 참이라는 뜻이며 모든 구성원이 참이라는 뜻은 아닙니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 5 · 추론

분기 1: OR 후보군 A가 거짓라고 가정합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 6 · 그룹 강한 연결: 반대편 강제

사례 1: OR 후보군 A가 거짓이므로 그룹의 강한 연결이 R4C7=2를 강제합니다. OR 그룹인 경우 해당 후보 중 하나 이상이 참입니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 7 · 그룹 약한 연결: 충돌하는 쪽 제외

R4C7=2는 체인 상태로 참이므로 상호 배타적인 측면 R4C5=2는 거짓입니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 8 · 그룹 강한 연결: 한쪽은 남아 있어야 합니다.

R4C5=2는 거짓이므로 그룹의 강한 연결은 R1C5=2를 강제합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 9 · 그룹 약한 연결: 충돌하는 쪽 제외

R1C5=2는 체인 상태로 참이므로 상호 배타적인 측면 R1C9=2는 거짓입니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 10 · 간접 끝점은 대상을 제외합니다.

R8C9=2는 끝점 상태로 참이므로 대상을 제외합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

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

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

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 12 · 사례 2: 첫 번째 끝점이 참입니다.

첫 번째 끝점 OR 후보군 A는 OR 상태이므로 참이므로 대상을 제외합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

단계 13 · 두 엔드포인트 사례 모두 동의함

두 개의 엔드포인트 케이스는 대안을 모두 소진하고 둘 다 R7C8=2, R8C8=2를 제외합니다. 임시 상태를 철회한 후 제거하세요.

1: OR 그룹 A: 하나 이상의 후보가 참입니다.

그것이 허용하는 것

두 개의 엔드포인트 케이스는 대안을 모두 소진하고 둘 다 R7C8=2, R8C8=2를 제외합니다. 임시 상태를 철회한 후 제거하세요.

단일 숫자 그룹 AIC (Single-Digit Grouped AIC) · 체인의 강제 끝점에서 보이는 대상을 제거합니다.

단계별 예 · 여러 그룹

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

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

단계 1 · 볼 곳

박스 1에서는 8가 R2C2, R3C1에만 갈 수 있습니다. 숫자는 이 영역에 한 번 나타나야 합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다. · 2: OR 그룹 B: 하나 이상의 후보가 참입니다.

단계 2 · 추론

박스 2에서는 8가 R1C6, R2C4, R2C5에만 갈 수 있습니다. 숫자는 이 영역에 한 번 나타나야 합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다. · 2: OR 그룹 B: 하나 이상의 후보가 참입니다.

단계 3 · 추론

행 8에서는 8가 R8C1, R8C2, R8C3, R8C6에만 갈 수 있습니다. 숫자는 이 영역에 한 번 나타나야 합니다.

1: OR 그룹 A: 하나 이상의 후보가 참입니다. · 2: OR 그룹 B: 하나 이상의 후보가 참입니다.

단계 4 · OR 후보 그룹 이름 지정

번호가 붙은 중괄호와 범례가 다음 후보 그룹을 정의합니다: OR 후보군 A = R2C4=8, R2C5=8, OR 후보군 B = R8C1=8, R8C2=8, R8C3=8. 각 그룹은 하나의 OR 논리 상태로, 그룹 안의 후보 중 적어도 하나가 참이라는 뜻이며 모든 구성원이 참이라는 뜻은 아닙니다.