XY-Chain · Contoh langkah demi langkah

Setiap sel dalam rantai memiliki tepat dua kandidat: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Di dalam sel, hubungannya kuat: jika satu kandidat salah, kandidat lainnya harus benar. Di antara sel yang berbeda, kandidat terhubung dengan angka yang sama saling meniadakan. Kedua ujung R5C8=4, R6C5=4 memiliki kandidat yang sama, yaitu 4.

Cabang 1: misalkan R5C8=4 salah.

R5C8=4 salah. R5C8 sekarang hanya tersisa R5C8=7, jadi pasti benar.

Kasus 1: R5C8 adalah sel bivalue R5C8=4, R5C8=7. Dengan kandidat digit lainnya salah, R5C8=7 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R5C4=7, jadi coret konflik tersebut.

R5C4=7 salah. R5C4 sekarang hanya tersisa R5C4=3, jadi pasti benar.

R5C4 adalah sel bivalue berikutnya R5C4=3, R5C4=7. Dengan kandidat digit lainnya salah, R5C4=3 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R6C6=3, jadi coret konflik tersebut.

R6C6=3 salah. R6C6 sekarang hanya tersisa R6C6=2, jadi pasti benar.

R6C6 adalah sel bivalue berikutnya R6C6=2, R6C6=3. Dengan kandidat digit lainnya salah, R6C6=2 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R6C5=2, jadi coret konflik tersebut.

Pada sel bivalue titik akhir R6C5 (R6C5=2, R6C5=4), R6C5=2 salah, sehingga R6C5=4 dipaksa menjadi benar berdasarkan asumsi saat ini. Titik akhir ini tidak termasuk target R6C8=4, R6C9=4.

Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.

Asumsikan titik akhir pertama R5C8=4 benar dalam sel bivalue R5C8 (R5C8=4, R5C8=7). Di dalam sel tersebut tidak termasuk digit kandidat lainnya; antar sel, tidak termasuk digit kandidat R5C8=7, R6C8=4, R6C9=4 yang terlihat saling bertentangan.

Kedua kasus titik akhir menghabiskan semua kemungkinan dan keduanya mencoret R6C8=4, R6C9=4. Tarik status kebenaran logis sementara, lalu hapus.

Setiap sel dalam rantai memiliki tepat dua kandidat: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Di dalam sel, hubungannya kuat: jika satu kandidat salah, kandidat lainnya harus benar. Di antara sel yang berbeda, kandidat terhubung dengan angka yang sama saling meniadakan. Kedua ujung R1C4=3, R7C5=3 memiliki kandidat yang sama, yaitu 3.

Cabang 1: misalkan R1C4=3 salah.

R1C4=3 salah. R1C4 sekarang hanya tersisa R1C4=8, jadi pasti benar.

Kasus 1: R1C4 adalah sel bivalue R1C4=3, R1C4=8. Dengan kandidat digit lainnya salah, R1C4=8 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R1C8=8, jadi coret konflik tersebut.

R1C8=8 salah. R1C8 sekarang hanya tersisa R1C8=6, jadi pasti benar.

R1C8 adalah sel bivalue berikutnya R1C8=6, R1C8=8. Dengan kandidat digit lainnya salah, R1C8=6 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R7C8=6, jadi coret konflik tersebut.

R7C8=6 salah. R7C8 sekarang hanya tersisa R7C8=2, jadi pasti benar.

R7C8 adalah sel bivalue berikutnya R7C8=2, R7C8=6. Dengan kandidat digit lainnya salah, R7C8=2 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R7C6=2, jadi coret konflik tersebut.

R7C6=2 salah. R7C6 sekarang hanya tersisa R7C6=4, jadi pasti benar.

R7C6 adalah sel bivalue berikutnya R7C6=2, R7C6=4. Dengan kandidat digit lainnya salah, R7C6=4 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R7C5=4, jadi coret konflik tersebut.

Pada sel bivalue titik akhir R7C5 (R7C5=3, R7C5=4), R7C5=4 salah, sehingga R7C5=3 dipaksa menjadi benar berdasarkan asumsi saat ini. Titik akhir ini tidak termasuk target R1C5=3, R8C4=3.

Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.

