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

Discussion

What does an integer programming approach contribute that propagation does not?

  • A.Strong global bounds from a linear relaxation
  • B.The ability to state constraints over discrete variables
  • C.A guarantee that the problem will be solved in polynomial time
  • D.A method for proving that no solution exists at all

Answer: A

Relaxing the integrality requirement gives a linear program whose optimum bounds the true one, and that global bound prunes in a way local propagation cannot. Constraint programming supplies stronger local reasoning about complex combinatorial structures. Both handle discrete variables and can prove infeasibility, and neither is polynomial in general. Two techniques whose strengths are complementary rather than overlapping are natural candidates for combination, which is what hybrid solvers do.

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

Post your comment

Please log in or register to post a comment.