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

Discussion

What does forward checking fail to detect?

  • A.Inconsistency between two unassigned variables
  • B.An assignment that directly violates a constraint
  • C.A domain becoming empty after an assignment
  • D.A variable with no constraints on it at all

Answer: A

Forward checking propagates only from the assigned variable to its neighbours, so two unassigned variables left with incompatible domains are not noticed until one of them is reached. Arc consistency propagates further and catches exactly that case. Direct violations and empty domains are precisely what it does detect. Knowing where a technique stops looking is what identifies the next technique in the sequence and explains why it exists.

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

Post your comment

Please log in or register to post a comment.