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

Discussion

What is a redundant constraint?

  • A.One that no assignment can ever violate
  • B.One that has been added by mistake to the model
  • C.One implied by the others but improving propagation
  • D.One that duplicates another constraint exactly

Answer: C

A constraint that follows logically from the others adds no solutions and removes none, but may allow a propagator to make deductions the original constraints could not reach locally. Adding such constraints deliberately is a standard modelling technique. Exact duplicates, vacuous constraints and errors are different things. That adding information which is logically redundant can be computationally valuable is counter-intuitive until propagation is recognised as local rather than global reasoning.

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

Post your comment

Please log in or register to post a comment.