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

Discussion

What is a solver's restart strategy?

  • A.Restarting the propagation queue whenever a domain changes
  • B.Reordering the variables after every failed assignment
  • C.Beginning the search again from the last solution found
  • D.Abandoning a search that is going badly and starting again

Answer: D

Backtracking search can commit early to a poor branch and spend an enormous time in it, and restarting with different randomised choices, while keeping the learned no-goods, escapes that. Geometric or Luby schedules govern when to restart. Queue management, reordering and warm starting are different mechanisms. Abandoning work that is going badly, while retaining what was learned from it, converts a heavy tailed runtime distribution into a manageable one.

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

Post your comment

Please log in or register to post a comment.