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:
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.