Platon Sudoku · Belajar Sudoku

AIC berkelompok untuk satu angka (Single-Digit Grouped AIC) · Contoh langkah demi langkah

Node yang dikelompokkan berarti setidaknya satu dari beberapa kandidat benar; ia dapat berpartisipasi dalam rantai inferensi bergantian. Hilangkan target yang terlihat oleh titik akhir pemaksaan rantai.

Pelajaran ini diadaptasi dari aplikasi Platon Sudoku. Baca contoh lengkap di sini, lalu lanjutkan belajar dan berlatih di aplikasi.

Lihat di Google Play

Kenali polanya

Node yang dikelompokkan berarti setidaknya satu dari beberapa kandidat benar; ia dapat berpartisipasi dalam rantai inferensi bergantian.

Bagaimana menemukannya

Periksa apakah sel yang dikelompokkan berbagi wilayah yang diperlukan, lalu lacak tautan kuat dan lemah melalui satu atau lebih node grup.

Apa yang diizinkan

Hilangkan target yang terlihat oleh titik akhir pemaksaan rantai.

Hindari campur aduk

Grup yang benar tidak berarti setiap anggotanya benar. Pertahankan makna OR grup saat mengikuti rantai.

Contoh langkah demi langkah · Satu grup

Contoh ini dimulai dari posisi perantara yang tersimpan. Kandidat mencakup penghapusan logis sebelumnya, bukan catatan otomatis yang baru dibuat.

Biru: bukti. Hijau: kesimpulan. Angka dicoret: kandidat yang dihapus. R1C1 berarti baris 1, kolom 1.

Langkah 1 · Dimana mencarinya

Di kotak 6, 2 hanya bisa masuk di R4C7, R4C8, R5C8. Digit tersebut harus muncul satu kali di wilayah ini.

Di kotak 6, 2 hanya bisa masuk di R4C7, R4C8, R5C8. Digit tersebut harus muncul satu kali di wilayah ini. — Di kotak 6, 2 hanya bisa masuk di R4C7, R4C8, R5C8. Digit tersebut harus muncul satu kali di wilayah ini.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 2 · Penalaran

Di kolom 5, 2 hanya bisa masuk di R1C5, R4C5. Digit tersebut harus muncul satu kali di wilayah ini.

Di kolom 5, 2 hanya bisa masuk di R1C5, R4C5. Digit tersebut harus muncul satu kali di wilayah ini. — Di kolom 5, 2 hanya bisa masuk di R1C5, R4C5. Digit tersebut harus muncul satu kali di wilayah ini.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 3 · Penalaran

Di kolom 9, 2 hanya bisa masuk di R1C9, R8C9. Digit tersebut harus muncul satu kali di wilayah ini.

Di kolom 9, 2 hanya bisa masuk di R1C9, R8C9. Digit tersebut harus muncul satu kali di wilayah ini. — Di kolom 9, 2 hanya bisa masuk di R1C9, R8C9. Digit tersebut harus muncul satu kali di wilayah ini.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 4 · Beri nama grup digit kandidat OR

Kurung kurawal bernomor dan legenda menetapkan kelompok berikut: OR grup digit kandidat A = R4C8=2, R5C8=2. Setiap kelompok adalah keadaan logis OR: setidaknya satu kandidat di dalamnya benar, tetapi bukan berarti semua anggotanya benar.

Kurung kurawal bernomor dan legenda menetapkan kelompok berikut: OR grup digit kandidat A = R4C8=2, R5C8=2. Setiap kelompok adalah keadaan logis OR: setidaknya satu kandidat di dalamnya benar, tetapi bukan berarti semua anggotanya benar. — Kurung kurawal bernomor dan legenda menetapkan kelompok berikut: OR grup digit kandidat A = R4C8=2, R5C8=2. Setiap kelompok adalah keadaan logis OR: setidaknya satu kandidat di dalamnya benar, tetapi bukan berarti semua anggotanya benar.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 5 · Penalaran

Cabang 1: misalkan OR grup digit kandidat A salah.

Cabang 1: misalkan OR grup digit kandidat A salah. — Cabang 1: misalkan OR grup digit kandidat A salah.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 6 · Kelompokkan tautan inferensi yang kuat: paksa pihak lain

Kasus 1: OR grup digit kandidat A salah, sehingga tautan inferensi kuat grup memaksa R4C7=2. Jika ini adalah grup OR, setidaknya salah satu digit kandidatnya benar.

Kasus 1: OR grup digit kandidat A salah, sehingga tautan inferensi kuat grup memaksa R4C7=2. Jika ini adalah grup OR, setidaknya salah satu digit kandidatnya benar. — Kasus 1: OR grup digit kandidat A salah, sehingga tautan inferensi kuat grup memaksa R4C7=2. Jika ini adalah grup OR, setidaknya salah satu digit kandidatnya benar.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 7 · Kelompokkan tautan inferensi lemah: kecualikan sisi yang berkonflik

R4C7=2 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R4C5=2 salah.

