A good way to monitor the algorithm to detect convergence
is to maintain a history list
of the last few values of . If there is no
improvement in for the duration of the history list, terminate
Note that because of pruning, etc, it is possible for
to go down.