Figure 2. Example of a search tree representing an atomic substitution (IMAGE)
Caption
In this search tree, three vertices out of eight are colored red in a cubic arrangement, representing the substitution of Figure 1. p(X) denotes the parent node of X, whereas C(X) denotes the set of children of X. Because of the symmetry of the cube, [p(X) and p(Y)], [X and Y] and [Z and W] are identical.
Credit
Kousuke Nakano from JAIST.
Usage Restrictions
none
License
Original content