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

Discussion

What happens when forward checking empties a domain?

  • A.The domain is restored to its original contents and retried
  • B.The current assignment fails and the search backtracks
  • C.The variable is assigned a default value and the search continues
  • D.The constraint causing the emptying is removed from the problem

Answer: B

An empty domain means no value can be given to that variable under the current partial assignment, so the assignment cannot be extended to a solution and the search backtracks at once. Detecting that early is the whole point of forward checking. Defaults, constraint removal and restoration would each break correctness. Recognising a proof of failure, and acting on it immediately, is the mechanism by which inference saves search.

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

Post your comment

Please log in or register to post a comment.