Parallel N Queens Assignment

From CSE231 Wiki
Jump to navigation Jump to search

Previous Group Warm Up

Be sure to complete Sequential N-Queens before attempting this exercise.

Motivation

Not everything in the world should be divided and conquered. Backtracking is a powerful technique which can be readily parallelized. We will gain experience with backtracking by solving the N-Queens problem sequentially and in parallel.

N-Queens in particular can be used to explain the call stack as the chessboard *IS* the call stack.

Example solution of N-Queens when n equals 8

Reference

Optional

empty()
of(value)
get()
isPresent()
isEmpty()

Background

The n-queens problem is a fundamental coding puzzle which asks: how can N queens be placed on an NxN chessboard so that they cannot attack each other? In chess, a queen can attack horizontally, vertically, and diagonally across the board. Thus, to solve the n-queens problem, we must effectively figure out how to place the queens in such a way that no two of them occupy the same row, column, or diagonal. We will be building a method that finds the total number of solutions for n-queens for any given n.

Code To Investigate

DefaultQueenLocations

DefaultQueenLocations(other, row, col)

This constuctor will prove useful for a method you will need to implement on DefaultQueenLocations. It constructs a new instance of DefaultQueenLocations from another instance of DefaultQueenLocations with an additional queen added to a row and column.

	private DefaultQueenLocations(DefaultQueenLocations other, int row, int col) {
		if (other.isLocationThreatFree(row, col)) {
			int boardSize = other.boardSize();
			if (row < 0 || row >= boardSize) {
				throw new IllegalArgumentException("row " + row + " is not in range [0, " + boardSize + ")");
			}
			if (col < 0 || col >= boardSize) {
				throw new IllegalArgumentException("col " + col + " is not in range [0, " + boardSize + ")");
			}
			locations = new Optional[boardSize];
			for (int r = 0; r < other.boardSize(); ++r) {
				if (r == row) {
					locations[row] = Optional.of(col);
				} else {
					locations[r] = other.columnOfQueenInRow(r);
				}
			}
		} else {
			throw new IllegalArgumentException(
					"Not threat free: (row=" + row + ", column=" + col + ")\nOther board:\n" + other.toString());
		}
	}

isLocationThreatFree(row, col)

This method is useful when determining where (if anywhere) an additional queen can be placed.

	@Override
	public boolean isLocationThreatFree(int row, int col) {
		int boardSize = this.boardSize();
		for (int r = 0; r < boardSize; ++r) {
			Optional<Integer> columnOfQueenInRowR = this.columnOfQueenInRow(r);
			if (columnOfQueenInRowR.isPresent()) {
				int c = columnOfQueenInRowR.get();

				// is in same row
				if (r == row) {
					// note: we do not check if it is the same column, we return false
					return false;
				}

				// is in same column
				if (c == col) {
					return false;
				}

				// is in same diagonal A
				if (row - r == c - col) {
					return false;
				}

				// is in same diagonal B
				if (row - r == col - c) {
					return false;
				}
			}
		}
		return true;
	}

Code To Implement

Board State: DefaultImmutableQueenLocations

class: DefaultQueenLocations.java Java.png
methods: createNext
getBoardSize
getColumnOfQueenInRow
getCandidateColumnsInRow
package: nqueens.lab
source folder: student/src/main/java

createNext(row,col)

method: public DefaultQueenLocations createNext(int row, int col) Sequential.svg (sequential implementation only)

There are two constructors for this class. A public one which creates a fresh new board state with no queens yet placed. and a private one which creates a new board with the state of a given board which is further constrained by a new queen in the next row. You need to create a new instance using one of these two constructors. Which one is it?

Consider this example program which creates a valid 4-queens solution:

		int boardSize = 4;
		QueenLocations board0 = new DefaultQueenLocations(boardSize);
		QueenLocations board1 = board0.createNext(0, 1);
		QueenLocations board2 = board1.createNext(1, 3);
		QueenLocations board3 = board2.createNext(2, 0);
		QueenLocations board4 = board3.createNext(3, 2);
		System.out.println(board4);


Which board is used to create the next board?

boardSize()

method: public int boardSize() Sequential.svg (sequential implementation only)

Note that we will refer to the standard 8x8 chessboard's size as 8 and not 64.

columnOfQueenInRow(row)

method: public Optional<Integer> columnOfQueenInRow(int row) Sequential.svg (sequential implementation only)

For an 8x8 board with queens placed in (row=0, col=1), (row=1, col=6), and (row=2, col=4)

Queens in rows 012.png

candidateColumnsInRow(row)

method: public List<Integer> candidateColumnsInRow(int row) Sequential.svg (sequential implementation only)

For an 8x8 board with a single queen placed in (row=0, col=4)

Queen r0 c4.png

  • candidateColumnsInRow(0) returns []
  • candidateColumnsInRow(1) returns [0,1,2,6,7]
  • candidateColumnsInRow(2) returns [0,1,3,5,7]
  • candidateColumnsInRow(3) returns [0,2,3,5,6]
  • candidateColumnsInRow(4) returns [1,2,3,5,6,7]
  • candidateColumnsInRow(5) returns [0,1,2,3,5,6,7]
  • candidateColumnsInRow(6) returns [0,1,2,3,5,6,7]
  • candidateColumnsInRow(7) returns [0,1,2,3,5,6,7]

Note: the provided isLocationThreatFree(row, col) method should be helpful.

ParallelNQueensSolutionCounter

class: ParallelNQueensSolutionCounter.java Java.png
methods: constructor
queenLocationsCreator
searchForSolutions
countSolutions
package: nqueens.parallel.exercise
source folder: student/src/main/java

ParallelNQueensSolutionCounter(queenLocationsCreator)

The constructor is passed a queenLocationsCreator. Hang onto it in an instance variable.

IntFunction<QueenLocations> queenLocationsCreator()

Simply return the value in the queenLocationsCreator instance variable.

searchForSolutions(queenLocations, row)

method: private static int searchForSolutions(QueenLocations queenLocations, int row) Parallel.svg (parallel implementation required)

Note: as QueenLocations is immutable, you will need to create a new instance of the object whenever you move on from one row to the next. This is where createNext comes in.

Employ backtracking to search for all possible solutions.

All good recursive algorithms need conditions at which to stop. Backtracking has two: 1) when a solution is found and 2) when the space has constrained to the point of hopelessness. How will you handle each of these conditions?

What can be performed in parallel?

countSolutions(boardSize)

Use the apply method on queenLocationsCreator to create a new board.

Pass that board along with the appropriate row to begin your search to searchForSolutions to solve this problem.

Testing

class: __NQueensTestSuite.java Junit.png
package: nqueens.parallel.exercise
source folder: testing/src/test/java
class: _QueenLocationsTestSuite.java Junit.png
package: nqueens.parallel.exercise
source folder: testing/src/test/java
class: _ParallelNQueensSolutionCountTestSuite.java Junit.png
package: nqueens.parallel.exercise
source folder: testing/src/test/java