Matrices y soluciones bsicas

Consideremos los programas lineales en su forma matricial estndar, por ejemplo:

min cx
Ax = b
x 0

Donde A es una matriz de m filas (restricciones) y n columnas (variables), siendo n m.

Generalmente las restricciones aparecen en forma de desigualdad y son convertidas en
igualdades al introducir las variables de holgura, esto hace que la suposicin de que n
m est justificada. Adems se supondr que la matriz A tiene rango m; lo que quiere
decir que pueden seleccionarse m columnas de A de manera que la matriz que forman
tenga determinante no nulo. El hecho de exigir que el rango de la matriz A sea m implica
evitar que en el problema aparezcan restricciones redundantes o contradictorias. Las
restricciones redundantes pueden eliminarse de la formulacin del problema y las
contradictorias provocan que el espacio de soluciones factibles sea vaco y el problema
no tenga solucin.
Cada una de las submatrices de A con determinante distinto de cero (es decir,
inversibles) formadas seleccionando m columnas de A, se llama matriz bsica o matriz
de base. Si B es una de esas matrices, se dice que es una matriz bsica factible si el
vector resultante de multiplicar su inversa por el vector b tiene todas sus componentes
mayores o iguales que cero.
.
Cada matriz bsica B del programa lleva asociado un vector que se conoce como
solucin bsica; el proceso de construccin es el siguiente:
1. Se dividen las variables de decisin en dos bloques:
o Variables bsicas: las correspondientes a las columnas de A que forman
la matriz bsica B.
o Variables no bsicas: las restantes.
2. A las variables no bsicas se las da el valor cero.
3. Se resuelve el sistema Bx = b, donde x es el vector formado con las variables
bsicas y se asignan a estas variables la solucin obtenida.
Las soluciones bsicas se clasifican en:

Factibles: sus componentes son todas positivas o nulas.

Infactibles: alguna componente tiene un valor negativo.

Y, a su vez, en:

Degeneradas: cuando alguna de las variables bsicas tiene un valor nulo.

No degeneradas: cuando todas las variables bsicas son estrictamente positivas.

El nmero de soluciones bsicas de un problema lineal es siempre finito y como

mximo: nCm
donde m es el nmero de restricciones de igualdad y n el nmero de variables en su
forma estndar. ste es el nmero de posibles combinaciones para elegir m columnas
entre las n columnas existentes. Por supuesto, no siempre todas esas combinaciones dan
lugar a matrices con determinante no nulo.
A continuacin se presenta un ejemplo de localizacin de soluciones bsicas de un
programa lineal.

Ejemplo:
Se trata de encontrar las soluciones bsicas del problema
min 2X1+4X2+X3
2X1+2X2 <= 6
X1+4X2-X3 <= 12
X1,X2,X3 >= 0

y clasificarlas en factibles o infactibles, degeneradas o no degeneradas. En primer lugar,

debe formularse el programa en su forma estndar y obtener las correspondientes
matrices:

0 6

-1

1 12

Las matrices bsicas sern en este caso todas las submatrices inversibles formadas al
seleccionar 2 columnas de A.
Por ejemplo, la primera matriz bsica que puede construirse es la formada por las dos
primeras columnas de A:

2
1

2
4

En este caso, las variables bsicas son X1 y X2 y los valores que toman en la
correspondiente solucin bsica se obtienen resolviendo el sistema:
2X1+2X2 = 6
X1+4X2 = 12

La solucin de dicho sistema es X1=0 y X2=3. A las restantes variables, las no bsicas, se
las da el valor cero y la solucin bsica que se obtiene es X=(0,3,0,0,0). Las variables
bsicas son no negativas por tanto la solucin bsica es factible y es degenerada porque
la primera variable bsica es nula.
De igual manera se construyen el resto de soluciones bsicas, en este caso todas las
submatrices 2x2 son bsicas excepto la que forman las columnas tercera y quinta. En la
siguiente tabla se presentan todas las soluciones bsicas obtenidas.
Variables Variables no Matriz
bsicas
bsicas
bsica

Solucin
bsica

Tipo

