Termination criterion
The iteration should stop when the selected pairs coincide with the best (high level) path
Let U be the number of selected pairs on the best path using Q, and V the number of selected pairs outside. Then stop if becomes 1, or stops to increase
An upper limit for the number of cycles must be defined