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

Discussion

What does the AC-3 algorithm do?

  • A.Checks that every constraint involves at most three of the variables
  • B.Achieves three levels of consistency in a single pass
  • C.Enforces arc consistency by repeatedly revising arcs in a queue
  • D.Assigns values to three variables at a time consistently

Answer: C

AC-3 keeps a queue of arcs, revises each by deleting unsupported values, and re-queues the arcs pointing at any variable whose domain changed, terminating when the queue empties or a domain does. Its complexity is cubic in the number of variables for binary constraints. The other options misread the numeral. A worklist algorithm that reprocesses only what a change could have affected is a pattern common to many propagation problems.

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

Post your comment

Please log in or register to post a comment.