2-Partition

Post date: May 6, 2013 11:24:27 PM

Adjunto encuentran unas notas sobre el problema "2-Partition" (es el mismo problema llamado 'bi-particionable' de los ejercicios de la semana 9) en donde:

• se plantea una solución recurrente
• se usa tabulación para evitar hacer cálculos repetidos (programación dinámica)

Esta explicación complementa la vista en clase, en especial, porque la tabulación se presenta con invariantes formales y no, únicamente, con los invariantes gráficos. Hay ejercicios que les ayudarán a entender en más detalle cómo funciona la técnica y para repasar el tema de verificación de programas iterativos. Les recomiendo ENFÁTICAMENTE que resuelvan esos ejercicios.

Adicionalmente, actualicé el código en Python para que la matriz de tabulación coincida con la de la especificación formal y se encuentra como archivo adjunto.