Alternatif bir çıkarım zinciri, aday durumları doğrulanmış güçlü ve zayıf bağlantılarla birleştirir. Açık ve kapalı zincirlerin farklı sonuçları vardır. Doğrulanmış sonucu kullanın: bir adayı çıkarın veya tam tersi durum mümkün olmadığında bir rakam yerleştirin.
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.
Alternatif bir çıkarım zinciri, aday durumları doğrulanmış güçlü ve zayıf bağlantılarla birleştirir. Açık ve kapalı zincirlerin farklı sonuçları vardır.
Nasıl bulunur?
Güçlü ve zayıf geçişleri ve zincirin kapanıp kapanmadığını veya bir uç noktayla çelişip çelişmediğini kaydederek her bir sonucu bir uçtan takip edin.
Neye izin verir?
Doğrulanmış sonucu kullanın: bir adayı çıkarın veya tam tersi durum mümkün olmadığında bir rakam yerleştirin.
Karışıklıktan kaçının
Güçlü bağlantıda bir uç yanlışsa diğer uç doğrudur. Zayıf bağlantıda bir uç doğruysa diğer uç yanlıştır. Bu çıkarımların yönünü tersine çevirmeyin; sonuca varmadan önce uçlar arasındaki ilişkiyi doğrulayın.
Adım adım örnek · Süreksiz · ortadan kaldır
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 · Takip etmeden önce AIC'yi okuyun
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R1C6=1 doğrudur'den başlayın ve R1C6=1'yi inceleyin. sütunu 6, satır 2, sütunu 9, satır 7, kutu 5, satır 5, sütunu 1, satır 9, sütunu 8'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R1C6=1 doğrudur'den başlayın ve R1C6=1'yi inceleyin. sütunu 6, satır 2, sütunu 9, satır 7, kutu 5, satır 5, sütunu 1, satır 9, sütunu 8'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Adım 2 · Varsayım: alternatif zinciri başlat
Dal 1: R1C6=1'nin doğru olduğunu varsayalım.
Dal 1: R1C6=1'nin doğru olduğunu varsayalım.
Adım 3 · Zayıf ilişki: bağlantılı adaylar çatışması
R1C6=1 doğrudur. R1C6=8'yi çıkarın.
R1C6=1 doğrudur. R1C6=8'yi çıkarın.
Adım 4 · Güçlü ilişki: diğer uç nokta zorlanır
R1C6=8 yanlıştır. Bu iki taraf birlikte sütunu 6'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=8 doğru olmalıdır.
R1C6=8 yanlıştır. Bu iki taraf birlikte sütunu 6'de kalan tüm seçenekleri içerir. Bu nedenle R2C6=8 doğru olmalıdır.
Adım 5 · Zayıf ilişki: bağlantılı adaylar çatışması
R2C6=8 doğrudur. R2C6=6'yi çıkarın.
R2C6=8 doğrudur. R2C6=6'yi çıkarın.
Adım 6 · Güçlü ilişki: diğer uç nokta zorlanır
R2C6=6 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C9=6 doğru olmalıdır.
R2C6=6 yanlıştır. Bu iki taraf birlikte satır 2'de kalan tüm seçenekleri içerir. Bu nedenle R2C9=6 doğru olmalıdır.
Adım 7 · Zayıf ilişki: bağlantılı adaylar çatışması
R2C9=6 doğrudur. R2C9=3'yi çıkarın.
R2C9=6 doğrudur. R2C9=3'yi çıkarın.
Adım 8 · Güçlü ilişki: diğer uç nokta zorlanır
R2C9=3 yanlıştır. Bu iki taraf birlikte sütunu 9'de kalan tüm seçenekleri içerir. Bu nedenle R7C9=3 doğru olmalıdır.
R2C9=3 yanlıştır. Bu iki taraf birlikte sütunu 9'de kalan tüm seçenekleri içerir. Bu nedenle R7C9=3 doğru olmalıdır.
Adım 9 · Zayıf ilişki: bağlantılı adaylar çatışması
R7C9=3 doğrudur. R7C6=3'yi çıkarın.
R7C9=3 doğrudur. R7C6=3'yi çıkarın.
Adım 10 · Güçlü ilişki: diğer uç nokta zorlanır
R7C6=3 yanlıştır. Bu iki taraf birlikte sütunu 6'de kalan tüm seçenekleri içerir. Bu nedenle R6C6=3 doğru olmalıdır.
R7C6=3 yanlıştır. Bu iki taraf birlikte sütunu 6'de kalan tüm seçenekleri içerir. Bu nedenle R6C6=3 doğru olmalıdır.
Adım 11 · Zayıf ilişki: bağlantılı adaylar çatışması
R6C6=3 doğrudur. R5C4=3'yi çıkarın.
R6C6=3 doğrudur. R5C4=3'yi çıkarın.
Adım 12 · Güçlü ilişki: diğer uç nokta zorlanır
R5C4=3 yanlıştır. Bu iki taraf birlikte satır 5'de kalan tüm seçenekleri içerir. Bu nedenle R5C1=3 doğru olmalıdır.
R5C4=3 yanlıştır. Bu iki taraf birlikte satır 5'de kalan tüm seçenekleri içerir. Bu nedenle R5C1=3 doğru olmalıdır.
Adım 13 · Zayıf ilişki: bağlantılı adaylar çatışması
R5C1=3 doğrudur. R9C1=3'yi çıkarın.
R5C1=3 doğrudur. R9C1=3'yi çıkarın.
Adım 14 · Güçlü ilişki: diğer uç nokta zorlanır
R9C1=3 yanlıştır. Bu iki taraf birlikte satır 9'de kalan tüm seçenekleri içerir. Bu nedenle R9C8=3 doğru olmalıdır.
R9C1=3 yanlıştır. Bu iki taraf birlikte satır 9'de kalan tüm seçenekleri içerir. Bu nedenle R9C8=3 doğru olmalıdır.
Adım 15 · Zayıf ilişki: bağlantılı adaylar çatışması
R9C8=3 doğrudur. R2C8=3'yi çıkarın.
R9C8=3 doğrudur. R2C8=3'yi çıkarın.
Adım 16 · Aynı hücre: diğer adayı zorla
R2C8=3 yanlıştır. Aynı R2C8 hücresinde, diğer aday R2C8=8 mevcut varsayım altında doğru olmaya zorlanır.
R2C8=3 yanlıştır. Aynı R2C8 hücresinde, diğer aday R2C8=8 mevcut varsayım altında doğru olmaya zorlanır.
Adım 17 · Zayıf ilişki: bağlantılı adaylar çatışması
R2C8=8 doğrudur. R2C6=8'yi çıkarın.
R2C8=8 doğrudur. R2C6=8'yi çıkarın.
Adım 18 · Güçlü ilişki: diğer uç nokta zorlanır
R2C6=8 yanlıştır. Bu iki taraf birlikte sütunu 6'de kalan tüm seçenekleri içerir. Bu nedenle R1C6=8 doğru olmalıdır.
R2C6=8 yanlıştır. Bu iki taraf birlikte sütunu 6'de kalan tüm seçenekleri içerir. Bu nedenle R1C6=8 doğru olmalıdır.
Adım 19 · Zincir bir çelişkiye varıyor
Çıkarım “R1C6=1 doğrudur” ile çelişmektedir, dolayısıyla R1C6=1 yanlıştır.
Çıkarım “R1C6=1 doğrudur” ile çelişmektedir, dolayısıyla R1C6=1 yanlıştır.
Adım 20 · Ö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 21 · AIC özeti
Alternatif zincir "R1C6=1 doğrudur"den başladı ve gerektiğinde aynı hücre anahtarları da dahil olmak üzere etiketli güçlü ve zayıf ilişkileri bir çelişkiye kadar takip etti. Bu nedenle R1C6=1 yanlıştır. Tüm geçici durumlar geri çekilir.
Alternatif zincir "R1C6=1 doğrudur"den başladı ve gerektiğinde aynı hücre anahtarları da dahil olmak üzere etiketli güçlü ve zayıf ilişkileri bir çelişkiye kadar takip etti. Bu nedenle R1C6=1 yanlıştır. Tüm geçici durumlar geri çekilir.
Neye izin verir?
Alternatif zincir "R1C6=1 doğrudur"den başladı ve gerektiğinde aynı hücre anahtarları da dahil olmak üzere etiketli güçlü ve zayıf ilişkileri bir çelişkiye kadar takip etti. Bu nedenle R1C6=1 yanlıştır. Tüm geçici durumlar geri çekilir.
Nice Loop / AIC · Doğrulanmış sonucu kullanın: bir adayı çıkarın veya tam tersi durum mümkün olmadığında bir rakam yerleştirin.
Adım adım örnek · Süreksiz · yer
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 · Takip etmeden önce AIC'yi okuyun
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R1C1=4 yanlıştır'den başlayın ve R1C1=4'yi inceleyin. satır 1, sütunu 2, kutu 4, sütunu 3'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R1C1=4 yanlıştır'den başlayın ve R1C1=4'yi inceleyin. satır 1, sütunu 2, kutu 4, sütunu 3'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Adım 2 · Varsayım: alternatif zinciri başlat
Dal 1: R1C1=4'nin yanlış olduğunu varsayalım.
Dal 1: R1C1=4'nin yanlış olduğunu varsayalım.
Adım 3 · Güçlü ilişki: diğer uç nokta zorlanır
R1C1=4 yanlıştır. Bu iki taraf birlikte satır 1'de kalan tüm seçenekleri içerir. Bu nedenle R1C3=4 doğru olmalıdır.
R1C1=4 yanlıştır. Bu iki taraf birlikte satır 1'de kalan tüm seçenekleri içerir. Bu nedenle R1C3=4 doğru olmalıdır.
Adım 4 · Zayıf ilişki: bağlantılı adaylar çatışması
R1C3=4 doğrudur. R1C3=5'yi çıkarın.
R1C3=4 doğrudur. R1C3=5'yi çıkarın.
Adım 5 · Güçlü ilişki: diğer uç nokta zorlanır
R1C3=5 yanlıştır. Bu iki taraf birlikte satır 1'de kalan tüm seçenekleri içerir. Bu nedenle R1C2=5 doğru olmalıdır.
R1C3=5 yanlıştır. Bu iki taraf birlikte satır 1'de kalan tüm seçenekleri içerir. Bu nedenle R1C2=5 doğru olmalıdır.
Adım 6 · Zayıf ilişki: bağlantılı adaylar çatışması
R1C2=5 doğrudur. R1C2=9'yi çıkarın.
R1C2=5 doğrudur. R1C2=9'yi çıkarın.
Adım 7 · Güçlü ilişki: diğer uç nokta zorlanır
R1C2=9 yanlıştır. Bu iki taraf birlikte sütunu 2'de kalan tüm seçenekleri içerir. Bu nedenle R5C2=9 doğru olmalıdır.
R1C2=9 yanlıştır. Bu iki taraf birlikte sütunu 2'de kalan tüm seçenekleri içerir. Bu nedenle R5C2=9 doğru olmalıdır.
Adım 8 · Zayıf ilişki: bağlantılı adaylar çatışması
R5C2=9 doğrudur. R4C3=9'yi çıkarın.
R5C2=9 doğrudur. R4C3=9'yi çıkarın.
Adım 9 · Aynı hücre: diğer adayı zorla
R4C3=9 yanlıştır. Aynı R4C3 hücresinde, diğer aday R4C3=4 mevcut varsayım altında doğru olmaya zorlanır.
R4C3=9 yanlıştır. Aynı R4C3 hücresinde, diğer aday R4C3=4 mevcut varsayım altında doğru olmaya zorlanır.
Adım 10 · Zayıf ilişki: bağlantılı adaylar çatışması
R4C3=4 doğrudur. R1C3=4'yi çıkarın.
R4C3=4 doğrudur. R1C3=4'yi çıkarın.
Adım 11 · Zincir bir çelişkiye varıyor
Çıkarım “R1C1=4 yanlıştır” ile çelişmektedir, dolayısıyla R1C1=4 doğrudur.
Çıkarım “R1C1=4 yanlıştır” ile çelişmektedir, dolayısıyla R1C1=4 doğrudur.
Adım 12 · Ö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 13 · AIC özeti
Alternatif zincir "R1C1=4 yanlıştır"den başladı ve gerektiğinde aynı hücre anahtarları da dahil olmak üzere etiketli güçlü ve zayıf ilişkileri bir çelişkiye kadar takip etti. Bu nedenle R1C1=4 doğrudur. Tüm geçici durumlar geri çekilir.
Alternatif zincir "R1C1=4 yanlıştır"den başladı ve gerektiğinde aynı hücre anahtarları da dahil olmak üzere etiketli güçlü ve zayıf ilişkileri bir çelişkiye kadar takip etti. Bu nedenle R1C1=4 doğrudur. Tüm geçici durumlar geri çekilir.
Neye izin verir?
Alternatif zincir "R1C1=4 yanlıştır"den başladı ve gerektiğinde aynı hücre anahtarları da dahil olmak üzere etiketli güçlü ve zayıf ilişkileri bir çelişkiye kadar takip etti. Bu nedenle R1C1=4 doğrudur. Tüm geçici durumlar geri çekilir.
Nice Loop / AIC · Doğrulanmış sonucu kullanın: bir adayı çıkarın veya tam tersi durum mümkün olmadığında bir rakam yerleştirin.
Adım adım örnek · Tip 1
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 · Takip etmeden önce AIC'yi okuyun
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R1C6=2 yanlıştır'den başlayın ve R1C8=2, R1C9=2, R2C4=2'yi inceleyin. sütunu 6, satır 2'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R1C6=2 yanlıştır'den başlayın ve R1C8=2, R1C9=2, R2C4=2'yi inceleyin. sütunu 6, satır 2'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Adım 2 · Varsayım: alternatif zinciri başlat
Dal 1: R1C6=2'nin yanlış olduğunu varsayalım.
Dal 1: R1C6=2'nin yanlış olduğunu varsayalım.
Adım 3 · Aynı hücre: diğer adayı zorla
R1C6=2 yanlıştır. Aynı R1C6 hücresinde, diğer aday R1C6=1 mevcut varsayım altında doğru olmaya zorlanır.
R1C6=2 yanlıştır. Aynı R1C6 hücresinde, diğer aday R1C6=1 mevcut varsayım altında doğru olmaya zorlanır.
Adım 4 · Zayıf ilişki: bağlantılı adaylar çatışması
R1C6=1 doğrudur. R6C6=1'yi çıkarın.
R1C6=1 doğrudur. R6C6=1'yi çıkarın.
Adım 5 · Aynı hücre: diğer adayı zorla
R6C6=1 yanlıştır. Aynı R6C6 hücresinde, diğer aday R6C6=6 mevcut varsayım altında doğru olmaya zorlanır.
R6C6=1 yanlıştır. Aynı R6C6 hücresinde, diğer aday R6C6=6 mevcut varsayım altında doğru olmaya zorlanır.
Adım 6 · Zayıf ilişki: bağlantılı adaylar çatışması
R6C6=6 doğrudur. R2C6=6'yi çıkarın.
R6C6=6 doğrudur. R2C6=6'yi çıkarın.
Adım 7 · Aynı hücre: diğer adayı zorla
R2C6=6 yanlıştır. Aynı R2C6 hücresinde, diğer aday R2C6=7 mevcut varsayım altında doğru olmaya zorlanır.
R2C6=6 yanlıştır. Aynı R2C6 hücresinde, diğer aday R2C6=7 mevcut varsayım altında doğru olmaya zorlanır.
Adım 8 · Zayıf ilişki: bağlantılı adaylar çatışması
R2C6=7 doğrudur. R2C8=7'yi çıkarın.
R2C6=7 doğrudur. R2C8=7'yi çıkarın.
Adım 9 · Aynı hücre: diğer adayı zorla
R2C8=7 yanlıştır. Aynı R2C8 hücresinde, diğer aday R2C8=2 mevcut varsayım altında doğru olmaya zorlanır.
R2C8=7 yanlıştır. Aynı R2C8 hücresinde, diğer aday R2C8=2 mevcut varsayım altında doğru olmaya zorlanır.
Adım 10 · AIC özeti
Aynı rakamı taşıyan R1C6=2 ve R2C8=2 uçlarından en az biri doğru olmalıdır. Her R1C8=2, R1C9=2, R2C4=2 hedefi iki ucu da gördüğünden doğru olamaz.
Aynı rakamı taşıyan R1C6=2 ve R2C8=2 uçlarından en az biri doğru olmalıdır. Her R1C8=2, R1C9=2, R2C4=2 hedefi iki ucu da gördüğünden doğru olamaz.
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.
Adım 12 · AIC özeti
Geçici uç nokta durumunu geri çekin. Tip 1 AIC, R1C8=2, R1C9=2, R2C4=2'yi kalıcı olarak kaldırır çünkü her hedef hem R1C6=2 hem de R2C8=2'yi görür.
Geçici uç nokta durumunu geri çekin. Tip 1 AIC, R1C8=2, R1C9=2, R2C4=2'yi kalıcı olarak kaldırır çünkü her hedef hem R1C6=2 hem de R2C8=2'yi görür.
Neye izin verir?
Geçici uç nokta durumunu geri çekin. Tip 1 AIC, R1C8=2, R1C9=2, R2C4=2'yi kalıcı olarak kaldırır çünkü her hedef hem R1C6=2 hem de R2C8=2'yi görür.
Nice Loop / AIC · Doğrulanmış sonucu kullanın: bir adayı çıkarın veya tam tersi durum mümkün olmadığında bir rakam yerleştirin.
Adım adım örnek · Tip 2
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 · Takip etmeden önce AIC'yi okuyun
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R1C8=9 yanlıştır'den başlayın ve R4C8=9'yi inceleyin. satır 1, sütunu 7, kutu 6, sütunu 8, satır 3, sütunu 6, satır 5, sütunu 4, satır 6, sütunu 9, satır 4'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R1C8=9 yanlıştır'den başlayın ve R4C8=9'yi inceleyin. satır 1, sütunu 7, kutu 6, sütunu 8, satır 3, sütunu 6, satır 5, sütunu 4, satır 6, sütunu 9, satır 4'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Adım 2 · Varsayım: alternatif zinciri başlat
Dal 1: R1C8=9'nin yanlış olduğunu varsayalım.
Dal 1: R1C8=9'nin yanlış olduğunu varsayalım.
Adım 3 · Güçlü ilişki: diğer uç nokta zorlanır
R1C8=9 yanlıştır. Bu iki taraf birlikte satır 1'de kalan tüm seçenekleri içerir. Bu nedenle R1C7=9 doğru olmalıdır.
R1C8=9 yanlıştır. Bu iki taraf birlikte satır 1'de kalan tüm seçenekleri içerir. Bu nedenle R1C7=9 doğru olmalıdır.
Adım 4 · Zayıf ilişki: bağlantılı adaylar çatışması
R1C7=9 doğrudur. R5C7=9'yi çıkarın.
R1C7=9 doğrudur. R5C7=9'yi çıkarın.
Adım 5 · Aynı hücre: diğer adayı zorla
R5C7=9 yanlıştır. Aynı R5C7 hücresinde, diğer aday R5C7=2 mevcut varsayım altında doğru olmaya zorlanır.
R5C7=9 yanlıştır. Aynı R5C7 hücresinde, diğer aday R5C7=2 mevcut varsayım altında doğru olmaya zorlanır.
Adım 6 · Zayıf ilişki: bağlantılı adaylar çatışması
R5C7=2 doğrudur. R6C8=2'yi çıkarın.
R5C7=2 doğrudur. R6C8=2'yi çıkarın.
Adım 7 · Aynı hücre: diğer adayı zorla
R6C8=2 yanlıştır. Aynı R6C8 hücresinde, diğer aday R6C8=1 mevcut varsayım altında doğru olmaya zorlanır.
R6C8=2 yanlıştır. Aynı R6C8 hücresinde, diğer aday R6C8=1 mevcut varsayım altında doğru olmaya zorlanır.
Adım 8 · Zayıf ilişki: bağlantılı adaylar çatışması
R6C8=1 doğrudur. R3C8=1'yi çıkarın.
R6C8=1 doğrudur. R3C8=1'yi çıkarın.
Adım 9 · Aynı hücre: diğer adayı zorla
R3C8=1 yanlıştır. Aynı R3C8 hücresinde, diğer aday R3C8=6 mevcut varsayım altında doğru olmaya zorlanır.
R3C8=1 yanlıştır. Aynı R3C8 hücresinde, diğer aday R3C8=6 mevcut varsayım altında doğru olmaya zorlanır.
Adım 10 · Zayıf ilişki: bağlantılı adaylar çatışması
R3C8=6 doğrudur. R3C6=6'yi çıkarın.
R3C8=6 doğrudur. R3C6=6'yi çıkarın.
Adım 11 · Aynı hücre: diğer adayı zorla
R3C6=6 yanlıştır. Aynı R3C6 hücresinde, diğer aday R3C6=4 mevcut varsayım altında doğru olmaya zorlanır.
R3C6=6 yanlıştır. Aynı R3C6 hücresinde, diğer aday R3C6=4 mevcut varsayım altında doğru olmaya zorlanır.
Adım 12 · Zayıf ilişki: bağlantılı adaylar çatışması
R3C6=4 doğrudur. R5C6=4'yi çıkarın.
R3C6=4 doğrudur. R5C6=4'yi çıkarın.
Adım 13 · Güçlü ilişki: diğer uç nokta zorlanır
R5C6=4 yanlıştır. Bu iki taraf birlikte satır 5'de kalan tüm seçenekleri içerir. Bu nedenle R5C4=4 doğru olmalıdır.
R5C6=4 yanlıştır. Bu iki taraf birlikte satır 5'de kalan tüm seçenekleri içerir. Bu nedenle R5C4=4 doğru olmalıdır.
Adım 14 · Zayıf ilişki: bağlantılı adaylar çatışması
R5C4=4 doğrudur. R5C4=3'yi çıkarın.
R5C4=4 doğrudur. R5C4=3'yi çıkarın.
Adım 15 · Güçlü ilişki: diğer uç nokta zorlanır
R5C4=3 yanlıştır. Bu iki taraf birlikte sütunu 4'de kalan tüm seçenekleri içerir. Bu nedenle R6C4=3 doğru olmalıdır.
R5C4=3 yanlıştır. Bu iki taraf birlikte sütunu 4'de kalan tüm seçenekleri içerir. Bu nedenle R6C4=3 doğru olmalıdır.
Adım 16 · Zayıf ilişki: bağlantılı adaylar çatışması
R6C4=3 doğrudur. R6C9=3'yi çıkarın.
R6C4=3 doğrudur. R6C9=3'yi çıkarın.
Adım 17 · Güçlü ilişki: diğer uç nokta zorlanır
R6C9=3 yanlıştır. Bu iki taraf birlikte sütunu 9'de kalan tüm seçenekleri içerir. Bu nedenle R4C9=3 doğru olmalıdır.
R6C9=3 yanlıştır. Bu iki taraf birlikte sütunu 9'de kalan tüm seçenekleri içerir. Bu nedenle R4C9=3 doğru olmalıdır.
Adım 18 · Zayıf ilişki: bağlantılı adaylar çatışması
R4C9=3 doğrudur. R4C9=7'yi çıkarın.
R4C9=3 doğrudur. R4C9=7'yi çıkarın.
Adım 19 · Güçlü ilişki: diğer uç nokta zorlanır
R4C9=7 yanlıştır. Bu iki taraf birlikte satır 4'de kalan tüm seçenekleri içerir. Bu nedenle R4C8=7 doğru olmalıdır.
R4C9=7 yanlıştır. Bu iki taraf birlikte satır 4'de kalan tüm seçenekleri içerir. Bu nedenle R4C8=7 doğru olmalıdır.
Adım 20 · AIC özeti
R1C8=9 ve R4C8=7 eş uç noktaları farklı rakamlar taşır. İşaretlenen her çapraz aday R4C8=9, her iki uç noktayı da yanlış yapar; bu nedenle onu kaldırın.
R1C8=9 ve R4C8=7 eş uç noktaları farklı rakamlar taşır. İşaretlenen her çapraz aday R4C8=9, her iki uç noktayı da yanlış yapar; bu nedenle onu kaldırın.
Adım 21 · Ö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 22 · AIC özeti
Geçici uç nokta durumunu geri çekin. Tip 2 AIC, R1C8=9 ve R4C8=7 arasındaki R4C8=9 çapraz adaylarını kalıcı olarak kaldırır.
Geçici uç nokta durumunu geri çekin. Tip 2 AIC, R1C8=9 ve R4C8=7 arasındaki R4C8=9 çapraz adaylarını kalıcı olarak kaldırır.
Neye izin verir?
Geçici uç nokta durumunu geri çekin. Tip 2 AIC, R1C8=9 ve R4C8=7 arasındaki R4C8=9 çapraz adaylarını kalıcı olarak kaldırır.
Nice Loop / AIC · Doğrulanmış sonucu kullanın: bir adayı çıkarın veya tam tersi durum mümkün olmadığında bir rakam yerleştirin.
Adım adım örnek · Sürekli döngü
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 · Takip etmeden önce AIC'yi okuyun
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R9C3=6 yanlıştır'den başlayın ve R9C3=5'yi inceleyin. sütunu 3, satır 5, sütunu 8, satır 9'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Bu Nice Loop / AIC dersi, HoDoKu'nin sıradan aday düğüm ailesini kullanır: süreksiz elemeler ve yerleştirmeler, açık Tip 1 ve Tip 2 zincirler ve sürekli döngüler. R9C3=6 yanlıştır'den başlayın ve R9C3=5'yi inceleyin. sütunu 3, satır 5, sütunu 8, satır 9'de sağlam bir bağlantı, en az bir ucun doğru olduğu anlamına gelir; kesikli bağlantı her iki ucun da doğru olamayacağı anlamına gelir. Her seferinde vurgulanan bir ilişkiyi takip edin.
Adım 2 · Varsayım: alternatif zinciri başlat
R9C3=6'yi yalnızca bu kapalı döngünün okuma başlangıcı olarak seçin. Bu bir deneme varsayımı değildir; alternatif döngü buraya geri dönecektir.
R9C3=6'yi yalnızca bu kapalı döngünün okuma başlangıcı olarak seçin. Bu bir deneme varsayımı değildir; alternatif döngü buraya geri dönecektir.
Adım 3 · Güçlü ilişki: diğer uç nokta zorlanır
R9C3=6 yanlıştır. Bu iki taraf birlikte sütunu 3'de kalan tüm seçenekleri içerir. Bu nedenle R5C3=6 doğru olmalıdır.
R9C3=6 yanlıştır. Bu iki taraf birlikte sütunu 3'de kalan tüm seçenekleri içerir. Bu nedenle R5C3=6 doğru olmalıdır.
Adım 4 · Zayıf ilişki: bağlantılı adaylar çatışması
R5C3=6 doğrudur. R5C8=6'yi çıkarın.
R5C3=6 doğrudur. R5C8=6'yi çıkarın.
Adım 5 · Aynı hücre: diğer adayı zorla
R5C8=6 yanlıştır. Aynı R5C8 hücresinde, diğer aday R5C8=8 mevcut varsayım altında doğru olmaya zorlanır.
R5C8=6 yanlıştır. Aynı R5C8 hücresinde, diğer aday R5C8=8 mevcut varsayım altında doğru olmaya zorlanır.
Adım 6 · Zayıf ilişki: bağlantılı adaylar çatışması
R5C8=8 doğrudur. R9C8=8'yi çıkarın.
R5C8=8 doğrudur. R9C8=8'yi çıkarın.
Adım 7 · Güçlü ilişki: diğer uç nokta zorlanır
R9C8=8 yanlıştır. Bu iki taraf birlikte satır 9'de kalan tüm seçenekleri içerir. Bu nedenle R9C3=8 doğru olmalıdır.
R9C8=8 yanlıştır. Bu iki taraf birlikte satır 9'de kalan tüm seçenekleri içerir. Bu nedenle R9C3=8 doğru olmalıdır.
Adım 8 · Zayıf ilişki: bağlantılı adaylar çatışması
R9C3=8 doğrudur. R9C3=6'yi çıkarın.
R9C3=8 doğrudur. R9C3=6'yi çıkarın.
Adım 9 · AIC özeti
Zincir sürekli değişen bir döngü olarak kapanır. Dolayısıyla döngüdeki her zayıf ilişki güçlüdür ve bu da R9C3=5'yi etkilenen hücre veya evden uzaklaştırır.
Zincir sürekli değişen bir döngü olarak kapanır. Dolayısıyla döngüdeki her zayıf ilişki güçlüdür ve bu da R9C3=5'yi etkilenen hücre veya evden uzaklaştırır.
Adım 10 · Ö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 11 · AIC özeti
Döngü geçişi tamamlandı; geçici durumlarını geri çekin ve R9C3=5'yi kalıcı olarak kaldırın.
Döngü geçişi tamamlandı; geçici durumlarını geri çekin ve R9C3=5'yi kalıcı olarak kaldırın.
Neye izin verir?
Döngü geçişi tamamlandı; geçici durumlarını geri çekin ve R9C3=5'yi kalıcı olarak kaldırın.
Nice Loop / AIC · Doğrulanmış sonucu kullanın: bir adayı çıkarın veya tam tersi durum mümkün olmadığında bir rakam yerleştirin.
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.