Algoritmo de ramificación y acotamiento para programación entera mixta (I)

Ahora se estudiará el problema general de programación entera mixta, PEM, en donde algunas variables (por ejemplo I de ellas) están restringidas a valores enteros (pero no necesariamente  sólo 0 o 1), y el resto son variables continuas comunes. Por conveniencia en la notación, se ordenarán estas variables de manera que las primeras I de ellas sean variables con restricción a enteros. La forma general del problema que se va a estudiar es: