The challenge is to set N queens on

The challenge is to set N queens on an NxN grid so that no queen can "take" any other queen. Queens can move horizontally, vertically, or along a (45%) diagonal. The following diagram shows a solution for N=4 queens.

A solution to this puzzle can be represented as a special permutation of the list [1,2,3,4]. For example, the solution pictured above can be represented as [3,1,4,2], meaning that, in the first row place a queen in column 3, in the second row place a queen in column 1, etc. To test whether a given permutation is a solution, one needs to calculate whether the permutation has (or represents a situation where) two or more queens lie on the same diagonal. The representation itself prevents two or more queens in the same row or column. Two queens are on the same / diagonal if and only if the sum of the row and column is the same for each; they are on the same diagonal if and only if the difference of their row and column is the same number. The following Prolog program has the details; assume that predicates 'perm' and 'takeout' are defined as in section 2.7.

The last goal reflects the fact that there are 92 distinct solutions to the queens challenge puzzle for an 8x8 board. One inefficiency that this program suffers is that each permutation is completely calculated before it is checked to see whether it represents a solution to the puzzle. It is easy to see that this is not necessary. For example, suppose that a "partial solution" P = [1,3,2, ...] is up for consideration. The row and column calculations show already the "2" is not a safe move! A solution that avoids this inefficiency is considered in section 2.13.

Hasil (Bahasa Indonesia) 1:

Tantangannya adalah untuk mengatur N queens pada grid NxN sehingga Ratu tidak dapat "mengambil" Ratu lain apapun. Queens dapat bergerak horizontal, vertikal, atau sepanjang diagonal (45%). Diagram berikut menunjukkan solusi untuk N = 4 queens.Solusi untuk teka-teki ini dapat digambarkan sebagai permutasi khusus Daftar [1,2,3,4]. Sebagai contoh, solusi yang digambarkan di atas dapat diwakili sebagai [3,1,4,2], berarti bahwa, pada baris pertama tempat Ratu di 3 kolom, di tempat baris kedua Ratu dalam kolom 1, dll. Untuk menguji apakah permutasi diberikan adalah solusi, salah satu kebutuhan untuk menghitung apakah permutasi memiliki (atau mewakili situasi yang mana) dua atau lebih queens berbohong pada diagonal sama. Representasi itu sendiri mencegah Ratu dua atau lebih di baris yang sama atau kolom. Dua queens berada di sama / diagonal jika dan hanya jika jumlah baris dan kolom adalah sama untuk masing-masing; mereka berada di sama diagonal jika dan hanya jika perbedaan mereka baris dan kolom adalah nomor yang sama. Program Prolog berikut memiliki rincian; berasumsi bahwa predikat 'perm' dan 'bungkus' didefinisikan dalam bagian 2.7.Tujuan terakhir mencerminkan fakta bahwa ada 92 berbeda solusi queens tantangan teka-teki untuk 8 x 8 papan. Inefisiensi satu yang menderita program ini adalah bahwa setiap permutasi benar-benar dihitung sebelum ia akan diperiksa untuk melihat apakah ini merupakan solusi teka-teki. Sangat mudah untuk melihat bahwa hal ini tidak diperlukan. Sebagai contoh, menganggap bahwa "solusi parsial" P = [1,3,2,...] untuk pertimbangan. Perhitungan baris dan kolom menunjukkan sudah "2" tidak aman bergerak! Solusi yang menghindari inefisiensi ini dianggap bagian 2.13.