PEMODELAN SUDOKU SEBAGAI BLOCK WORLD PROBLEM
ABSTRACT: Sudoku adalah
sejenis teka-teki logika yang tujuan akhirnya adalah mengisikan angka-angka 1 sampai
dengan 9 ke dalam suatu kotak berukuran 9×9. Kotak ini memiliki 9 sub-kotak
berukuran 3 × 3. Syarat teka-teki ini adalah tidak ada angka yang berulang pada
setiap baris, kolom, atau sub-kotak. Teka-teki Sudoku termasuk ke dalam
permasalahan kombinatorial (NP complete). Solusi untuk teka-teki ini dapat
dicari dengan bermacam-macam cara seperti algoritma genetik [4], heuristik [1],
dan sebagainya. Pada penelitian ini, teka-teki Sudoku akan dicoba dipecahkan
dengan memodelkannya sebagai block-world problem. Pada block-world problem, terdapat
sejumlah balok pada meja dengan susunan tertentu. Balok-balok tersebut kemudian
diubah susunannya menjadi susunan balok akhir dengan bantuan dua jenis robot.
Hasil dari penelitian ini berupa spesifikasi formal dari model Sudoku sebagai
block-world problem yang ditulis dalam notasi Temporal Logic of Actions (TLA).
Penulis: Cecilia E Nugraheni,
Luciana Abednego
Kode Jurnal: jptindustridd130116
