Kapsamlı bir dizi aday alternatif, ayrı doğrusal uygulama zincirleri aracılığıyla takip edilir. Yalnızca geçerli tüm şubeler tarafından paylaşılan bir yerleştirme veya elemeyi saklayı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.
Kapsamlı bir dizi aday alternatif, ayrı doğrusal uygulama zincirleri aracılığıyla takip edilir.
Nasıl bulunur?
Doğru/yanlış ayrımını veya bir bölgedeki bir rakamın tüm konumlarını seçin; her dalı doğrulanmış sonucuna kadar takip edin.
Neye izin verir?
Yalnızca geçerli tüm şubeler tarafından paylaşılan bir yerleştirme veya elemeyi saklayın.
Karışıklıktan kaçının
Bir dalın sonuca ulaşması yetersizdir; Başlangıç alternatifleri tüm olasılıkları kapsamalıdır.
Adım adım örnek · İki şube
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ı
Kanıtlanacak ortak sonuç R1C2=7'dir; şube anahtarı R1C2=5'dir. Herhangi bir aday ya doğrudur ya da yanlıştır, dolayısıyla bu iki dal her olasılığı kapsar. Her ikisi de ortak sonuca ulaşırsa, o sonuç zorlanır.
Kanıtlanacak ortak sonuç R1C2=7'dir; şube anahtarı R1C2=5'dir. Herhangi bir aday ya doğrudur ya da yanlıştır, dolayısıyla bu iki dal her olasılığı kapsar. Her ikisi de ortak sonuca ulaşırsa, o sonuç zorlanır.
Adım 2 · Akıl yürütme
Dal 1: R1C2=5'nin doğru olduğunu varsayalım.
Dal 1: R1C2=5'nin doğru olduğunu varsayalım.
Adım 3 · Akıl yürütme
R1C2=5 doğrudur. R1C2=7'yi çıkarın.
R1C2=5 doğrudur. R1C2=7'yi çıkarın.
Adım 4 · Ö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.
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.
Adım 5 · Akıl yürütme
Dal 2: R1C2=5'nin yanlış olduğunu varsayalım.
Dal 2: R1C2=5'nin yanlış olduğunu varsayalım.
Adım 6 · Akıl yürütme
R1C2=5 yanlıştır. Bu iki taraf birlikte satır 1'de kalan tüm seçenekleri içerir. Bu nedenle R1C5=5 doğru olmalıdır.
R1C2=5 yanlıştır. Bu iki taraf birlikte satır 1'de kalan tüm seçenekleri içerir. Bu nedenle R1C5=5 doğru olmalıdır.
Adım 7 · Akıl yürütme
R1C5=5 doğrudur. R2C5=5'yi sütunu 5'den çıkarın.
R1C5=5 doğrudur. R2C5=5'yi sütunu 5'den çıkarın.
Adım 8 · Akıl yürütme
R2C5=5 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C8=5 doğru olmalıdır.
R2C5=5 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C8=5 doğru olmalıdır.
Adım 9 · Akıl yürütme
R2C8=5 doğrudur. R2C8=9'yi çıkarın.
R2C8=5 doğrudur. R2C8=9'yi çıkarın.
Adım 10 · Akıl yürütme
R2C8=9 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C4=9 doğru olmalıdır.
R2C8=9 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C4=9 doğru olmalıdır.
Adım 11 · Akıl yürütme
R2C4=9 doğrudur. R1C4=9'yi sütunu 4'den çıkarın.
R2C4=9 doğrudur. R1C4=9'yi sütunu 4'den çıkarın.
Adım 12 · Akıl yürütme
R1C4=9 yanlıştır. R1C4'de artık yalnızca R1C4=7 kaldı, dolayısıyla bu doğru olmalı.
R1C4=9 yanlıştır. R1C4'de artık yalnızca R1C4=7 kaldı, dolayısıyla bu doğru olmalı.
Adım 13 · Akıl yürütme
R1C4=7 doğrudur. R1C2=7'yi satır 1'den çıkarın.
R1C4=7 doğrudur. R1C2=7'yi satır 1'den çıkarın.
Adım 14 · Akıl yürütme
Olası her dal aynı gerçeğe ulaşır: R1C2=7 yanlıştır. Tüm varsayımlar bir kenara bırakıldığında bu gerçek kesinliğini koruyor.
Olası her dal aynı gerçeğe ulaşır: R1C2=7 yanlıştır. Tüm varsayımlar bir kenara bırakıldığında bu gerçek kesinliğini koruyor.
Adım 15 · Sonuç
Doğrulanan sonuç R1C2=7 yanlıştır'dir. Tüm geçici varsayımlar geri çekildi.
Doğrulanan sonuç R1C2=7 yanlıştır'dir. Tüm geçici varsayımlar geri çekildi.
Neye izin verir?
Doğrulanan sonuç R1C2=7 yanlıştır'dir. Tüm geçici varsayımlar geri çekildi.
Zorlama zinciri (Forcing Chain) · Yalnızca geçerli tüm şubeler tarafından paylaşılan bir yerleştirme veya elemeyi saklayın.
Adım adım örnek · Çeşitli şubeler
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ı
R2C4=2, R2C4=3, R2C4=6, R2C4=7 kökleri, R2C4'deki olası tüm adaylardır. Her birini ayrı bir doğrusal çıkarım zinciri olarak takip edin; her kök R2C6=3'ye ulaşırsa bu sonuç zorlanır. Çoklu kökler tek başına bunu bir Forcing Net yapmaz.
R2C4=2, R2C4=3, R2C4=6, R2C4=7 kökleri, R2C4'deki olası tüm adaylardır. Her birini ayrı bir doğrusal çıkarım zinciri olarak takip edin; her kök R2C6=3'ye ulaşırsa bu sonuç zorlanır. Çoklu kökler tek başına bunu bir Forcing Net yapmaz.
Adım 2 · Akıl yürütme
Dal 1: R2C4=2'nin doğru olduğunu varsayalım.
Dal 1: R2C4=2'nin doğru olduğunu varsayalım.
Adım 3 · Akıl yürütme
R2C4=2 doğrudur. R2C4=3'yi çıkarın.
R2C4=2 doğrudur. R2C4=3'yi çıkarın.
Adım 4 · Akıl yürütme
R2C4=3 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=3 doğru olmalıdır.
R2C4=3 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=3 doğru olmalıdır.
Adım 5 · Ö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.
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.
Adım 6 · Akıl yürütme
Dal 2: R2C4=3'nin doğru olduğunu varsayalım.
Dal 2: R2C4=3'nin doğru olduğunu varsayalım.
Adım 7 · Akıl yürütme
R2C4=3 doğrudur. R2C4=6'yi çıkarın.
R2C4=3 doğrudur. R2C4=6'yi çıkarın.
Adım 8 · Akıl yürütme
R2C4=6 yanlıştır. Bu iki taraf birlikte kutu 2'de kalan tüm seçenekleri içerir. Bu nedenle R1C5=6 doğru olmalıdır.
R2C4=6 yanlıştır. Bu iki taraf birlikte kutu 2'de kalan tüm seçenekleri içerir. Bu nedenle R1C5=6 doğru olmalıdır.
Adım 9 · Akıl yürütme
R1C5=6 doğrudur. R4C5=6'yi sütunu 5'den çıkarın.
R1C5=6 doğrudur. R4C5=6'yi sütunu 5'den çıkarın.
Adım 10 · Akıl yürütme
R4C5=6 yanlıştır. R4C5'de artık yalnızca R4C5=3 kaldı, dolayısıyla bu doğru olmalı.
R4C5=6 yanlıştır. R4C5'de artık yalnızca R4C5=3 kaldı, dolayısıyla bu doğru olmalı.
Adım 11 · Akıl yürütme
R4C5=3 doğrudur. R6C6=3'yi kutu 5'den çıkarın.
R4C5=3 doğrudur. R6C6=3'yi kutu 5'den çıkarın.
Adım 12 · Akıl yürütme
R6C6=3 yanlıştır. Bu iki taraf birlikte sütunu 6'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=3 doğru olmalıdır.
R6C6=3 yanlıştır. Bu iki taraf birlikte sütunu 6'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=3 doğru olmalıdır.
Adım 13 · Ö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.
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.
Adım 14 · Akıl yürütme
Dal 3: R2C4=6'nin doğru olduğunu varsayalım.
Dal 3: R2C4=6'nin doğru olduğunu varsayalım.
Adım 15 · Akıl yürütme
R2C4=6 doğrudur. R2C4=3'yi çıkarın.
R2C4=6 doğrudur. R2C4=3'yi çıkarın.
Adım 16 · Akıl yürütme
R2C4=3 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=3 doğru olmalıdır.
R2C4=3 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=3 doğru olmalıdır.
Adım 17 · Ö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.
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.
Adım 18 · Akıl yürütme
Dal 4: R2C4=7'nin doğru olduğunu varsayalım.
Dal 4: R2C4=7'nin doğru olduğunu varsayalım.
Adım 19 · Akıl yürütme
R2C4=7 doğrudur. R2C4=3'yi çıkarın.
R2C4=7 doğrudur. R2C4=3'yi çıkarın.
Adım 20 · Akıl yürütme
R2C4=3 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=3 doğru olmalıdır.
R2C4=3 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=3 doğru olmalıdır.
Adım 21 · Akıl yürütme
Olası her dal aynı gerçeğe ulaşır: R2C6=3 doğrudur. Tüm varsayımlar bir kenara bırakıldığında bu gerçek kesinliğini koruyor.
Olası her dal aynı gerçeğe ulaşır: R2C6=3 doğrudur. Tüm varsayımlar bir kenara bırakıldığında bu gerçek kesinliğini koruyor.
Adım 22 · Sonuç
Doğrulanan sonuç R2C6=3 doğrudur'dir. Tüm geçici varsayımlar geri çekildi.
Doğrulanan sonuç R2C6=3 doğrudur'dir. Tüm geçici varsayımlar geri çekildi.
Neye izin verir?
Doğrulanan sonuç R2C6=3 doğrudur'dir. Tüm geçici varsayımlar geri çekildi.
Zorlama zinciri (Forcing Chain) · Yalnızca geçerli tüm şubeler tarafından paylaşılan bir yerleştirme veya elemeyi saklayı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.