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

Discussion

Why is strong n consistency not used in practice?

  • A.Establishing it costs as much as solving the problem
  • B.It applies only to problems with binary constraints
  • C.It requires every domain to contain the same values
  • D.It cannot be checked without first finding a solution

Answer: A

Enforcing consistency at every level up to the number of variables takes exponential time, so the theoretical prize of a backtrack free search is paid for in advance at the same price. In practice arc consistency, occasionally strengthened, is the sweet spot. Constraint arity, domain uniformity and solution knowledge are not the obstacle. A guarantee whose cost equals the cost of the thing it guarantees is a theoretical result rather than a practical technique, and recognising that is what keeps effort where it pays.

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

Post your comment

Please log in or register to post a comment.