Demostrar que un grafo plano bipartito (es decir, bicoloreable) con EE bordes y VV vértices satisface: E≤2V−4E≤2V−4 para V≥3V≥3 .
Respuesta
¿Demasiados anuncios?Consideremos una incrustación de GG . Tenga en cuenta que GG es bipartita entonces es libre de triángulos. Obsérvese que el recorrido alrededor de cualquier cara debe tener una longitud de al menos 3 (suponiendo que el grafo sea simple). Ahora, observa que si el paseo alrededor de una cara tiene longitud 3, entonces debe ser un triángulo. Por lo tanto, el paseo alrededor de cualquier cara tiene una longitud de al menos 4. Ahora FF denota el conjunto de caras en la incrustación dada y sea l(f)l(f) denota la longitud de la cara de paseo f∈Ff∈F . Observe que 2E=∑f∈Fl(f)≥4F2E=∑f∈Fl(f)≥4F . Por lo tanto E≥2FE≥2F . Ahora, por la fórmula de Euler 2=V−E+F≤V−E+E22=V−E+F≤V−E+E2 . Esto se puede reordenar para obtener la desigualdad deseada.
Actualización: Suponía que cada cara estaba delimitada por un ciclo. El nuevo argumento funciona incluso después de eliminar esta suposición.