Text
Pemodelan sudoku sebagai block world problem
Sudoku adalah sejenis teka-teki logika yang tujuan akhirnya adalah mengisikan angka-angka 1 sampai dengan 9 ke dalam suatu kotak berukuran 9 x 9. Kotak ini memiliki 9 sub-kotak berukuran 3 x 3. Syarat teka-teki ini adalah tidak ada angka yang berulang pada setiap baris,kolom 1 atau sub-kotak. Teka-teki Sudoku termasuk ke dalam permasalahan kombinatorial (NP complete). Solusi untuk teka-teki ini dapat dicari dengan bermacam-macarn 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 dad model Sudoku sebagai block-world problem yang ditulis dalam notasi Temporal Logic of Adions (TLA).
Barcode | Tipe Koleksi | Nomor Panggil | Lokasi | Status | |
---|---|---|---|---|---|
135830 | R/SB/DIG - FTIS | Laporan Penelitian Dosen | 005.11 NUG p | Gdg9-Lt3 (LPD-LPM FTIS/INFO) | Tersedia namun tidak untuk dipinjamkan - No Loan |
Tidak tersedia versi lain