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

Discussion

Why is measurement essential when developing a constraint model?

  • A.Measurement is the only way to check the model is correct
  • B.The effect of a modelling change is hard to predict in advance
  • C.The solver reports its own efficiency automatically
  • D.Regulations require solving times to be documented

Answer: B

Whether an implied constraint pays for its propagation cost, or an encoding propagates better, depends on the instance in ways no theory reliably predicts, so alternatives are tried and timed. Correctness is established by reasoning and testing rather than by timing. Automatic reporting and regulation are not the argument. A field in which the theory constrains but does not determine the best choice is one where disciplined experiment is part of the methodology.

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

Post your comment

Please log in or register to post a comment.