Teknik Sudoku Tingkat Lanjut

Eliminasi, angka tunggal, pasangan telanjang, pasangan penunjuk — kalau semua itu sudah dicoba dan puzzle masih buntu, saatnya naik ke lapisan berikutnya. Empat teknik dalam artikel ini membuka jalan buntu di tingkat menengah dan ahli, masing-masing dari sudut yang berbeda.

X-Wing dan Ikan Pedang bertumpu pada simetri baris dan kolom. XY-Wing adalah rantai logis yang menghubungkan tiga sel. Rantai Paksa bukan tebakan — melainkan menelusuri kedua kemungkinan sekaligus hingga sampai pada satu kesimpulan tanpa kontradiksi. Keempatnya murni logika, tanpa menebak sedikit pun.

X-Wing bekerja di titik persilangan dua baris dan dua kolom. Namanya berasal dari bentuk huruf "X": ketika kandidat suatu angka di dua baris terkonsentrasi tepat di dua kolom yang sama, keempat sel itu membentuk sebuah X — dan angka tersebut bisa dieliminasi dari semua sel lain di kedua kolom itu.

Logikanya begini: angka ini di Baris 2 akan masuk ke Kolom 3 atau Kolom 7. Angka yang sama di Baris 6 juga akan masuk ke Kolom 3 atau Kolom 7. Kombinasi mana pun yang terjadi — sel-sel lain di Kolom 3 dan Kolom 7 tidak mungkin mengandung angka tersebut.

Contoh Visual — X-Wing

Penyelesaian Langkah demi Langkah

X-Wing Berbasis Kolom

X-Wing tidak terbatas pada baris — logika yang sama berlaku untuk kolom. Jika kandidat suatu angka di dua kolom terkonsentrasi tepat di dua baris yang sama, angka tersebut dieliminasi dari sel-sel lain di kedua baris itu. Arahnya berubah, logikanya identik.

Ikan Pedang adalah X-Wing yang diperluas ke tiga baris. X-Wing mencakup dua baris × dua kolom = empat sudut. Ikan Pedang mencakup tiga baris × tiga kolom = sembilan sudut potensial — tetapi tidak semua harus terisi. Yang penting: semua kandidat suatu angka di ketiga baris itu muat di paling banyak tiga kolom.

"Paling banyak" adalah kata kuncinya. Di salah satu dari tiga baris, angka itu boleh hanya ada di satu kolom — itu tidak membatalkan Ikan Pedang. Syaratnya: gabungan semua kandidat angka tersebut dari ketiga baris tidak boleh melebihi tiga kolom yang berbeda.

Contoh Visual — Ikan Pedang

Penyelesaian Langkah demi Langkah

XY-Wing tidak punya kesamaan dengan X-Wing selain namanya — logikanya sama sekali berbeda. Tiga sel, tiga daftar dengan dua kandidat, dan hubungan visibilitas di antara ketiganya — itulah seluruh teknisnya.

Istilahnya: satu sel pivot dan dua sel penjepit. Pivot melihat kedua penjepit. Kedua penjepit tidak harus saling melihat — tetapi mereka berbagi satu kandidat yang sama. Kandidat bersama itu dieliminasi dari semua sel yang terlihat oleh kedua penjepit sekaligus.

Struktur dan Logika

Kandidat sel pivot: {X, Y}. Penjepit pertama: {X, Z}. Penjepit kedua: {Y, Z}.

Mengapa Z dieliminasi? Pivot akan bernilai X atau Y. Jika pivot adalah X → penjepit pertama harus Z. Jika pivot adalah Y → penjepit kedua harus Z. Dalam kasus apa pun, dijamin salah satu penjepit akan mengandung Z. Oleh karena itu, tidak ada sel yang terlihat oleh kedua penjepit yang bisa mengandung Z.

Contoh Visual — XY-Wing

Penyelesaian Langkah demi Langkah

Ketika Lebih dari Satu Sel Terdampak

Kadang XY-Wing berdampak pada lebih dari satu sel — jika kedua penjepit melihat beberapa sel sekaligus, Z dieliminasi dari semuanya. Ini paling sering terjadi ketika salah satu penjepit berada di perbatasan sebuah blok.

Rantai Paksa bukan tebakan — melainkan menelusuri kedua kemungkinan sekaligus dan menunjukkan bahwa keduanya mengarah ke hasil yang sama. "Jika sel ini bernilai A → ini yang terjadi → kesimpulan: Z. Jika bernilai B → jalur berbeda → tapi tetap: Z." Kalau dua jalur membuka pintu yang sama, Z sudah pasti.

Secara struktur, teknik ini berbeda dari tiga teknik sebelumnya: alih-alih mengeliminasi kandidat, ia menggunakan rantai deduksi. Namun jangan samakan dengan menebak. Menebak mencoba satu kemungkinan dan mundur jika salah. Rantai Paksa menelusuri kedua cabang sampai habis lalu menurunkan kesimpulan bersama secara logis — tanpa satu langkah pun mundur.

Dua Jenis Rantai Paksa

Dua jenis yang paling umum adalah rantai paksa biner dan rantai paksa unit.

Rantai paksa biner: pilih sel dengan dua kandidat. Asumsikan nilainya A dan ikuti rantai eliminasi yang dihasilkan. Kemudian asumsikan B dan ulangi. Jika dalam kedua kasus sel yang sama mengambil nilai yang sama, nilai itu sudah pasti.

Rantai paksa unit: di suatu baris, kolom, atau blok, hanya ada dua posisi yang mungkin untuk angka tertentu. Asumsikan masing-masing posisi secara bergantian — jika dalam kedua kasus sel lain mengambil nilai yang sama, nilai itu sudah pasti.

Contoh Visual — Rantai Paksa Biner

Penerapan Langkah demi Langkah

Memilih teknik saat menghadapi kebuntuan bukan hal yang acak. Ada urutan yang jelas:

• 1Habiskan teknik dasar terlebih dahulu: angka tunggal, angka tunggal tersembunyi, pasangan telanjang, pasangan penunjuk. Kalau berhasil, teknik lanjutan tidak diperlukan.
• 2Lalu X-Wing: pindai baris demi baris untuk setiap angka. Jika kandidat di dua baris berimpit di dua kolom yang sama — X-Wing.
• 3Kemudian Ikan Pedang: jika X-Wing tidak ditemukan, perluas ke tiga baris. Jika kandidat dari tiga baris muat di tiga kolom — Ikan Pedang.
• 4XY-Wing: uji sel dengan dua kandidat sebagai pivot. Untuk setiap pivot, cari dua penjepit yang valid.
• 5Rantai Paksa sebagai pilihan terakhir: jika ada rantai pendek yang terlihat, coba. Rantai panjang tidak bisa ditelusuri tanpa catatan kandidat.

Penutup

Keempat teknik ini bertumpu pada fondasi yang sama: mempersempit secara sistematis ruang-ruang di mana angka tidak bisa masuk. X-Wing dan Ikan Pedang melakukannya lewat simetri dua atau tiga baris dan kolom. XY-Wing menjembatani tiga sel. Rantai Paksa menelusuri kedua jalur dan mengamati ke mana keduanya berujung.

Tidak satu pun dari keempat teknik ini melibatkan tebakan — tetapi masing-masing punya cara pandangnya sendiri. Pertama kali menemukan X-Wing, simetri itu tertanam di kepala selamanya. Dalam XY-Wing, hubungan pivot-penjepit menjadi sesuatu yang konkret dan terasa. Dengan Rantai Paksa — memegang dua cabang sekaligus dalam pikiran — proses itu mengubah cara membaca kotak sudoku secara permanen.