Platon Sudoku · Sudoku öğren

Tek rakamlı gruplu AIC (Single-Digit Grouped AIC) · Adım adım örnek

Gruplandırılmış bir düğüm, birkaç adaydan en az birinin doğru olduğu anlamına gelir; alternatif bir çıkarım zincirine katılabilir. Zincirin zorlayıcı uç noktaları tarafından görülen bir hedefi ortadan kaldırın.

Bu ders Platon Sudoku uygulamasının eğitim içeriğinden uyarlanmıştır. Örneğin tamamını burada okuyun, ardından uygulamada öğrenmeye ve alıştırmaya devam edin.

Google Play'de görüntüle

Deseni tanıyın

Gruplandırılmış bir düğüm, birkaç adaydan en az birinin doğru olduğu anlamına gelir; alternatif bir çıkarım zincirine katılabilir.

Nasıl bulunur?

Gruplandırılmış hücrelerin gerekli bölgeyi paylaştığını kontrol edin, ardından bir veya daha fazla grup düğümü aracılığıyla güçlü ve zayıf bağlantıları izleyin.

Neye izin verir?

Zincirin zorlayıcı uç noktaları tarafından görülen bir hedefi ortadan kaldırın.

Karışıklıktan kaçının

Gerçek bir grup, her üyenin doğru olduğu anlamına gelmez. Zinciri takip ederken grubun OR anlamını koruyun.

Adım adım örnek · Bir grup

Bu örnek kaydedilmiş bir ara konumdan başlar. Adaylar önceki mantıksal elemeleri içerir; yeni oluşturulmuş otomatik notlar değildir.

Mavi: dayanaklar. Yeşil: sonuç. Üzeri çizili sayılar: elenen adaylar. R1C1, 1. satır ve 1. sütun demektir.

Adım 1 · Nereye bakmalı

kutu 6 içinde 2 yalnızca R4C7, R4C8, R5C8 konumlarına gelebilir. Rakam bu bölgede bir kez bulunmalıdır.

1: VEYA grup A: en az bir aday doğrudur

Adım 2 · Akıl yürütme

sütunu 5 içinde 2 yalnızca R1C5, R4C5 konumlarına gelebilir. Rakam bu bölgede bir kez bulunmalıdır.

1: VEYA grup A: en az bir aday doğrudur

Adım 3 · Akıl yürütme

sütunu 9 içinde 2 yalnızca R1C9, R8C9 konumlarına gelebilir. Rakam bu bölgede bir kez bulunmalıdır.

1: VEYA grup A: en az bir aday doğrudur

Adım 4 · OR aday gruplarını adlandırın

Numaralı küme ayraçları ve açıklama şu grupları tanımlar: VEYA aday grubu A = R4C8=2, R5C8=2. Her grup bir mantıksal OR durumudur: içindeki en az bir aday doğrudur; bu, tüm üyelerin doğru olduğu anlamına gelmez.

1: VEYA grup A: en az bir aday doğrudur

Adım 5 · Akıl yürütme

Dal 1: VEYA aday grubu A'nin yanlış olduğunu varsayalım.

1: VEYA grup A: en az bir aday doğrudur

Adım 6 · Grubun güçlü bağlantısı: diğer tarafı zorlayın

Durum 1: VEYA aday grubu A yanlıştır, dolayısıyla grup güçlü bağlantısı R4C7=2'yi zorlar. Eğer bu bir VEYA grubu ise, adaylarından en az biri doğrudur.

1: VEYA grup A: en az bir aday doğrudur

Adım 7 · Grubun zayıf halkası: çelişen tarafı hariç tutun

R4C7=2 zincir durumu olarak doğrudur, bu nedenle R4C5=2'nin birbirini dışlayan tarafı yanlıştır.

1: VEYA grup A: en az bir aday doğrudur

Adım 8 · Grubun güçlü bağlantısı: bir taraf kalmalı

R4C5=2 yanlıştır, dolayısıyla grup güçlü bağlantısı R1C5=2'yi zorlar.

1: VEYA grup A: en az bir aday doğrudur

Adım 9 · Grubun zayıf halkası: çelişen tarafı hariç tutun

R1C5=2 zincir durumu olarak doğrudur, bu nedenle R1C9=2'nin birbirini dışlayan tarafı yanlıştır.

1: VEYA grup A: en az bir aday doğrudur

Adım 10 · Dolaylı uç nokta, hedefleri hariç tutar

R8C9=2 uç nokta durumu olarak doğrudur, dolayısıyla hedefleri hariç tutar.

1: VEYA grup A: en az bir aday doğrudur

Adım 11 · Önceki dikdörtgen dolguyu geri çekin

Bu varsayımı ve sonuçlarını geri çekin. Bir sonraki olasılığı incelemeden önce değişmemiş aday anlık görüntüsüne dönün.

1: VEYA grup A: en az bir aday doğrudur

Adım 12 · Durum 2: ilk uç nokta doğrudur

İlk uç nokta VEYA aday grubu A, OR durumu olarak doğrudur, dolayısıyla hedefleri hariç tutar.

1: VEYA grup A: en az bir aday doğrudur

Adım 13 · Her iki uç nokta durumu da aynı fikirde

İki uç nokta durumu alternatifleri tüketir ve her ikisi de R7C8=2, R8C8=2'yi hariç tutar. Geçici durumları geri çektikten sonra bunları kaldırın.

1: VEYA grup A: en az bir aday doğrudur

Neye izin verir?

İki uç nokta durumu alternatifleri tüketir ve her ikisi de R7C8=2, R8C8=2'yi hariç tutar. Geçici durumları geri çektikten sonra bunları kaldırın.

Tek rakamlı gruplu AIC (Single-Digit Grouped AIC) · Zincirin zorlayıcı uç noktaları tarafından görülen bir hedefi ortadan kaldırın.

Adım adım örnek · Çeşitli gruplar

Bu örnek kaydedilmiş bir ara konumdan başlar. Adaylar önceki mantıksal elemeleri içerir; yeni oluşturulmuş otomatik notlar değildir.

Mavi: dayanaklar. Yeşil: sonuç. Üzeri çizili sayılar: elenen adaylar. R1C1, 1. satır ve 1. sütun demektir.

Adım 1 · Nereye bakmalı

kutu 1 içinde 8 yalnızca R2C2, R3C1 konumlarına gelebilir. Rakam bu bölgede bir kez bulunmalıdır.