Un possibile campo di applicazione degli alberi è la valutazione di espressioni in particolar modo delle espressioni logiche. Ovvero, data un'espressione logica determinare se e quali valori dei suoi operandi la rendono vera: problema della soddisfacibilità (satisfiability problem).
| Previous slide | Next slide | Back to the index | View Graphic Version |
Occorre:
generare tutte le combinazioni possibili e verificarle
la cosa più sensata è aggiungere un campo alla struttura dati contenente il valore dell'espressione e quindi ricorsivamente valutarla in questo caso ricadiamo in O(g*2^n) con g tempo necessario per la sostituzione dei dati.
Si utilizza un attraversamento postorder in cui si può utilizzare uno switch sul valore del nodo (che assumera vero. falso, or, not, and).