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

Discussion

Why are binary constraints given special attention?

  • A.Any constraint can in principle be reduced to binary form
  • B.Most real problems contain only binary constraints
  • C.Binary constraints are the only ones that can be propagated
  • D.Binary constraints always propagate more strongly than others

Answer: A

A higher arity constraint can be encoded with auxiliary variables into binary form, so the theory developed for the binary case covers everything in principle. In practice the encoding weakens propagation badly, which is why global constraints with their own propagators exist. Real problems abound in global constraints, propagation is not restricted to binary, and decomposition weakens rather than strengthens. A theoretical reduction that is a practical disaster is worth knowing about in both capacities.

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

Post your comment

Please log in or register to post a comment.