En teoría de grafos , una orientación de un grafo no dirigido es una asignación de una dirección a cada borde, convirtiendo el grafo inicial en un grafo dirigido .
Un grafo dirigido se denomina grafo orientado si ninguno de sus pares de vértices está unido por dos aristas mutuamente simétricas. Entre los grafos dirigidos, los grafos orientados son aquellos que no tienen 2-ciclos (es decir, como máximo uno de ( x , y ) y ( y , x ) pueden ser flechas del grafo). [1]
Un torneo es una orientación de un grafo completo . Un poliárbol es una orientación de un árbol no dirigido . [2] La conjetura de Sumner establece que cada torneo con 2 n – 2 vértices contiene cada poliárbol con n vértices. [3]
El número de grafos orientados no isomorfos con n vértices (para n = 1, 2, 3, … ) es
Los torneos están en correspondencia uno a uno con los grafos dirigidos completos (grafos en los que hay una arista dirigida en una o ambas direcciones entre cada par de vértices distintos). Un grafo dirigido completo se puede convertir en un grafo orientado eliminando cada 2-ciclo, y a la inversa, un grafo orientado se puede convertir en un grafo dirigido completo agregando un 2-ciclo entre cada par de vértices que no sean puntos finales de una arista; estas correspondencias son biyectivas . Por lo tanto, la misma secuencia de números también resuelve el problema de enumeración de grafos para dígrafos completos. Hay una fórmula explícita pero complicada para los números en esta secuencia. [4]
Una orientación fuerte es una orientación que da como resultado un grafo fuertemente conexo . Las orientaciones totalmente cíclicas estrechamente relacionadas son orientaciones en las que cada arista pertenece al menos a un ciclo simple. Una orientación de un grafo no dirigido G es totalmente cíclica si y solo si es una orientación fuerte de cada componente conexo de G. El teorema de Robbins establece que un grafo tiene una orientación fuerte si y solo si está conexo por 2 aristas ; los grafos desconectados pueden tener orientaciones totalmente cíclicas, pero solo si no tienen puentes . [5]
Una orientación acíclica es una orientación que da como resultado un grafo acíclico dirigido . Todo grafo tiene una orientación acíclica; todas las orientaciones acíclicas pueden obtenerse colocando los vértices en una secuencia y luego dirigiendo cada arista desde el punto final anterior en la secuencia hasta el punto final posterior. El teorema de Gallai-Hasse-Roy-Vitaver establece que un grafo tiene una orientación acíclica en la que el camino más largo tiene como máximo k vértices si y solo si puede colorearse con como máximo k colores. [6] Las orientaciones acíclicas y las orientaciones totalmente cíclicas están relacionadas entre sí por la dualidad planar . Una orientación acíclica con una única fuente y un único sumidero se denomina orientación bipolar . [7]
Una orientación transitiva es una orientación tal que el grafo dirigido resultante es su propio cierre transitivo . Los grafos con orientaciones transitivas se denominan grafos de comparabilidad ; pueden definirse a partir de un conjunto parcialmente ordenado haciendo que dos elementos sean adyacentes siempre que sean comparables en el orden parcial. [8] Una orientación transitiva, si existe, se puede encontrar en tiempo lineal. [9] Sin embargo, probar si la orientación resultante (o cualquier orientación dada) es realmente transitiva requiere más tiempo, ya que es equivalente en complejidad a la multiplicación de matrices .
Una orientación euleriana de un grafo no dirigido es una orientación en la que cada vértice tiene el mismo grado de entrada y de salida. Las orientaciones eulerianas de los grafos de cuadrícula surgen en la mecánica estadística en la teoría de los modelos de tipo hielo . [10]
Una orientación pfaffiana tiene la propiedad de que ciertos ciclos de longitud par en el grafo tienen un número impar de aristas orientadas en cada una de las dos direcciones alrededor del ciclo. Siempre existen para grafos planares , pero no para otros grafos determinados. Se utilizan en el algoritmo FKT para contar las coincidencias perfectas. [11]