Investigación Operativa. Enero 2.

022
1. Considera el siguiente problema de programación lineal:
9
Mı́n z(x) = c1 x1 + c2 x2 + c3 x3 + c4 x4 >
>
>
>
s.a. x1 + a12 x2 + = b1 >
>
=
a22 x2 + x3 = b2
>
>
a32 x2 + x4 = b3 >
>
>
>
xj 0, j = 1, . . . , 4 ;

Se supone que bi 0, 8i, ası́ que el problema está en forma canónica.

Apliquemos el método del sı́mplex, usando las reglas de Dantzig, partiendo de dicha
forma canónica. ¿ Es posible que nos encontremos con un ciclo ?
(Justifica detalladamente la respuesta.)

2. Consideremos un problema de programación lineal escrito en forma estándar tal que

la matriz de los coeficientes del sistema tiene m filas, n columnas y rango m.

a) Si el problema es óptimo, ¿es cierto que en cada solución óptima básica de este
problema no puede haber más de m variables no nulas? ¿ Y en cada solución
básica que no sea óptima?
b) Si el problema fuera no degenerado (esto es, todas sus soluciones básicas tienen m
coordenadas no nulas), ¿podrı́a haber una solución no básica con m coordenadas
no nulas?

3. Considera el siguiente problema de programación lineal:

Mı́n z(x) = c1 x1 + c2 x2 + c3 x3
s.a. a1 x 1 + a2 x 2 + a3 x 3 = b
xj  kj , j = 1, . . . , 3
xj 0, j = 1, . . . , 3

Se supone que ci , ai , b 2 R y ki > 0, para todo i.

Sea x̄ una solución factible. Probad que x̄ es óptima si y sólo si existe un número real
⇡ tal que

a) Si j 2 {1, 2, 3} tal que cj ⇡aj < 0, entonces x¯j = kj

b) Si j 2 {1, 2, 3} tal que cj ⇡aj > 0, entonces x¯j = 0

Si tienestoda la asignatura hazlotodo É LÉELE

3 3puts
01 put
Si sólotienes el 2 parcial haz2.23 12
3 3 puts
 La forma canónicadada escrita en formadecuadroserá

i Éi
Eres
F bi 0 ba b
iii
Es la para t ara t Cy932 y µ µ ez
1 Si Ezo el cedro es óptimo
www.w Fúmate si eso y aireo Eris entonces

el problema es no acotado

ta
f
Si Eso y el mínimo cociente
En algún de los casos hemos podido
resolver
y
a ao naaaa papa a pana nacemos en un

tardcambiolitnosleraría
El problema sería Min E b La respuesta es No Si existiera una soló
se.AE YAEMmx
A m
y no básica con m coordenadas no nulas
usando la
demostración delteoremafundamentalde la
paga
a Una solución X es básita pordefinición nación lined encontraremos
una soluciónbásica
columnsdeA
si y sólo si el sistema devectores con r coordenadas no molas siendo ram Pero
tales que Iso es estoentraráen contradicciónconelenunciado
formado por
aquellos
Aj
libre Todosestosvectores están en R Portento Éiiiii

si r es el n devariables positivas en 5 r
contrario como bien
debe ser em pres de lo
sabemos losvectores Ai asociados a esas
variables sería ligado

solo
el duddelproblema dado
Obtengamos deholgura sabemos
que 5 esóptima si y
Max GE bro Kent KIT Katz
sea Toast TI E a
t
Ti Ti O E n 2,3
no
Toast I E G El norealdelquehabla el enunciado esto
Ta Ta T E O Veamos
que conél se cumplen lasdosimplicaciones
µ www.wam
diente a la iésimarestricción en 2,3 Si o X Ki
llamemos y
si a la variablede holgura corres
por 24 Si je412,3 y G To ajo Tiso pues
micas um
FEO XO
amo

El problema sería Min za Ctx a La respuesta es No Si existiera unasolución

s AYE temen
LA delteoremafundamentalde la
f
demostración

progr
lineal mación
unaencontraremos soluciónbásica

estoentraráen conelenunciado

iniiiiiiiii
contradicción

básicas teoremafundamentaldela
pl
dPodríahaber 3
el problema podráescribirseasí
Min 767 Ctx
Alto99
si
Agi b I o
el cambio lil llevará a unasolvalbásica si baja
en cuyocaso losdoscambios nit y12,3
lamatriz identidadpodríaestar enotraposición llevarían a la mismasolución pasodegenerado
Enforma de cuadro

xaaiaai La 39 solucióntendríaque ser X bi o bi que

I.iq
es una solución básica
seobtendríadel cuadroinicial con el cambio 2,3
Pero
ya
hemosdicho
ya en esecaso dicho cambio
una soluciónbásica si bajaba
yen
Sólollevaría a

ya g un
lo
estecaso XX
nos lleva a otrasolución básica Podríamosdecir
unsure cambiando el índice 1 porel 2 Ya
tendríamosdos

d Si hay un paso es porque

ii
taco Supongamos
que
ar so an so y

elegimos X comovariabledesalida esdecir da es parte el

Entonces
si llamamosb el vector de la derecha en el
siguientecuadro atieneque
bi ba baja Lo pues É
canónica
Portanto este cuadro no seríaunaforma