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

Discussion

When must a systematic method be used rather than local search?

  • A.When unsatisfiability must be proved rather than merely suspected
  • B.When the problem contains more than a few hundred of the variables
  • C.When the constraints are binary rather than global
  • D.When the domains of the variables are very large

Answer: A

Verification, planning and design problems frequently require a proof that no solution exists, and only a complete method can supply one. Size, constraint arity and domain size affect which method is faster rather than which is capable. Asking what must be concluded from a negative result, before choosing a method, is a question that settles the choice immediately and is easily overlooked when only positive results are anticipated.

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

Post your comment

Please log in or register to post a comment.