Problema ANSI C

[angel881]

Sxusate sono poco pratico e vorrei delle dritte per svolgere questo programma:

Scrivere un programma ANSI C che acquisisce una formula logica in forma normale congiuntiva e stabilisce se la formula è soddisfacibile, cioè se esiste un assegnamento di valori di verità alle variabili presenti nella formula che rende la formula vera.

[david_e1]

Spostato in Informatica.

[_Tipper]

Il problema non è proprio dei più semplici (è NP-completo)...

Potresti usare o un algoritmo di ricerca globale, come il DPLL (Davis-Putnam-Logeman-Loveland), una sorta di backtracking con tre euristiche, oppure qualche algoritmo di ricerca locale, WalkSat o G-Sat, che però non sono completi, e potrebbero non trovare la soluzione, anche quando questa esiste.

Non ti sto a spiegare come funzionano gli algoritmi, basta cercare con Google...