TECNICA DEL BACKTRACKING
E’ una tecnica che estende la tecnica di forza bruta (ricerca esaustiva) attraverso l’introduzione di alcuni
controlli per verificare se la soluzione corrente è ammissibile ,ciò consente di ridurre lo spazio di ricerca. Nel
caso peggiore tale tecnica ricade nella stessa complessità di una tecnica di forza bruta,in generale la
complessità è sempre esponenziale.Una tipologia di problemi che possono essere facilmente risolvibili
tramite questa tecnica sono i problemi riguardanti l’assegnazione di un valore, preso da un dominio, a
ciascuno degli elementi di una soluzione.
Al contrario del metodo di forza bruta, che effettua il controllo di ammissibilità solo quando l’ipotetica
soluzione viene creata, la tecnica del BACKTRACKING verifica l’ammissibilità ogni qual volta viene inserito
un elemento all’interno della soluzione.
Per poter applicare la tecnica del Backtracking ad un problema devono valere le seguenti condizioni:
Lo spazio delle soluzioni deve essere finito (l’insieme delle possibili configurazioni da verificare
deve essere finito)
La soluzione può essere rappresentata tramite una sequenza di soluzioni parziali s1, s2, ..., sn
La dimensione (massima) della soluzione – n – è nota a priori
Il valore di ciascuna sotto-soluzione si deve appartenere ad un insieme finito di valori
ALGORITMO GENERALE
In questi due schemi, basta implementare le funzioni canAdd, add, remove, next e isComplete per come
richiesto dalla formulazione del problema per poter realizzare una tecnica di backtracking.
