Sea G un simple gráfico plano conectado con menos de 30 aristas. ¿Cómo puedo mostrar que un gráfico G contiene un nodo cuyo grado es máximo 4?

El ‘truco’ en este problema es considerar el grado promedio de la gráfica y argumentar que es estrictamente menor que 5. Si puede mostrar esto, puede aplicar el principio de Pigeonhole para concluir que hay un vértice de grado en más 4, que es lo que quieres.

Reclamación
Deje que [math] G (V, E) [/ math] sea un gráfico plano conectado tal que [math] | E | <30 [/ math], luego
[matemáticas] 2 | E | <5 | V | [/ matemáticas]
(Tenga en cuenta que esta afirmación implica inmediatamente que el grado promedio es estrictamente menor que 5 ya que la fórmula de la suma de grados nos dice que [matemáticas] \ sum_ {v \ in V (G)} ^ {} deg (v) = 2 | E | [/mates])

Prueba
El reclamo se puede verificar fácilmente para [matemáticas] | V | \ le 2 [/ matemáticas]
Supongamos, en aras de la contradicción, que [matemáticas] 2 | E | \ ge 5 | V | [/ math] y [math] | V | > 2 [/ matemáticas]
Dado que el gráfico está conectado y es plano, y [matemáticas] | V | > 2 [/ matemáticas], sabemos que [matemáticas] | E | \ le 3 | V | -6 [/ matemáticas]
Por lo tanto, [matemáticas] 5 | V | \ le 2 | E | \ le 2 (3 | V | -6) [/ matemáticas]
De la desigualdad anterior, [matemáticas] | V | \ ge 12 [/ matemáticas]

Del supuesto anterior, [matemáticas] 2 | E | \ ge 5 | V | [/ matemáticas]
Entonces, [matemáticas] 2 | E | \ ge 5 | V | \ ge 5 (12) = 60 [/ matemáticas]

Por lo tanto,
[matemáticas] | E | \ ge 30 [/ matemáticas]

Lo que contradice el hecho de que [matemáticas] | E | <30 [/ matemáticas]

(También puede probar esto sin invocar el principio del casillero, argumentando que si todos los grados de vértice de un gráfico plano son al menos 5, entonces el número de aristas es al menos 30. Esta prueba sigue la misma estructura que la prueba presentada anteriormente. Simplemente toma la suma de todos los grados y tiene la desigualdad [matemáticas] \ sum_ {v \ en V (G)} ^ {} deg (v) = 2 | E | \ ge 5 | V | [/ matemáticas], y el resto de la prueba es la misma que la anterior).

Yiu entendió mal el problema. Se supone que debe mostrar que si un gráfico satisface su hipótesis, entonces tiene al menos un nodo de grado menor o igual a 4. Y en su gráfico ese es obviamente el caso, todos los nodos excepto 4 tienen la propiedad requerida.

  1. Ahora dejemos que G sea un gráfico plano con un máximo de 30 aristas, con todos los nodos de grado mayor que 4.
  2. Pero el gráfico tiene 30 bordes como máximo, y el único gráfico con 30 bordes como máximo con todos los nodos de grado mayor que 4 es K6. (Elimine un nodo y todos los demás tienen un grado máximo de 4, agregue un nodo y, para satisfacer 1., terminará con al menos 35 bordes).
  3. Ahora el problema se reduce a descubrir si K6 es / no es plano, y luego poner eso en una prueba por contradicción (Sugerencia: K6 no es plano)

¡Buena suerte!