Machine-translated by Google. Questions are authored in English.
Top

Discussion

What is forward checking?

  • A.Checking the whole assignment for consistency after each step
  • B.Looking ahead several variables before making an assignment
  • C.Verifying that a solution exists before beginning the search
  • D.Removing values inconsistent with an assignment from neighbours' domains

Answer: D

When a variable is assigned, forward checking deletes conflicting values from the domains of the variables it constrains, and backtracks immediately if any domain becomes empty. It catches failures much earlier than plain backtracking and supplies the domain sizes the minimum remaining values heuristic needs. Full consistency checks, deeper lookahead and feasibility proofs are different operations. Inference interleaved with search, rather than performed once at the start, is the organising idea of the whole topic.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.