Representación binaria de variables enteras en general (I)

Supóngase que se tiene un problema de programación entera pura en el que la mayoría de las variables son binarias, pero la presencia de algunas variables enteras generales evita que se pueda usara el eficiente algoritmo de programación entera binaria que ahora se conoce. Una manera de salvar esta dificultad es usar la representación binaria para cada una de estas variables enteras generales,. En particular, si las cotas de una variable entera x son;

en donde las variables yi son variables binarias (auxiliares). Si se sustituye esta representación binaria por cada variable entera general (con un conjunto diferente de variables binarias auxiliares para cada una), el problema completo se reduce a un modelo de PE.