Lezione del 04/12/2008

Problemi decisionali. Riduzioni polinomiali tra problemi decisionali. L'algoritmo per la verifica della forte connettivita' di un grafo diretto come riduzione polinomiale dal problema della verifica dell'esistenza di una arborescenza coprente. Proprieta' delle riduzioni polinomiali.