Salve. Sul libro java dal quale sto studiando, viene accennato il backtracking ricorsivo e vengono dati degli esercizi da svolgere senza prima dare qualche dimostrazione. Ora quindi, non ho ben capito come è strutturato un metodo che utilizza il backtracking ricorsivo, non c'è qualcuno che possa farmi un piccolo esempio giusto per farmi qualche idea?
Fai finta che devi valutare tutti i possibili valori di verita' dell'espressione
x and y
parti dalla x e gli assegni 1, poi passi alla y e le assegni 1.Dalla y non puoi piu' procedere ad altre variabili quindi cambi il valore e provi per y = 0.
Hai terminato i tentativi con y allora ricorsivamente torni indietro alla x e stavolta provi con x = 0, a questo punto ritorni alla y e provi prima per y = 1 (e x = 0) e poi per y = 0 (sempre con x = 0).