Question: 4. Consider the complexity for generalized arc consistency beyond the binary case considered in the text. Suppose there are n variables, c constraints, where each
4. Consider the complexity for generalized arc consistency beyond the binary case considered in the text. Suppose there are n variables, c constraints, where each constraint involves k variables, and the domain of each variable is of size
d. How many arcs are there? What is the worst-case cost of checking one arc as a function of
c, k and d? How many times must an arc be checked?
Based on this, what is the time complexity of GAC as a function of
c, k and d? What is the space complexity?
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
