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

Discussion

Why might a modeller try more than one encoding of the same problem?

  • A.The choice determines which programming language is required
  • B.Different encodings propagate with very different strength
  • C.One encoding may have solutions the other lacks entirely
  • D.Encodings differ in whether they can be solved at all

Answer: B

Solutions correspond exactly between valid encodings, but the inferences a solver can draw differ enormously, and a problem intractable in one formulation may be easy in another. Trying two or three encodings is normal practice in industrial modelling. Solvability and language are unaffected. That two logically equivalent statements of a problem can differ by orders of magnitude in solving time is the most surprising and most practically important fact in the subject.

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

Post your comment

Please log in or register to post a comment.