Órdenes léxicos dobles de matrices

Toda matriz tiene un orden léxico doble, un orden de las filas y columnas de manera que los vectores de fila son crecientes léxicamente (o "lexicográficamente") y los vectores de columna son crecientes léxicamente. Todo grafo tiene un orden léxico: un orden de vértices que hace que la matriz de vecindario sea doblemente léxica. Se proporciona un algoritmo de ordenación léxica doble de tiempo casi lineal. Los órdenes léxicos dobles unifican los órdenes que caracterizan ciertas clases de matrices y grafos, incluyendo matrices totalmente balanceadas, matrices de subárbol y grafos cordales.