I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazioneall’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso o al relatore
…continua

Filtra per

Tutte le tipologie
Tutte le tipologie

Ordina

Filtra

Appunti di Ingegneria - Università della Calabria

Appunti compatti sui Constraint Satisfaction Problems: modellazione (vincoli tabellari/impliciti, hard/soft) ed esempi classici come Cryptarithmetic e Sudoku, con backtracking potenziato (Forward Checking, Arc Consistency/AC-3) ed euristiche MRV/Least-Constraining-Value, oltre a ricerca locale “min-conflicts” e programmazione dinamica. Include la parte strutturale: grafi/ipergrafi, aciclicità e join tree con algoritmo di Yannakakis, fino a tree decomposition/treewidth, generalized hypertree decomposition e nozioni FPT. Perfetto per ripasso rapido prima dell’esame.
...continua