
Originariamente Scritto da
windwolfx
Proprio oggi ho studiato un esempio sulla riducibilà Karp polinomiale che riduceva il Problema della soddisfacibilita di CNF (forma congiuntiva normale) riducendolo ad un Problema di programazzione lineare 0-1, comunque sti esami faranno certo ragionare ed aumentare le capacità mnemonica ma sono troppo pressati a livello contenutistico, nel mio ci son tanti teoremi che pochi anno un nome gli altri un numero

, personalmente non trovo tanta difficoltà nella comprensione degli argomenti quanto nel ricordarmi a puntino tutti i formalismi necessari alle dimostrazioni che sono un infinità numerabile
