Question 25
CONSTRAINT SATISFACTION
Consider a CSP over 3 variables A, B, C, where the domains and constraints are:
where, mod(n,d) returns the remainder after dividing integer n by integer d, for example, mod(8,3)=2, mod(12,3)=0, mod(16,3)=1.
Compute the three constraints such that the values are from respective domains, draw the constraint graph and matching-diagram, then answer the sub-questions.
The Waltz Algorithm __________
can process 2D drawings showing cracks and shadows
can process vertices with more than 3 edges
cannot process objects with cracks and shadows
can only process trihedral objects without cracks or shadows
can detect and remove cracks and shadows from the 2D line drawing
runs in time proportional to log(Edge Count) + log(Vertex Count)