S6 - 10 - Teoremas de Dirac y Ore - Resized
S6 - 10 - Teoremas de Dirac y Ore - Resized
S6 - 10 - Teoremas de Dirac y Ore - Resized
10 Teoremas de
Dirac y Ore
Aplicaciones de la
Teora de Grafos
a la vida real
En una cena hay 6 personas. Queremos sentarlas alrededor de una mesa redonda
de manera que conozcan a las dos personas que tienen al lado.
Ser posible si cada una de ellas conoce al menos a 3 personas?
Y si sabemos que se cumple que la suma de las personas que conocen
dos personas que no se conocen es mayor o igual que 6?
6.10. Teoremas de Dirac y Ore
Colas
Hamiltonianos
Cundo y cmo hallar ciclos/caminos Hamiltonianos?
Si hay vrtices de grado 2 se simplifica el problema ya que sus aristas adyacentes
estn en el ciclo Hamiltoniano.
Si de cada vrtice es adyacente a muchos otros, entonces tambin se puede
hallar un ciclo Hamiltoniano.
Teorema de Dirac
Dirac (1952).
Sea G=(V,E) un grafo no dirigido, simple y con al menos 3 vrtices, |V| = n 3.
Si cada vrtice tiene grado mayor o igual que n/2, entonces G es Hamiltoniano.
No se puede hallar un ciclo Hamiltoniano en un grafo con slo 2 vrtices aunque se
cumpla la condicin sobre los grados.
Teorema de Dirac
Dirac (1952).
Sea G=(V,E) un grafo no dirigido, simple y con al menos 3 vrtices, |V| = n 3.
Si cada vrtice tiene grado mayor o igual que n/2, entonces G es Hamiltoniano.
Los siguientes ejemplos muestran cmo la estimacin es bastante precisa.
Teorema de Dirac
Dirac (1952).
Sea G=(V,E) un grafo no dirigido, simple y con al menos 3 vrtices, |V| = n 3.
Si cada vrtice tiene grado mayor o igual que n/2, entonces G es Hamiltoniano.
Los siguientes ejemplos muestran cmo la estimacin es bastante precisa.
Teorema de Dirac
Dirac (1952).
Sea G=(V,E) un grafo no dirigido, simple y con al menos 3 vrtices, |V| = n 3.
Si cada vrtice tiene grado mayor o igual que n/2, entonces G es Hamiltoniano.
La condicin es suficiente pero no necesaria como muestra el siguiente ejemplo:
Teorema de Ore
El Teorema de Dirac se puede deducir como corolario del siguiente resultado.
Ore (1960).
Sea G=(V,E) un grafo no dirigido con al menos 3 vrtices, |V| = n 3.
Si para cada pareja de vrtices no adyacentes x,y se tiene que
d(x)+d(y) n,
entonces el grafo es Hamiltoniano.
Ejemplo:
Teorema de Ore
Ore (1960).
Sea G=(V,E) un grafo no dirigido con al menos 3 vrtices, |V| = n 3.
Si para cada pareja de vrtices no adyacentes x,y se tiene que
d(x)+d(y) n,
entonces el grafo es Hamiltoniano.
Las hiptesis no se pueden mejorar:
Teorema de Ore
Ore (1960).
Sea G=(V,E) un grafo no dirigido con al menos 3 vrtices, |V| = n 3.
Si para cada pareja de vrtices no adyacentes x,y se tiene que
d(x)+d(y) n,
entonces el grafo es Hamiltoniano.
Las hiptesis no se pueden mejorar:
Teorema de Ore
Ore (1960).
Sea G=(V,E) un grafo no dirigido con al menos 3 vrtices, |V| = n 3.
Si para cada pareja de vrtices no adyacentes x,y se tiene que
d(x)+d(y) n,
entonces el grafo es Hamiltoniano.
La condicin es suficiente pero no necesaria como muestra el siguiente ejemplo:
En este caso los vrtices son las personas y cada arista une a dos personas que se
conocen entre s.
La respuesta es afirmativa a ambas preguntas:
Ser posible si cada una de ellas conoce al menos a 3 personas?
En este caso los vrtices son las personas y cada arista une a dos personas que se
conocen entre s.
La respuesta es afirmativa a ambas preguntas:
Ser posible si cada una de ellas conoce al menos a 3 personas?
S, por el Teorema
de Dirac
S, por el Teorema
de Ore
Aadimos un vrtice adicional y lo conectamos con todos los dems, para as poder
aplicar el Teorema de Dirac.
6.10. Teoremas de Dirac y Ore
Aadimos un vrtice adicional y lo conectamos con todos los dems, para as poder
aplicar el Teorema de Dirac.
6.10. Teoremas de Dirac y Ore
Aadimos un vrtice adicional y lo conectamos con todos los dems, para as poder
aplicar el Teorema de Dirac.
6.10. Teoremas de Dirac y Ore
Colas
La modelizacin es como en los problemas anteriores, los vrtices son las personas
y cada arista une a dos personas que se conocen entre s.
Ser posible que hagan cola de manera que cada
uno de ellos conozca al que tiene delante y al que
tiene detrs?