Define a function
unique-pairs that, given an integer , generates the sequence of pairs with . Use
unique-pairs to simplify the definition of
prime-sum-pairs given in the previous section.
Write a function to find all ordered triples of distinct positive integers , , and less than or equal to a given integer that sum to a given integer .
Figure 2.8: A solution to the eight-queens puzzle.
The "eight-queens puzzle" asks how to place eight queens on a chessboard so that no queen is in check from any other (i.e., no two queens are in the same row, column, or diagonal). One possible solution is shown in figure 2.8. One way to solve the puzzle is to work across the board, placing a queen in each column. Once we have placed queens, we must place the th queen in a position where it does not check any of the queens already on the board. We can formulate this approach recursively: Assume that we have already generated the sequence of all possible ways to place queens in the first columns of the board. For each of these ways, generate an extended set of positions by placing a queen in each row of the th column. Now filter these, keeping only the positions for which the queen in the th column is safe with respect to the other queens. This produces the sequence of all ways to place queens in the first columns. By continuing this process, we will produce not only one solution, but all solutions to the puzzle.
We implement this solution as a function
queens/1, which returns a sequence of all solutions to the problem of placing queens on an chessboard.
queen/1s another function,
queen-cols/1, that returns the sequence of all ways to place queens in the first columns of the board.
(defun queens (board-size) (queen-cols board-size)) (defun queen-cols (k) (if (== k 0) (empty-board) (lists:filter (lambda (positions) (safe? k positions)) (flatmap (lambda (rest-of-queens) (lists:map (lambda (new-row) (adjoin-position new-row k rest-of-queens)) (enumerate-interval 1 board-size))) (queen-cols (- k 1))))))
In this function
rest-of-queens is a way to place queens in the first columns, and
new-row is a proposed row in which to place the queen for the th column. Complete the program by implementing the representation for sets of board positions, including the procedure
adjoin-position, which adjoins a new row-column position to a set of positions, and
empty-board, which represents an empty set of positions. You must also write the procedure
safe?/2, which determines for a set of positions, whether the queen in the kth column is safe with respect to the others. (Note that we need only check whether the new queen is safe -- the other queens are already guaranteed safe with respect to each other.)
Louis Reasoner is having a terrible time doing exercise 2.42. His
queens/1 function seems to work, but it runs extremely slowly. (Louis never does manage to wait long enough for it to solve even the 6× 6 case.) When Louis asks Eva Lu Ator for help, she points out that he has interchanged the order of the nested mappings in the
flatmap, writing it as
(flatmap (lambda (new-row) (lists:map (lambda (rest-of-queens) (adjoin-position new-row k rest-of-queens)) (queen-cols (- k 1)))) (enumerate-interval 1 board-size))
Explain why this interchange makes the program run slowly. Estimate how long it will take Louis's program to solve the eight-queens puzzle, assuming that the program in exercise 2.42 solves the puzzle in time .