(b) V1 ∪ V2 = V (c) Any vertex in V1 ∩ V2 is an anchor in both V1 and V2

(Divide/merge) Given an anchored pattern P = (V, E ), the divide operation consists creating two patterns P1 = (V1, E 1), P2 = (V2, E 2) such that the following constraints are