Académique Documents
Professionnel Documents
Culture Documents
Clase Auxiliar:
Matrices Totalmente Unimodulares
Diego A. Morán R.
in77o
15 de mayo de 2008
Contenidos
2 Algunos Ejercicios
3 Bibliografı́a
Repaso Determinante
Definición
El determinante de una matriz A ∈ Mnxn (R) se puede
calcular por cualquier fila i como:
n
X
|A| = (−1)i+j aij |Aij |
j=1
Repaso Determinante
Definiciones
Matriz TU
Una matriz A ∈ Mnxm (R) se dice totalmente unimodular
si:
Definiciones
Ejemplos de matrices TU
1 −1 −1 0 0 0
−1 0 0 1 0 1
0 1 0 −1 0 0
0 0 1 0 1 0
0 1 0 0 0
0 1 1 1 1
1 0 1 1 1
1 0 0 1 0
1 0 0 0 0
Definiciones
Ejemplos de matrices no TU
1 −1
1 1
1 1 0
0 1 1
1 0 1
Propiedades
Propiedad 1
Las siguientes proposiciones son equivalentes:
A es TU
At es TU
[A I] es TU (I es la matriz identidad)
[A − I] es TU (I es la matriz identidad)
[A − A] es TU
Propiedades
Propiedad Importantı́sima
El problema de programación lineal
máx{cx : Ax ≤ b, x ∈ Rn+ }
posee una solución óptima entera para todo vector b,
entero, para el cual el problema tenga un valor óptimo
finito
si y sólo sı́
A es TU
Propiedades
Condición suficiente 1
Si una matriz A cumple:
∀ i, j, aij ∈ {−1, 0, 1}
Cada columna contiene a lo más 2 coeficientes no
nulos
Se puede dividir el conjunto de las filas en 2
conjuntos disjuntos M1 , M2 tales que:
X X
aij = aij
i∈M1 i∈M2
Propiedades
Condición suficiente 2
Si una matriz A cumple:
∀ i, j, aij ∈ {−1, 0, 1}
Cualquier subconjunto de las filas se puede dividir en
2 subconjuntos disjuntos M1 , M2 , tal que
X X
aij − aij ≤ 1
i∈M1 i∈M2
para cualquier columna j
entonces A es TU.
Problemas
Problemas de matrices TU
P1 Sea A una matriz con coeficientes en {−1, 0, 1},
cuyas columnas tienen a lo más un 1 y a lo más un
−1. Pruebe que A es Totalmente Unimodular (TU).
Problemas
Problemas de formulaciones
P3 ¿Cuál de las siguientes formulaciones, que modelan
el mismo problema, es mejor? Argumente.
a) b)
X X
mı́n cij xij mı́n cij xij
i,j i,j
s.a. s.a.
X X
∀i xij = 1 ∀i xij = 1
j j
X
∀ i 6= k, ∀ j xij + xkj ≤ 1 ∀j xij ≤ 1
∀i, j xij ∈ {0, 1} i
∀i, j xij ∈ {0, 1}
Libros
Textos consultados