We can reduce the size of the search tree by using the symmetries of the problem. This is generally true.