R4C7=2 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R4C5=2 salah. — R4C7=2 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R4C5=2 salah.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 8 · Kelompokkan tautan inferensi yang kuat: satu sisi harus tetap ada

R4C5=2 salah, sehingga tautan inferensi kuat grup memaksa R1C5=2.

R4C5=2 salah, sehingga tautan inferensi kuat grup memaksa R1C5=2. — R4C5=2 salah, sehingga tautan inferensi kuat grup memaksa R1C5=2.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 9 · Kelompokkan tautan inferensi lemah: kecualikan sisi yang berkonflik

R1C5=2 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R1C9=2 salah.

R1C5=2 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R1C9=2 salah. — R1C5=2 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R1C9=2 salah.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 10 · Titik akhir tidak langsung tidak termasuk target

R8C9=2 benar sebagai keadaan kebenaran logis titik akhir, sehingga tidak termasuk target.

R8C9=2 benar sebagai keadaan kebenaran logis titik akhir, sehingga tidak termasuk target. — R8C9=2 benar sebagai keadaan kebenaran logis titik akhir, sehingga tidak termasuk target.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 11 · Tarik isian persegi panjang sebelumnya

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

Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya. — Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 12 · Kasus 2: titik akhir pertama benar

Titik akhir pertama OR grup digit kandidat A benar sebagai keadaan kebenaran logis OR, sehingga tidak termasuk target.

Titik akhir pertama OR grup digit kandidat A benar sebagai keadaan kebenaran logis OR, sehingga tidak termasuk target. — Titik akhir pertama OR grup digit kandidat A benar sebagai keadaan kebenaran logis OR, sehingga tidak termasuk target.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Langkah 13 · Kedua kasus titik akhir setuju

Kedua kasus titik akhir menghabiskan alternatifnya, dan keduanya mengecualikan R7C8=2, R8C8=2. Hapus mereka setelah menarik keadaan kebenaran logis sementara.

Kedua kasus titik akhir menghabiskan alternatifnya, dan keduanya mengecualikan R7C8=2, R8C8=2. Hapus mereka setelah menarik keadaan kebenaran logis sementara. — Kedua kasus titik akhir menghabiskan alternatifnya, dan keduanya mengecualikan R7C8=2, R8C8=2. Hapus mereka setelah menarik keadaan kebenaran logis sementara.
G1: R4C8=2, R5C8=2

1: Grup OR A: setidaknya satu digit kandidat benar

Apa yang diizinkan

Kedua kasus titik akhir menghabiskan alternatifnya, dan keduanya mengecualikan R7C8=2, R8C8=2. Hapus mereka setelah menarik keadaan kebenaran logis sementara.

AIC berkelompok untuk satu angka (Single-Digit Grouped AIC) · Hilangkan target yang terlihat oleh titik akhir pemaksaan rantai.

Contoh langkah demi langkah · Beberapa grup

Contoh ini dimulai dari posisi perantara yang tersimpan. Kandidat mencakup penghapusan logis sebelumnya, bukan catatan otomatis yang baru dibuat.

Biru: bukti. Hijau: kesimpulan. Angka dicoret: kandidat yang dihapus. R1C1 berarti baris 1, kolom 1.

Langkah 1 · Dimana mencarinya

Di kotak 1, 8 hanya bisa masuk di R2C2, R3C1. Digit tersebut harus muncul satu kali di wilayah ini.

Di kotak 1, 8 hanya bisa masuk di R2C2, R3C1. Digit tersebut harus muncul satu kali di wilayah ini. — Di kotak 1, 8 hanya bisa masuk di R2C2, R3C1. Digit tersebut harus muncul satu kali di wilayah ini.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 2 · Penalaran

Di kotak 2, 8 hanya bisa masuk di R1C6, R2C4, R2C5. Digit tersebut harus muncul satu kali di wilayah ini.

Di kotak 2, 8 hanya bisa masuk di R1C6, R2C4, R2C5. Digit tersebut harus muncul satu kali di wilayah ini. — Di kotak 2, 8 hanya bisa masuk di R1C6, R2C4, R2C5. Digit tersebut harus muncul satu kali di wilayah ini.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 3 · Penalaran

Di baris 8, 8 hanya bisa masuk di R8C1, R8C2, R8C3, R8C6. Digit tersebut harus muncul satu kali di wilayah ini.

Di baris 8, 8 hanya bisa masuk di R8C1, R8C2, R8C3, R8C6. Digit tersebut harus muncul satu kali di wilayah ini. — Di baris 8, 8 hanya bisa masuk di R8C1, R8C2, R8C3, R8C6. Digit tersebut harus muncul satu kali di wilayah ini.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 4 · Beri nama grup digit kandidat OR

Kurung kurawal bernomor dan legenda menetapkan kelompok berikut: OR grup digit kandidat A = R2C4=8, R2C5=8, OR grup digit kandidat B = R8C1=8, R8C2=8, R8C3=8. Setiap kelompok adalah keadaan logis OR: setidaknya satu kandidat di dalamnya benar, tetapi bukan berarti semua anggotanya benar.

