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

Discussion

What is a cryptarithmetic puzzle as a constraint problem?

  • A.Each word is a variable whose domain is the possible numbers
  • B.The whole sum is one constraint over a single variable
  • C.Letters are variables with digit domains and columns give the constraints
  • D.Digits are variables and letters are the values assigned to them

Answer: C

Making each letter a variable over the digits, adding an all different constraint and writing one constraint per column with an auxiliary carry variable is the standard model. The carries are the modelling subtlety, since without them the column constraints cannot be written locally. The alternatives invert the roles or discard the structure. Introducing auxiliary variables to make constraints local is a technique that recurs throughout constraint modelling.

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

Post your comment

Please log in or register to post a comment.