### 3.7.9. Alpha-acyclic constraint network(3)

Alpha-acyclic constraint network(3) denotes an $\alpha$ -acyclic constraint network (see alpha -acyclic constraint network(2)) such that, for any pair of constraints, the two sets of involved variables share at most three variables.