Kurung kurawal bernomor dan legenda menetapkan kelompok berikut: OR grup digit kandidat A = R2C4=8, R2C5=8, OR grup digit kandidat B = R8C1=8, R8C2=8, R8C3=8. Setiap kelompok adalah keadaan logis OR: setidaknya satu kandidat di dalamnya benar, tetapi bukan berarti semua anggotanya benar. — Kurung kurawal bernomor dan legenda menetapkan kelompok berikut: OR grup digit kandidat A = R2C4=8, R2C5=8, OR grup digit kandidat B = R8C1=8, R8C2=8, R8C3=8. Setiap kelompok adalah keadaan logis OR: setidaknya satu kandidat di dalamnya benar, tetapi bukan berarti semua anggotanya benar.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 5 · Penalaran

Cabang 1: misalkan R3C1=8 salah.

Cabang 1: misalkan R3C1=8 salah. — Cabang 1: misalkan R3C1=8 salah.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 6 · Kelompokkan tautan inferensi yang kuat: paksa pihak lain

Kasus 1: R3C1=8 salah, sehingga tautan inferensi kuat grup memaksa R2C2=8. Jika ini adalah grup OR, setidaknya salah satu digit kandidatnya benar.

Kasus 1: R3C1=8 salah, sehingga tautan inferensi kuat grup memaksa R2C2=8. Jika ini adalah grup OR, setidaknya salah satu digit kandidatnya benar. — Kasus 1: R3C1=8 salah, sehingga tautan inferensi kuat grup memaksa R2C2=8. Jika ini adalah grup OR, setidaknya salah satu digit kandidatnya benar.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 7 · Kelompokkan tautan inferensi lemah: kecualikan sisi yang berkonflik

R2C2=8 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R2C4=8, R2C5=8 salah.

R2C2=8 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R2C4=8, R2C5=8 salah. — R2C2=8 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R2C4=8, R2C5=8 salah.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 8 · Kelompokkan tautan inferensi yang kuat: satu sisi harus tetap ada

OR grup digit kandidat A salah, sehingga tautan inferensi kuat grup memaksa R1C6=8.

OR grup digit kandidat A salah, sehingga tautan inferensi kuat grup memaksa R1C6=8. — OR grup digit kandidat A salah, sehingga tautan inferensi kuat grup memaksa R1C6=8.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 9 · Kelompokkan tautan inferensi lemah: kecualikan sisi yang berkonflik

R1C6=8 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R8C6=8 salah.

R1C6=8 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R8C6=8 salah. — R1C6=8 benar sebagai keadaan kebenaran logis berantai, sehingga sisi saling eksklusif R8C6=8 salah.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 10 · Titik akhir tidak langsung tidak termasuk target

OR grup digit kandidat B benar sebagai keadaan kebenaran logis titik akhir, sehingga tidak termasuk target.

OR grup digit kandidat B benar sebagai keadaan kebenaran logis titik akhir, sehingga tidak termasuk target. — OR grup digit kandidat B benar sebagai keadaan kebenaran logis titik akhir, sehingga tidak termasuk target.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 11 · Tarik isian persegi panjang sebelumnya

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

Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya. — Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 12 · Kasus 2: titik akhir pertama benar

Titik akhir pertama R3C1=8 benar sebagai keadaan kebenaran logis OR, sehingga tidak termasuk target.

Titik akhir pertama R3C1=8 benar sebagai keadaan kebenaran logis OR, sehingga tidak termasuk target. — Titik akhir pertama R3C1=8 benar sebagai keadaan kebenaran logis OR, sehingga tidak termasuk target.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Langkah 13 · Kedua kasus titik akhir setuju

Kedua kasus titik akhir menghabiskan alternatifnya, dan keduanya mengecualikan R9C1=8. Hapus mereka setelah menarik keadaan kebenaran logis sementara.

Kedua kasus titik akhir menghabiskan alternatifnya, dan keduanya mengecualikan R9C1=8. Hapus mereka setelah menarik keadaan kebenaran logis sementara. — Kedua kasus titik akhir menghabiskan alternatifnya, dan keduanya mengecualikan R9C1=8. Hapus mereka setelah menarik keadaan kebenaran logis sementara.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Grup OR A: setidaknya satu digit kandidat benar · 2: Grup OR B: setidaknya satu digit kandidat benar

Apa yang diizinkan

Kedua kasus titik akhir menghabiskan alternatifnya, dan keduanya mengecualikan R9C1=8. Hapus mereka setelah menarik keadaan kebenaran logis sementara.

AIC berkelompok untuk satu angka (Single-Digit Grouped AIC) · Hilangkan target yang terlihat oleh titik akhir pemaksaan rantai.

Latihan

Pelajaran ini diadaptasi dari aplikasi Platon Sudoku. Baca contoh lengkap di sini, lalu lanjutkan belajar dan berlatih di aplikasi.

Lihat di Google Play