Analyzing Landscapes of CSP
exhaustively analyze the landscape of the state-space formed by the evaluation value of each state
- solution reachability
- local-minimum: no neighboring state is better than itself.
- strict local-minimum: all neighbors are worse than itself.
- non-strict local-minimum: some neighbor is as good as itself.
important for developing better hill-climbing algorithms