Asumsikan titik akhir pertama R1C4=3 benar dalam sel bivalue R1C4 (R1C4=3, R1C4=8). Di dalam sel tersebut tidak termasuk digit kandidat lainnya; antar sel, tidak termasuk digit kandidat R1C4=8, R1C5=3, R8C4=3 yang terlihat saling bertentangan.

Kedua kasus titik akhir menghabiskan semua kemungkinan dan keduanya mencoret R1C5=3, R8C4=3. Tarik status kebenaran logis sementara, lalu hapus.

Setiap sel dalam rantai memiliki tepat dua kandidat: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Di dalam sel, hubungannya kuat: jika satu kandidat salah, kandidat lainnya harus benar. Di antara sel yang berbeda, kandidat terhubung dengan angka yang sama saling meniadakan. Kedua ujung R1C3=1, R3C9=1 memiliki kandidat yang sama, yaitu 1.

Cabang 1: misalkan R1C3=1 salah.

R1C3=1 salah. R1C3 sekarang hanya tersisa R1C3=9, jadi pasti benar.

Kasus 1: R1C3 adalah sel bivalue R1C3=1, R1C3=9. Dengan kandidat digit lainnya salah, R1C3=9 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R1C4=9, jadi coret konflik tersebut.

R1C4=9 salah. R1C4 sekarang hanya tersisa R1C4=7, jadi pasti benar.

R1C4 adalah sel bivalue berikutnya R1C4=7, R1C4=9. Dengan kandidat digit lainnya salah, R1C4=7 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R2C4=7, jadi coret konflik tersebut.

R2C4=7 salah. R2C4 sekarang hanya tersisa R2C4=9, jadi pasti benar.

R2C4 adalah sel bivalue berikutnya R2C4=7, R2C4=9. Dengan kandidat digit lainnya salah, R2C4=9 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R2C8=9, jadi coret konflik tersebut.

R2C8=9 salah. R2C8 sekarang hanya tersisa R2C8=5, jadi pasti benar.

R2C8 adalah sel bivalue berikutnya R2C8=5, R2C8=9. Dengan kandidat digit lainnya salah, R2C8=5 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R2C5=5, jadi coret konflik tersebut.

R2C5=5 salah. R2C5 sekarang hanya tersisa R2C5=6, jadi pasti benar.

R2C5 adalah sel bivalue berikutnya R2C5=5, R2C5=6. Dengan kandidat digit lainnya salah, R2C5=6 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R2C6=6, jadi coret konflik tersebut.

R2C6=6 salah. R2C6 sekarang hanya tersisa R2C6=1, jadi pasti benar.

R2C6 adalah sel bivalue berikutnya R2C6=1, R2C6=6. Dengan kandidat digit lainnya salah, R2C6=1 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R2C9=1, jadi coret konflik tersebut.

R2C9=1 salah. R2C9 sekarang hanya tersisa R2C9=7, jadi pasti benar.

R2C9 adalah sel bivalue berikutnya R2C9=1, R2C9=7. Dengan kandidat digit lainnya salah, R2C9=7 dipaksa menjadi benar berdasarkan asumsi saat ini. Di seluruh sel, ini saling eksklusif dengan R3C9=7, jadi coret konflik tersebut.

Pada sel bivalue titik akhir R3C9 (R3C9=1, R3C9=7), R3C9=7 salah, sehingga R3C9=1 dipaksa menjadi benar berdasarkan asumsi saat ini. Titik akhir ini tidak termasuk target R3C1=1, R3C2=1, R3C3=1.

Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.

Asumsikan titik akhir pertama R1C3=1 benar dalam sel bivalue R1C3 (R1C3=1, R1C3=9). Di dalam sel tersebut tidak termasuk digit kandidat lainnya; antar sel, tidak termasuk digit kandidat R1C3=9, R3C1=1, R3C2=1, R3C3=1 yang terlihat saling bertentangan.

Kedua kasus titik akhir menghabiskan semua kemungkinan dan keduanya mencoret R3C1=1, R3C2=1, R3C3=1. Tarik status kebenaran logis sementara, lalu hapus.