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

Discussion

What is conflict directed backjumping?

  • A.Restarting the search from a random earlier assignment
  • B.Backtracking two levels at a time to save on recursion
  • C.Backtracking to the variable that caused the conflict
  • D.Jumping forward past variables with only one legal value

Answer: C

Plain backtracking undoes the most recent assignment even when it had nothing to do with the failure, whereas backjumping returns directly to a variable in the conflict set and skips the intervening irrelevant work. Forward jumping, restarts and fixed step backtracking are different techniques. Undoing the decision that actually caused a failure, rather than the most recent one, is an idea that reappears in satisfiability solvers as conflict driven learning.

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

Post your comment

Please log in or register to post a comment.