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

Discussion

Where does the practical sweet spot of propagation lie?

  • A.Strong n consistency established before the search begins
  • B.Arc consistency, sometimes strengthened for particular constraints
  • C.Node consistency alone, since anything more would be too expensive
  • D.Full path consistency enforced after every assignment

Answer: B

Arc consistency prunes substantially at a cost that is polynomial and modest, and specialised propagators for global constraints add strength where it is worth having. Node consistency alone is far too weak, and the higher levels cost more than they save on most problems. Finding the level of inference at which the pruning gained exceeds the effort spent is an empirical question whose answer has been remarkably stable across the field.

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

Post your comment

Please log in or register to post a comment.