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

Discussion

Does arc consistency guarantee a solution exists?

  • A.No, an arc consistent problem may still be unsatisfiable
  • B.Yes, arc consistency is equivalent to satisfiability
  • C.Yes, provided every domain remains non-empty
  • D.No, but only where the constraint graph contains a cycle

Answer: A

Arc consistency removes values that certainly cannot participate in a solution but does not establish that any complete assignment exists, and a problem may be arc consistent and have no solution at all. It is a necessary rather than a sufficient condition. Cycles do make the gap larger, since arc consistency is decisive for trees. A pruning technique that removes some failures and not all is still valuable, and knowing which it removes prevents it being trusted too far.

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

Post your comment

Please log in or register to post a comment.