તે લાંબા સમયથી સાબિત કરી કરવામાં આવે છે કે શ્રેષ્ઠ ઉકેલ (જો કોઈ હોય તો) માટે બધા શોધ પગલાંઓ સમગ્ર અને મર્યાદિત સંખ્યામાં પૂર્ણ થાય છે.