backtracking_nqueens_example.cc File Reference

Reference example: N-Queens with DFS/backtracking. More...

#include <iostream>
#include <string>
#include <State_Search.H>
#include <tpl_array.H>

Include dependency graph for backtracking_nqueens_example.cc:

Go to the source code of this file.

Functions
int	main ()

Detailed Description

Reference example: N-Queens with DFS/backtracking.

Model summary:

• State: partial queen placement, one row at a time.
• Successor generator: every safe column in the next row.
• Terminal criterion: all rows are filled.

Build and run:

• cmake --build build --target backtracking_nqueens_example
• ./build/Examples/backtracking_nqueens_example

Definition in file backtracking_nqueens_example.cc.

Function Documentation

main()

int main

(

)

Definition at line 167 of file backtracking_nqueens_example.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::ExplorationPolicy::stop_at_first_solution.