A Forcing Net dallara ayrılır ve aday çıkarımları birleştirir. Bir varsayımı çürütebilir veya alternatifler arasında ortak bir sonucu kanıtlayabilir. Reddedilen bir adayı kaldırın veya tüm kapsamlı şubeler tarafından paylaşılan sonucu uygulayı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.
A Forcing Net dallara ayrılır ve aday çıkarımları birleştirir. Bir varsayımı çürütebilir veya alternatifler arasında ortak bir sonucu kanıtlayabilir.
Nasıl bulunur?
Her öncülü dallanma ağı üzerinden takip edin, her bağlantıyı kontrol edin ve çelişkileri veya ortak uç noktaları karşılaştırın.
Neye izin verir?
Reddedilen bir adayı kaldırın veya tüm kapsamlı şubeler tarafından paylaşılan sonucu uygulayın.
Karışıklıktan kaçının
Bir dalı atlamayın veya paylaşılan efekti yalnızca tek bir yoldan gelen efektle karıştırmayın.
Adım adım örnek · Çelişki
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ı
R1C3=7 doğru ya da yanlıştır. Bağımlılık grafı R1C3=7 doğrudur'yi test ediyor; bir çelişki bu durumu dışlar ve R1C3=7 yanlıştır'yi zorlar, böylece iki olası durum tamamen kapsanır. Bu bir Forcing Net, Forcing Chain değil çünkü doğrulanmış bağımlılık grafiği, tek bir doğrusal çıkarım yolu olarak kalmak yerine dallanır veya birleşir. Araştırılan dal 49 doğrulanmış düğümleri içeriyor.
R1C3=7 doğru ya da yanlıştır. Bağımlılık grafı R1C3=7 doğrudur'yi test ediyor; bir çelişki bu durumu dışlar ve R1C3=7 yanlıştır'yi zorlar, böylece iki olası durum tamamen kapsanır. Bu bir Forcing Net, Forcing Chain değil çünkü doğrulanmış bağımlılık grafiği, tek bir doğrusal çıkarım yolu olarak kalmak yerine dallanır veya birleşir. Araştırılan dal 49 doğrulanmış düğümleri içeriyor.
Önceki istisnaların ardından R8C3=3, R8C3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R8C3=3, R8C3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 5 · Akıl yürütme
R8C3=3 doğrudur. R7C3=3'yi çıkarın.
R8C3=3 doğrudur. R7C3=3'yi çıkarın.
Adım 6 · Akıl yürütme
Önceki istisnaların ardından R7C4=3, satır 7'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R7C4=3, satır 7'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 7 · Akıl yürütme
Önceki istisnaların ardından R8C2=7, satır 8'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R8C2=7, satır 8'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 8 · Akıl yürütme
R8C2=7 doğrudur. R8C2=8'yi çıkarın.
R8C2=7 doğrudur. R8C2=8'yi çıkarın.
Adım 9 · Akıl yürütme
Önceki istisnaların ardından R8C8=8, satır 8'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R8C8=8, satır 8'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 10 · Akıl yürütme
R8C8=8 doğrudur. R8C8=4'yi çıkarın.
R8C8=8 doğrudur. R8C8=4'yi çıkarın.
Adım 11 · Akıl yürütme
Önceki istisnaların ardından R6C1=7, sütunu 1'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R6C1=7, sütunu 1'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 12 · Akıl yürütme
R6C1=7 doğrudur. R6C1=5'yi çıkarın.
R6C1=7 doğrudur. R6C1=5'yi çıkarın.
Adım 13 · Akıl yürütme
Önceki istisnaların ardından R3C8=4, sütunu 8'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R3C8=4, sütunu 8'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 14 · Akıl yürütme
R3C8=4 doğrudur. {R3C8=1, R3C8=6}'yi çıkarın.
R3C8=4 doğrudur. {R3C8=1, R3C8=6}'yi çıkarın.
Adım 15 · Akıl yürütme
Önceki istisnaların ardından R3C1=2, kutu 1'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R3C1=2, kutu 1'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 16 · Akıl yürütme
R3C1=2 doğrudur. R3C1=5'yi çıkarın.
R3C1=2 doğrudur. R3C1=5'yi çıkarın.
Adım 17 · Akıl yürütme
Önceki istisnaların ardından R9C7=4, kutu 9'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R9C7=4, kutu 9'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 18 · Akıl yürütme
R9C7=4 doğrudur. R9C7=9'yi çıkarın.
R9C7=4 doğrudur. R9C7=9'yi çıkarın.
Adım 19 · Akıl yürütme
Önceki istisnaların ardından R7C9=9, kutu 9'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R7C9=9, kutu 9'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 20 · Akıl yürütme
R3C8=4 doğrudur. R2C7=4'yi çıkarın.
R3C8=4 doğrudur. R2C7=4'yi çıkarın.
Adım 21 · Akıl yürütme
R6C1=7 doğrudur. R6C7=7'yi çıkarın.
R6C1=7 doğrudur. R6C7=7'yi çıkarın.
Adım 22 · Akıl yürütme
Önceki istisnaların ardından R6C7=6, R6C7'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R6C7=6, R6C7'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 23 · Akıl yürütme
R6C7=6 doğrudur. R3C7=6'yi çıkarın.
R6C7=6 doğrudur. R3C7=6'yi çıkarın.
Adım 24 · Akıl yürütme
R7C4=3 doğrudur. R2C4=3'yi çıkarın.
R7C4=3 doğrudur. R2C4=3'yi çıkarın.
Adım 25 · Akıl yürütme
R7C9=9 doğrudur. {R1C9=9, R7C3=9}'yi çıkarın.
R7C9=9 doğrudur. {R1C9=9, R7C3=9}'yi çıkarın.
Adım 26 · Akıl yürütme
R8C8=8 doğrudur. R1C8=8'yi çıkarın.
R8C8=8 doğrudur. R1C8=8'yi çıkarın.
Adım 27 · Akıl yürütme
Önceki istisnaların ardından R3C9=6, satır 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R3C9=6, satır 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 28 · Akıl yürütme
R3C9=6 doğrudur. R3C9=1'yi çıkarın.
R3C9=6 doğrudur. R3C9=1'yi çıkarın.
Adım 29 · Akıl yürütme
Önceki istisnaların ardından R9C1=9, satır 9'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R9C1=9, satır 9'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 30 · Akıl yürütme
R9C1=9 doğrudur. R9C1=5'yi çıkarın.
R9C1=9 doğrudur. R9C1=5'yi çıkarın.
Adım 31 · Akıl yürütme
Önceki istisnaların ardından R2C1=5, sütunu 1'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R2C1=5, sütunu 1'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 32 · Akıl yürütme
Önceki istisnaların ardından R2C3=9, sütunu 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R2C3=9, sütunu 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 33 · Akıl yürütme
Önceki istisnaların ardından R2C9=1, kutu 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R2C9=1, kutu 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 34 · Akıl yürütme
Önceki istisnaların ardından R1C8=5, R1C8'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R1C8=5, R1C8'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 35 · Akıl yürütme
R1C8=5 doğrudur. R1C9=5'yi çıkarın.
R1C8=5 doğrudur. R1C9=5'yi çıkarın.
Adım 36 · Akıl yürütme
Önceki istisnaların ardından R1C9=8, R1C9'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R1C9=8, R1C9'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 37 · Akıl yürütme
R1C9=8 doğrudur. R2C7=8'yi çıkarın.
R1C9=8 doğrudur. R2C7=8'yi çıkarın.
Adım 38 · Akıl yürütme
R2C1=5 doğrudur. R2C4=5'yi çıkarın.
R2C1=5 doğrudur. R2C4=5'yi çıkarın.
Adım 39 · Akıl yürütme
R2C3=9 doğrudur. R2C7=9'yi çıkarın.
R2C3=9 doğrudur. R2C7=9'yi çıkarın.
Adım 40 · Akıl yürütme
Önceki istisnaların ardından R2C7=7, R2C7'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R2C7=7, R2C7'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 41 · Akıl yürütme
R2C7=7 doğrudur. R2C4=7'yi çıkarın.
R2C7=7 doğrudur. R2C4=7'yi çıkarın.
Adım 42 · Akıl yürütme
R2C9=1 doğrudur. R2C4=1'yi çıkarın.
R2C9=1 doğrudur. R2C4=1'yi çıkarın.
Adım 43 · Akıl yürütme
Bu varsayım, R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}'de olası bir değer veya konum bırakmaz. Bir Sudoku hücresi ve bir bölgedeki her eksik rakamın bir seçeneği olmalıdır. Varsayım imkansızdır.
Bu varsayım, R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}'de olası bir değer veya konum bırakmaz. Bir Sudoku hücresi ve bir bölgedeki her eksik rakamın bir seçeneği olmalıdır. Varsayım imkansızdır.
Adım 44 · Ö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 45 · Sonuç
R1C3=7 bu modelde doğru olamayacağı için kaldırılabilir.
R1C3=7 bu modelde doğru olamayacağı için kaldırılabilir.
Neye izin verir?
R1C3=7 bu modelde doğru olamayacağı için kaldırılabilir.
Zorlama ağı (Forcing Net) · Reddedilen bir adayı kaldırın veya tüm kapsamlı şubeler tarafından paylaşılan sonucu uygulayın.
Adım adım örnek · Ortak sonuç
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ı
R7C5=2, R7C5=4, R7C5=9 kök kümesi, R7C5'deki olası her başlangıcı içerir, dolayısıyla kök dallar kapsamlıdır. Bu bir Forcing Net'dir, Forcing Chain değil çünkü doğrulanmış bağımlılık grafiği, tek bir doğrusal çıkarım yolu olarak kalmak yerine dallanır veya birleşir. Bağımlılık grafiği, 3 kök dalları genelinde 58 doğrulanmış düğümleri içerir. Kontrol edilecek genel sonuç R3C6=2 doğrudur'dir.
R7C5=2, R7C5=4, R7C5=9 kök kümesi, R7C5'deki olası her başlangıcı içerir, dolayısıyla kök dallar kapsamlıdır. Bu bir Forcing Net'dir, Forcing Chain değil çünkü doğrulanmış bağımlılık grafiği, tek bir doğrusal çıkarım yolu olarak kalmak yerine dallanır veya birleşir. Bağımlılık grafiği, 3 kök dalları genelinde 58 doğrulanmış düğümleri içerir. Kontrol edilecek genel sonuç R3C6=2 doğrudur'dir.
Adım 2 · Akıl yürütme
Dal 1: R7C5=2'nin doğru olduğunu varsayalım.
Dal 1: R7C5=2'nin doğru olduğunu varsayalım.
Adım 3 · Akıl yürütme
R7C5=2 doğrudur. R3C5=2'yi çıkarın.
R7C5=2 doğrudur. R3C5=2'yi çıkarın.
Adım 4 · Akıl yürütme
Önceki istisnaların ardından R3C6=2, satır 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R3C6=2, satır 3'de kalan tek seçenektir. Bu varsayım altında zorlanı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: R7C5=4'nin doğru olduğunu varsayalım.
Dal 2: R7C5=4'nin doğru olduğunu varsayalım.
Adım 7 · Akıl yürütme
R7C5=4 doğrudur. R8C5=4'yi çıkarın.
R7C5=4 doğrudur. R8C5=4'yi çıkarın.
Adım 8 · Akıl yürütme
Önceki istisnaların ardından R8C5=2, R8C5'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R8C5=2, R8C5'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Adım 9 · Akıl yürütme
R8C5=2 doğrudur. R3C5=2'yi çıkarın.
R8C5=2 doğrudur. R3C5=2'yi çıkarın.
Adım 10 · Akıl yürütme
Önceki istisnaların ardından R3C6=2, satır 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
Önceki istisnaların ardından R3C6=2, satır 3'de kalan tek seçenektir. Bu varsayım altında zorlanır.
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.
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 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.