Matriz unimodular

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En matemáticas, una matriz unimodular es una matriz cuadrada de enteros con determinante +1 ó -1.

Una matriz es totalmente unimodular, TUM , si cada submatriz cuadrada no singular (inversible) B es también unimodular. Por definición es consecuencia que una matriz totalmente unimodular este formada solo por los elementos -1, 0 y +1.

\begin{vmatrix}B\end{vmatrix} \in\ \{ {-1,0,1} \}

Ejemplo[editar]

La siguiente matriz es totalmente unimodular (TUM):

A=\begin{bmatrix}
-1 & -1 & 0 & 0 & 0 & +1\\
+1 & 0 & -1 & -1 & 0 & 0\\
0 & +1 & +1 & 0 & -1 & 0\\
0 & 0 & 0 & +1 & +1 & -1\\
\end{bmatrix}

Esta matriz surge como la matriz restrictiva de la formulación del problema lineal (sin la restricción ) del problema del flujo máximo en la siguiente red:


Esta matriz A tiene las siguientes propiedades:

  • todos sus elementos \in\ \{ {-1,0,1} \};
  • cualquier columna tiene como máximo dos elementos distintos de cero;
  • las columnas con dos elementos distintos de cero tienen elementos de distinto signo.

Estas propiedades son suficientes para que la matriz sea totalmente unimodular (TUM) (pero no son necesarias). Cualquier problema de red de flujo produciría una matriz restrictiva con la susodicha estructura (por esto es que cualquier problema de redes de flujo con capacidades acotadas enteras tiene un valor óptimo entero).

Teoremas[editar]

Primer teorema[editar]

Sea A una matriz totalmente unimodular y b entero, entonces el poliedro  P =\{x \ge \big| Ax=b \} tiene vertices enteros.

Segundo teorema[editar]

Sea A una matriz con a_{i,j} \in\ \,\{ {-1},0,1 \}\, \forall_{i,j}\, A es totalmente unimodular si:

1)Cada columna de A tiene como mucho dos elementos no nulos
2)Existe una partición (I_1,I_2)\, de las filas de A tal que cada columna con dos elementos no nulos tiene estos dos elementos pertenecientes a un conjunto I_1\, y I_2\, distintos sí y solo sí los dos elementos tienen el mismo signo.

Proposición[editar]

A\, es TUM \Longleftrightarrow A^T es TUM

Álgebra abstracta lineal[editar]

En álgebra abstracta, las matrices son consideradas con elementos de cualquier anillo, y no exactamente enteros. En este contexto, una matriz cuadrada de dimensiones m \times n (m \le \; n) es unimodular si el determinante de cada submatriz cuadrada no singular B es un anillo.

Referencias[editar]

Christos H. Papadimitriou and Kenneth Steiglitz, Combinatorial Optimization: Algorithms and Complexity, Section 13.2, Dover Publications, Mineola NY, 1998. ISBN 0-486-40258-4

Enlaces externos[editar]