X1 y X2

X3, X4 y X5

2
1

2
4

(0,3,0,0,0)

Factible
degenerada

X1 y X3

X2, X4 y X5

2
1

0
-1

(3,0,-9,0,0)

Infactible

X1 y X4

X2, X3 y X5

2
1

1
0

(12,0,0,18,0)

Infactible

X1 y X5

X2, X3 y X4

2
1

0
1

(3,0,0,0,9)

Factible no
degenerada

X2 y X3

X1, X4 y X5

2
4

0
-1

(0,3,0,0,0)

Factible
degenerada

X2 y X4

X1, X3 y X5

2
4

1
0

(0,3,0,0,0)

Factible
degenerada

X2 y X5

X1, X3 y X4

2
4

0
1

(0,3,0,0,0)

Factible
degenerada

X3 y X4

X1, X2 y X5

0
-1

1
0

(0,0,12,6,0)

Infactible

X4 y X5

X1, X2 y X3

1
0

0
1

(0,0,0,6,12)

Factible no
degenerada

Interpretacin geomtrica de las soluciones bsicas

Para comprender la importancia y el papel que desempean las soluciones bsicas
dentro de la Programacin Lineal es til estudiar un ejemplo sencillo que permita un
anlisis grfico.

Ejemplo:
Programa lineal
min X1-X2
2X1+X2 >= 4
X2 <= 3
X1,X2 >= 0

Forma estndar
min X1-X2
2X1+X2-X3 = 4
X2+X4 = 3
X1,X2,X3,X4 >= 0

Como se observa en la siguiente figura, el problema alcanza el mnimo en uno de los

vrtices, como era previsible, en concreto en el punto (1/2,3); en cambio, el mximo
no se alcanza en ningn punto.
Las soluciones bsicas de este problema se muestran de nuevo en la siguiente tabla:
Variables Variables Matriz
Solucin bsica
bsicas no bsicas bsica

Tipo

X1 y X2

X3 y X4

2
0

X1 y X4

X2 y X3

2
0

0
1

(2,0,0,3)

Factible no
degenerada

X2 y X3

X1 y X4

1
1

-1
0

(0,3,-1,0)

Infactible

X2 y X4

X1 y X3

1
1

0
1

(0,4,0,-1)

Infactible

X1 y X2

-1
0

0
1

(0,0,-4,3)

Infactible

X3 y X4

1
1

(1/2,3,0,0)

Factible no
degenerada

Por lo tanto, las dos nicas soluciones bsicas factibles son (1/2,3,0,0) y (2,0,0,3).
Obsrvese que las variables naturales de las dos soluciones bsicas factibles, coinciden
con los vrtices del espacio de soluciones factibles del programa lineal inicial.
Geomtricamente, las soluciones bsicas se obtienen resolviendo sistemas lineales de
ecuaciones, esto puede interpretarse como el clculo de intersecciones de aristas para
encontrar los vrtices.

El ejemplo anterior puede servir de pie para el siguiente teorema

Las soluciones bsicas factibles de un programa lineal dado en forma estndar se
corresponden con los vrtices del poltopo dado por las restricciones.
Teniendo en cuenta la propiedad ya comentada de los programas lineales segn la cual
el ptimo, si existe, debe alcanzarse sobre un vrtice del espacio, se llega al teorema
fundamental de la programacin lineal:
Teorema fundamental de la programacin lineal
Dado un programa lineal en forma estndar, si existe solucin ptima, sta se alcanza
al menos sobre una de las soluciones bsicas factibles.

Todo programa lineal puede reducirse entonces a la bsqueda de mnimos en un

conjunto finito de puntos (las soluciones bsicas factibles). Por supuesto encontrar todas
las soluciones bsicas de un programa lineal requiere de grandes esfuerzos de clculo,
nicamente resulta sencillo en problemas con pocas variables de decisin, como los
planteados en los ejemplos anteriores. El ms famoso de los mtodos de resolucin de
programas lineales (el mtodo Simplex) est basado en la localizacin de una solucin
bsica inicial y el paso de una a otra hasta encontrar la ptima.